| A model for requirements traceability in a heterogeneous model-based design process: Application to automotive embedded systems H Dubois, MA Peraldi-Frati, F Lakhal 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010 | 72 | 2010 |
| Marte CCSL to execute East-ADL timing requirements F Mallet, MA Peraldi-Frati, C André 2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009 | 65 | 2009 |
| The MeMVaTEx methodology: from requirements to models in automotive application design A Albinet, S Begoc, JL Boulanger, O Casse, I Dal, H Dubois, F Lakhal, ... Embedded Real Time Software and Systems (ERTS2008), 2008 | 62 | 2008 |
| A multiform time approach to real-time system modeling; application to an automotive system C André, F Mallet, MA Peraldi-Frati 2007 International Symposium on Industrial Embedded Systems, 234-241, 2007 | 54 | 2007 |
| Requirement traceability in safety critical systems MA Peraldi-Frati, A Albinet Proceedings of the 1st Workshop on Critical Automotive applications …, 2010 | 41 | 2010 |
| Model-based methodology for requirements traceability in embedded systems A Albinet, JL Boulanger, H Dubois, MA Peraldi-Frati, Y Sorel, QD Van Proceedings of 3rd European Conference on Model Driven Architecture …, 2007 | 41 | 2007 |
| A timing model for specifying multi clock automotive systems: The timing augmented description language v2 MA Peraldi-Frati, A Goknil, J DeAntoni, J Nordlander 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012 | 40 | 2012 |
| Analysis support for TADL2 timing constraints on EAST-ADL models A Goknil, J Suryadevara, MA Peraldi-Frati, F Mallet European Conference on Software Architecture, 89-105, 2013 | 35 | 2013 |
| From high-level modelling of time in MARTE to real-time scheduling analysis MA Peraldi-Frati, Y Sorel ACESMB 2008, 129, 2008 | 33 | 2008 |
| Scheduling multi clock real time systems: From requirements to implementation MA Peraldi-Frati, J DeAntoni 2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011 | 29 | 2011 |
| Objects and synchronous programming C André, F Boulanger, MA Péraldi, JP Rigault, G Vidal-Naquet RAIRO-APII-JESA-Journal Europeen des Systemes Automatises 31 (3), 417-432, 1997 | 23 | 1997 |
| Integrating the synchronous paradigm into UML: Application to control-dominated systems C André, MA Peraldi-Frati, JP Rigault International Conference on the Unified Modeling Language, 163-178, 2002 | 22 | 2002 |
| Effective implementation of ESTEREL programs C Andre, MA Péraldi Fifth Euromicro Workshop on Real-Time Systems, 262,263,264,265,266,267-262 …, 1993 | 20 | 1993 |
| Timing modeling with autosar-current state and future directions MA Peraldi-Frati, H Blom, D Karlsson, S Kuntz 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 805-809, 2012 | 19 | 2012 |
| Combining real-time features of local area networks FIP and CAN MA Peraldi, JD Decotignie Proceedings of the 2nd Int. CAN Conference (ICC’95), CiA–CAN in Automation, 1995 | 19 | 1995 |
| Tool support for the analysis of TADL2 timing constraints using TimeSquare A Goknil, J DeAntoni, MA Peraldi-Frati, F Mallet 2013 18th International Conference on Engineering of Complex Computer …, 2013 | 18 | 2013 |
| Grafcet and synchronous languages C André, MA Péraldi Université de Nice. Laboratoire Informatique Signaux et Systèmes de Sophia …, 1992 | 17 | 1992 |
| From UML to petri nets for non functional property verification F Mallet, MA Peraldi-Frati, C André 2006 International Symposium on Industrial Embedded Systems, 1-9, 2006 | 16 | 2006 |
| Distributing PLC control T Kouthon, MA Peraldi, JD Decotignie Proceedings of IECON'95-21st Annual Conference on IEEE Industrial …, 1995 | 15 | 1995 |
| Scenario and property checking of real-time systems using a synchronous approach C André, MA Peraldi-Frati, JP Rigault Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2001 | 13 | 2001 |
Julien DeantoniUniversity Cote d'Azur / I3S / INRIA KairosVerified email at inria.fr
