| 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 | 146 | 2005 |
| Conflict resolution in multi-agent systems S Resmerita, M Heymann 42nd IEEE International Conference on Decision and Control (IEEE Cat. No …, 2003 | 54 | 2003 |
| 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 | 43 | 2002 |
| 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 | 39 | 2011 |
| 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 | 37 | 2016 |
| 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 | 35 | 2003 |
| 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 | 27 | 2005 |
| Human computer confluence A Ferscha, S Resmerita, C Holzmann Universal Access in Ambient Intelligence Environments: 9th ERCIM Workshop on …, 2007 | 22 | 2007 |
| 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 | 18 | 2015 |
| Gestural interaction in the pervasive computing landscape A Ferscha, S Resmerita Eurotechnik und Informationstechnik, 17, 2007 | 17 | 2007 |
| 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 | 14 | 2017 |
| 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 | 11 | 2011 |
| Verification of embedded control systems by simulation and program execution control S Resmerita, W Pree 2012 American Control Conference (ACC), 3581-3586, 2012 | 10 | 2012 |
| 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 | 10 | 2010 |
| Flexible static scheduling of software with logical execution time constraints P Derler, S Resmerita 2010 10th IEEE International Conference on Computer and Information …, 2010 | 8 | 2010 |
| 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 | 7 | 2012 |
| The key knob A Ferscha, C Holzmann, S Resmerita 26th IEEE International Conference on Distributed Computing Systems …, 2006 | 7 | 2006 |
| Towards parallelizing legacy embedded control software using the let programming paradigm. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) J Hennig, H von Hasseln, H Mohammad, S Resmerita, S Lukesch, ... IEEE Computer Soc 51, 2016 | 6 | 2016 |
| Timing definition language (TDL) modeling in ptolemy II PDS Resmerita, W Pree Department of Computer Science, University of Salzburg, Tech. Rep, 2008 | 6 | 2008 |
| An Agent Based Framework for Control of Merging Air-Traffic M Heymann, G Meyer IFAC Proceedings Volumes 37 (6), 493-498, 2004 | 6 | 2004 |
Patricia DerlerПідтверджена електронна адреса в eecs.berkeley.edu