Search for persons
X
?
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science ,
1
A Semantic-Aware, Accurate and Efficient API for (Co-)Simul..:
, In:
?
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
2
Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physic..:
, In:
?
2021 Forum on specification & Design Languages (FDL) ,
3
Debugging and Verification Tools for Lingua Franca in Gemoc..:
, In:
?
Proceedings of the 2020 International Conference on Big Data in Management ,
4
CoSim20 : An Integrated Development Environment for Accu..:
, In:
?
2019 Forum for Specification and Design Languages (FDL) ,
5
WIP on a Coordination Language to Automate the Generation o..:
, In:
?
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems ,
6
Preface to the 1st multi-paradigm modeling for cyber-physic..:
, In:
?
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
7
Towards Sketching Interfaces for Multi-paradigm Modeling:
, In:
?
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
8
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physic..:
, In:
?
Lecture Notes in Electrical Engineering; Languages, Design Methods, and Tools for Electronic System Design ,
9
Time in SCCharts:
, In:
?
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems ,
10
Towards sketching interfaces for multi-paradigm modeling:
, In:
?
Software Technologies: Applications and Foundations; Lecture Notes in Computer Science ,
11
Towards the Verification of Hybrid Co-simulation Algorithms:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science ,
12
Co-simulation: The Past, Future, and Open Challenges:
, In:
?
Proceedings of the Rapido'18 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools ,
13
Beyond Time-Triggered Co-simulation of Cyber-Physical Syste..:
, In:
?
2016 Euromicro Conference on Digital System Design (DSD) ,
14
Using SystemC Cyber Models in an FMI Co-Simulation Environm..:
, In:
?
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ,
15