N
Nicolae Goga
Researcher at Politehnica University of Bucharest
Publications - 141
Citations - 1561
Nicolae Goga is an academic researcher from Politehnica University of Bucharest. The author has contributed to research in topics: Computer science & Ontology (information science). The author has an hindex of 14, co-authored 117 publications receiving 1328 citations. Previous affiliations of Nicolae Goga include Eindhoven University of Technology & University of Bucharest.
Papers
More filters
Journal ArticleDOI
Stochastic Dynamics with Correct Sampling for Constrained Systems
TL;DR: A correct general treatment of impulsive Stochastic thermostatting, including pairwise dissipative particle dynamics and stochastic forcing in the presence of constraints, is given and it is shown that the constrained canonical distribution is sampled rigorously.
Book ChapterDOI
Dealing with non-local choice in IEEE 1073.2's standard for remote control
Arjan J. Mooij,Nicolae Goga +1 more
TL;DR: This paper presents a practical solution which on the one hand is close to the behavior specified in the hMSC, and on the other hand meets correctness properties such as deadlock freedom.
Côte de Resyste in Progress
R.G. de Vries,G.J. Tretmans,Axel Belinfante,Jan Feenstra,Loe Feijs,Sjouke Mauw,Nicolae Goga,A.W. Heerink,Arjan de Heer +8 more
TL;DR: First results are the implementation of the prototype test tool TorX and its successful application to the Philips’ A/V Link protocol and to the academic Conference protocol case study, showing that test automation, based on formal methods, is feasible and beneficial.
Proceedings ArticleDOI
Evaluating indoor localization using WiFi for patient tracking
Nicolae Goga,Andrei Vasilateanu,Monica N. Mihailescu,Laurentiu Guta,Arthur Molnar,Iuliana Bocicor,Larisa Bolea,Dragos Stoica +7 more
TL;DR: An experiment is described that measures the accuracy for positioning using WiFi signals and the results show that decent accuracy can be obtained using existing equipment and with a minimum setting effort.