Robert de Simone
Orcid: 0000-0002-3123-7591
According to our database1,
Robert de Simone
authored at least 79 papers
between 1984 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023
2020
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress.
Proceedings of the 20th International Conference on Embedded Software, 2020
Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2018
Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements.
Proceedings of the RAPIDO 2018 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2018
Proceedings of the 2018 Forum on Specification & Design Languages, 2018
2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
2016
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016
2015
ACM Trans. Embed. Comput. Syst., 2015
Efficient FFT mapping on GPU for radar processing application: modeling and implementation.
CoRR, 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
2014
Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip, 2014
Proceedings of the 2014 Forum on Specification and Design Languages, 2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
Explicit routing schemes for implementation of cellular automata on processor arrays.
Nat. Comput., 2013
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2012
Theor. Comput. Sci., 2012
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012
2011
Fundam. Informaticae, 2011
2010
Innov. Syst. Softw. Eng., 2010
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs.
Innov. Syst. Softw. Eng., 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010
From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations.
Proceedings of the Synthesis of Embedded Software, 2010
Proceedings of the Synthesis of Embedded Software, 2010
Proceedings of the Synthesis of Embedded Software, 2010
2009
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009
Proceedings of the Forum on specification and Design Languages, 2009
Clock-driven distributed real-time implementation of endochronous synchronous programs.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
Proceedings of the Embedded Systems Design and Verification, 2009
2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
Proceedings of the Forum on specification and Design Languages, 2008
Proceedings of the Languages for Embedded Systems and their Applications, 2008
2007
Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007
EURASIP J. Embed. Syst., 2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the Forum on specification and Design Languages, 2007
Proceedings of the Forum on specification and Design Languages, 2007
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007
2006
Int. J. Softw. Tools Technol. Transf., 2006
Syntax-driven optimisations for reachable state space construction of ESTEREL programs.
Int. J. Embed. Syst., 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
2005
Proceedings of the Embedded Systems Handbook., 2005
ACM Trans. Embed. Comput. Syst., 2005
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005
Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Third International Workshop on Synchronous Languages, 2004
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004
2003
Proceedings of the Static Analysis, 10th International Symposium, 2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
2002
Theor. Comput. Sci., 2002
2000
Sci. Comput. Program., 2000
1996
J. High Speed Networks, 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Using PO Methods for Verfying Behavioural Equivalences.
Proceedings of the Formal Description Techniques VIII, 1995
1994
Proceedings of the CONCUR '94, 1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
1989
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
1985
1984
Theor. Comput. Sci., 1984