Follow
Stefan Resmerita
Title
Cited by
Cited by
Year
Analysis of Zeno behaviors in a class of hybrid systems
M Heymann, F Lin, G Meyer, S Resmerita
IEEE Transactions on Automatic Control 50 (3), 376-383, 2005
1342005
Conflict resolution in multi-agent systems
S Resmerita, M Heymann
42nd IEEE International Conference on Decision and Control (IEEE Cat. No …, 2003
562003
Analysis of zeno behaviors in hybrid systems
M Heymann, F Lin, G Meyer, S Resmerita
Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 3 …, 2002
452002
Towards parallelizing legacy embedded control software using the LET programming paradigm
J Hennig, H von Hasseln, H Mohammad, S Resmerita, S Lukesch, ...
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016
392016
A framework for conflict resolution in air traffic management
S Resmerita, M Heymann, G Meyer
42nd IEEE International Conference on Decision and Control (IEEE Cat. No …, 2003
362003
Cross-layer analysis, testing and verification of automotive control software
M Broy, S Chakraborty, D Goswami, S Ramesh, M Satpathy, S Resmerita, ...
Proceedings of the ninth ACM international conference on Embedded software …, 2011
352011
Orientation sensing for gesture-based interaction with smart artifacts
A Ferscha, S Resmerita, C Holzmann, M Reichör
Computer communications 28 (13), 1552-1563, 2005
262005
Human computer confluence
A Ferscha, S Resmerita, C Holzmann
Universal Access in Ambient Intelligence Environments: 9th ERCIM Workshop on …, 2007
212007
Gestural interaction in the pervasive computing landscape
A Ferscha, S Resmerita
e & i Elektrotechnik und Informationstechnik 1 (124), 17-25, 2007
182007
Applying real-time programming to legacy embedded control software
S Resmerita, A Naderlinger, M Huber, K Butts, W Pree
2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 1-8, 2015
172015
Efficient realization of logical execution times in legacy embedded software
S Resmerita, A Naderlinger, S Lukesch
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
132017
Migration of legacy software towards correct-by-construction timing behavior
S Resmerita, K Butts, P Derler, A Naderlinger, W Pree
Foundations of Computer Software. Modeling, Development, and Verification of …, 2011
112011
Verification of embedded control systems by simulation and program execution control
S Resmerita, W Pree
2012 American Control Conference (ACC), 3581-3586, 2012
102012
Simulation of let models in simulink and ptolemy
P Derler, A Naderlinger, W Pree, S Resmerita, J Templ
Foundations of Computer Software. Future Trends and Techniques for …, 2010
102010
The Validator tool suite: filling the gap between conventional soft-ware-in-the-loop and hardware-in-the-loop simulation environments
S Resmerita, P Derler, W Pree, K Butts
Real-time Simulation Technologies: Principles, Methodologies, and Applications, 2012
72012
Flexible static scheduling of software with logical execution time constraints
P Derler, S Resmerita
2010 10th IEEE International Conference on Computer and Information …, 2010
72010
The key knob
A Ferscha, C Holzmann, S Resmerita
26th IEEE International Conference on Distributed Computing Systems …, 2006
72006
An Agent Based Framework for Control of Merging Air-Traffic
M Heymann, G Meyer
IFAC Proceedings Volumes 37 (6), 493-498, 2004
72004
An asynchronous Java interface to MATLAB
A Naderlinger, J Templ, S Resmerita, W Pree
4th International ICST Conference on Simulation Tools and Techniques, 2012
52012
Timing definition language (TDL) modeling in ptolemy II
PDS Resmerita, W Pree
Department of Computer Science, University of Salzburg, Tech. Rep, 2008
52008
The system can't perform the operation now. Try again later.
Articles 1–20