Marie-Agnès Peraldi-Frati

Julien DeAntoni

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models.

[BibT_eX]

[DOI]

Jagadish Suryadevara

Proceedings of the Software Architecture - 7th European Conference, 2013

2012

A DSL for specifying timing requirements.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Modeling a BSG-E Automotive System with the Timing Augmented Description Language.

[BibT_eX]

[DOI]

Morayo Adedjouma

Pierre Yves Gueguen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2.

[BibT_eX]

[DOI]

Julien DeAntoni

Johan Nordlander

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Timing Modeling with AUTOSAR - Current state and future directions.

[BibT_eX]

[DOI]

Hans Blom

Daniel Karlsson

Stefan Kuntz

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Scheduling Multi Clock Real Time Systems: From Requirements to Implementation.

[BibT_eX]

[DOI]

Julien DeAntoni

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

2010

A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems.

[BibT_eX]

[DOI]

Hubert Dubois

Fadoi Lakhal

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Requirement traceability in safety critical systems.

[BibT_eX]

[DOI]

Arnaud Albinet

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

Marte CCSL to Execute East-ADL Timing Requirements.

[BibT_eX]

[DOI]

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

2007

A multiform time approach to real-time system modeling; Application to an automotive system.

[BibT_eX]

[DOI]

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Multiform Time in UML for Real-time Embedded Applications.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

2006

From UML to Petri Nets for non functional Property Verification.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

2002

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.

[BibT_eX]

[DOI]

Jean-Paul Rigault

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

2001

Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.

[BibT_eX]

[DOI]

Jean-Paul Rigault

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000

Behavioral Specification of a Circuit Using SyncCharts: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1996

Predictability of a RTX2000-based Implementation.

[BibT_eX]

[DOI]

Real Time Syst., 1996

1994

Simulation of Temporal Behaviour Based on a Synchronous Language.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

1993

Effective Implementation of ESTEREL programs.

[BibT_eX]

[DOI]

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Synchronous programming of a real-time microcontroller.

[BibT_eX]

[DOI]