Stefan Resmerita

According to our database, Stefan Resmerita authored at least 23 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Fine-grained timed software in Simulink models.

Stefan Resmerita

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2020

Modeling and Simulation of Software Execution Time in Embedded Systems.

Stefan Resmerita, Anton Poelzleitner, Stefan Lukesch

Proceedings of the 10th Annual Computing and Communication Workshop and Conference, 2020

2017

Efficient realization of logical execution times in legacy embedded software.

Stefan Resmerita, Andreas Naderlinger, Stefan Lukesch

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

Poster Abstract: Towards Parallelizing Legacy Embedded Control Software Using the LET Programming Paradigm.

Julien Hennig, Hermann von Hasseln, Hassan Mohammad, Stefan Resmerita, Stefan Lukesch, Andreas Naderlinger

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

2015

Addressing Non-functional Requirements for Embedded Applications with Platform Based Aspect Design.

Stefan Resmerita, Anton Poelzleitner, Stefan Lukesch

Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

Applying Real-Time Programming to Legacy Embedded Control Software.

Stefan Resmerita, Andreas Naderlinger, Manuel Huber, Kenneth R. Butts, Wolfgang Pree

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

2012

Verification of embedded control systems by simulation and program execution control.

Stefan Resmerita, Wolfgang Pree

Proceedings of the American Control Conference, 2012

2011

An asynchronous Java interface to MATLAB.

Andreas Naderlinger, Josef Templ, Stefan Resmerita, Wolfgang Pree

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Cross-layer analysis, testing and verification of automotive control software.

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Migration of Legacy Software Towards Correct-by-Construction Timing Behavior.

Stefan Resmerita, Kenneth R. Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Flexible Static Scheduling of Software with Logical Execution Time Constraints.

Patricia Derler, Stefan Resmerita

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Pervasive Computing.

Alois Ferscha, Clemens Holzmann, Manfred Hechinger, Bernadette Emsenhuber, Stefan Resmerita, Simon Vogl, Bernhard Wally

Proceedings of the Hagenberg Research, 2009

2008

Simulation of LET Models in Simulink and Ptolemy.

Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007

Gestural interaction in the pervasive computing landscape.

Alois Ferscha, Stefan Resmerita

Elektrotech. Informationstechnik, 2007

Modeling and Simulation of TDL Applications.

Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

The Key Knob.

Alois Ferscha, Clemens Holzmann, Stefan Resmerita

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Human Computer Confluence.

Alois Ferscha, Stefan Resmerita, Clemens Holzmann

Proceedings of the Universal Access in Ambient Intelligence Environments, 2006

2005

Analysis of Zeno behaviors in a class of hybrid systems.

Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita

IEEE Trans. Autom. Control., 2005

Orientation sensing for gesture-based interaction with smart artifacts.

Alois Ferscha, Stefan Resmerita, Clemens Holzmann, Martin Reichör

Comput. Commun., 2005

2003

A multi-agent approach to control of multi-robotic systems.

Stefan Resmerita

PhD thesis, 2003

A framework for conflict resolution in air traffic management.

Stefan Resmerita, Michael Heymann, George Meyer

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Conflict resolution in multi-agent systems.

Stefan Resmerita, Michael Heymann

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Analysis of Zeno behaviors in hybrid systems.

Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita

Proceedings of the 41st IEEE Conference on Decision and Control, 2002