Robert de Simone
发表
Julien Boucaron,
Anthony Coadou,
Robert de Simone,
2009,
Electron. Notes Theor. Comput. Sci..
Robert de Simone,
Thomas Carle,
Raul Gorcitz,
2015,
FORMATS.
Robert de Simone,
Jean-François Le Tallec,
Frédéric Mallet,
2010
.
Robert de Simone,
Dumitru Potop-Butucaru,
Yves Sorel,
2010,
Synthesis of Embedded Software.
Julien DeAntoni,
Robert de Simone,
Frédéric Mallet,
2010,
Innovations in Systems and Software Engineering.
Robert de Simone,
Annie Ressouche,
Amar Bouali,
1996,
TACAS.
Robert de Simone,
Emilien Kofman,
Mohamed Amine Bergach,
2015,
ArXiv.
Robert de Simone,
Jing Liu,
Qian Liu,
2020
.
Robert de Simone,
Gérard Roucairol,
Gérard Boudol,
1985,
STACS.
Julien Boucaron,
Robert de Simone,
Jean-Vivien Millo,
2007,
EURASIP J. Embed. Syst..
Robert de Simone,
Frédéric Mallet,
Charles André,
2007,
MODELS'07.
Julien DeAntoni,
Robert de Simone,
Huaikou Miao,
2016,
SOFL+MSVL.
Robert de Simone,
Valérie Roy,
Valérie Roy,
1990,
Formal Methods Syst. Des..
Sébastien Gérard,
Robert de Simone,
Cedric Dumoulin,
2005
.
Robert de Simone,
Frédéric Mallet,
Charles André,
2010
.
Robert de Simone,
R. Simone,
Robert de Simone,
1984,
Theor. Comput. Sci..
Julien DeAntoni,
Robert de Simone,
Frédéric Mallet,
2017,
MODELSWARD.
Robert de Simone,
Annie Ressouche,
R. Simone,
1994,
CAV.
Robert de Simone,
Frédéric Boussinot,
R. Simone,
1996
.
Robert de Simone,
Julien Deantoni,
Qingguo Xu,
2015
.
Robert de Simone,
Jean-Pierre Talpin,
Dumitru Potop-Butucaru,
2009,
Embedded Systems Design and Verification.
Christian Huitema,
Robert de Simone,
Christophe Diot,
1996,
J. High Speed Networks.
Robert de Simone,
Jean-François Le Tallec,
2011
.
Robert de Simone,
Dumitru Potop-Butucaru,
Yves Sorel,
2005
.
Julien DeAntoni,
Robert de Simone,
Stefano Centomo,
2016,
2016 Euromicro Conference on Digital System Design (DSD).
Robert de Simone,
Julien Deantoni,
Philippe Cuenot,
2020
.
Robert de Simone,
Frédéric Mallet,
Arda Goknil,
2011
.
Robert de Simone,
Jean-Pierre Talpin,
Dumitru Potop-Butucaru,
2009,
ACSD.
Julien Boucaron,
Anthony Coadou,
Robert de Simone,
2010
.
Robert de Simone,
Jing Liu,
Qian Liu,
2020,
2020 International Conference on Embedded Software (EMSOFT).
Robert de Simone,
Annie Ressouche,
Amar Bouali,
1996,
AMAST.
Robert de Simone,
Jean-Pierre Talpin,
Arnaud Cuccuru,
2006
.
Robert de Simone,
Amar Bouali,
1991,
CONCUR.
Robert de Simone,
Jean-Pierre Talpin,
Dumitru Potop-Butucaru,
2005,
Embedded Systems Handbook.
Robert de Simone,
Arnaud Cuccuru,
Charles André,
2005
.
Julien DeAntoni,
Robert de Simone,
Carlos Gomez,
2014,
Proceedings of the 2014 Forum on Specification and Design Languages (FDL).
Robert de Simone,
Reinhard von Hanxleden,
Julien Deantoni,
2018
.
Robert de Simone,
Frédéric Mallet,
Charles André,
2007,
FDL.
Robert de Simone,
Jean-François Le Tallec,
Frédéric Mallet,
2011
.
Robert de Simone,
Davide Sangiorgi,
R. Simone,
1998,
Lecture Notes in Computer Science.
Robert de Simone,
Frédéric Mallet,
2008,
Simutools 2008.
Robert de Simone,
Thierry Gautier,
Jean-Pierre Talpin,
2010,
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.
Robert de Simone,
Jean-François Le Tallec,
Charles André,
2011
.
Robert de Simone,
Mauro Prevostini,
2011
.
Robert de Simone,
2016,
FM 2016.
Stephen A. Edwards,
Nicolas Halbwachs,
Robert de Simone,
2003,
Proc. IEEE.
Robert de Simone,
Charles André,
R. Simone,
2007,
FDL.
Robert de Simone,
Robert I. Davis,
Michel Auguin,
2013
.
Robert de Simone,
Yves Sorel,
Arnaud Cuccuru,
2005,
8th Euromicro Conference on Digital System Design (DSD'05).
Julien Boucaron,
Robert de Simone,
Charles André,
2010
.
Robert de Simone,
Alain Girault,
2008,
Electron. Notes Theor. Comput. Sci..
Robert de Simone,
Thomas Carle,
Zhen Zhang,
2014
.
Robert de Simone,
Frédéric Mallet,
Charles André,
2009,
2009 Forum on Specification & Design Languages (FDL).
Robert de Simone,
Monica Lara de Souza,
R. Simone,
1995,
FORTE.
Anthony Coadou,
Robert de Simone,
Jean-Vivien Millo,
2011
.
Julien Boucaron,
Robert de Simone,
Jean-Vivien Millo,
2005,
FMGALS@MEMOCODE.
Robert de Simone,
Olivier Tardieu,
R. Simone,
2005,
TECS.
Robert de Simone,
Thomas Carle,
Yves Sorel,
2011
.
Robert de Simone,
R. Simone,
1984,
Theor. Comput. Sci..
Julien DeAntoni,
Robert de Simone,
Reinhard von Hanxleden,
2018,
2018 Forum on Specification & Design Languages (FDL).
Robert de Simone,
Jean-Vivien Millo,
2012,
Theor. Comput. Sci..
Robert de Simone,
Davide Sangiorgi,
1998
.
Robert de Simone,
Frédéric Mallet,
Charles André,
2010
.
Robert de Simone,
Frédéric Mallet,
Charles André,
2011,
SOEN.
Robert de Simone,
Dumitru Potop-Butucaru,
Yves Sorel,
2008
.
Robert de Simone,
Frédéric Mallet,
2008,
SimuTools.
Robert de Simone,
Charles André,
R. Simone,
2002
.
Robert de Simone,
Amar Bouali,
Gérard Berry,
2000,
Sci. Comput. Program..
Robert de Simone,
Valérie Roy,
1989
.
Robert de Simone,
Frédéric Mallet,
Julien Deantoni,
2014
.
Julien Boucaron,
Robert de Simone,
Yves Sorel,
2006
.
Robert de Simone,
Eric Vecchié,
R. Simone,
2006,
Int. J. Embed. Syst..
Robert de Simone,
Jean-Pierre Talpin,
Dumitru Potop-Butucaru,
2009,
2009 Ninth International Conference on Application of Concurrency to System Design.
Robert de Simone,
Frédéric Mallet,
R. Simone,
2011
.
Robert de Simone,
Zhen Zhang,
Dumitru Potop-Butucaru,
2012,
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing.
Robert de Simone,
Didier Vergamini,
Gérard Boudol,
1989,
Automatic Verification Methods for Finite State Systems.
Robert de Simone,
Zhen Zhang,
Thomas Carle,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Robert de Simone,
Frédéric Mallet,
2015,
Sci. Comput. Program..
Robert de Simone,
Olivier Tardieu,
R. Simone,
2003,
SAS.
Robert de Simone,
Frédéric Mallet,
2008,
FDL.
Robert de Simone,
Amani Khecharem,
2015
.
Robert de Simone,
R. Simone,
Robert de Simone,
1985,
Theor. Comput. Sci..
Julien DeAntoni,
Robert de Simone,
Davide Quaglia,
2018,
RAPIDO '18.
Robert de Simone,
Mohamed Amine Bergach,
Serge Tissot,
2014
.
Robert de Simone,
2016,
MEMOCODE.
Robert de Simone,
Frédéric Mallet,
Laurent Rioux,
2008,
2008 Forum on Specification, Verification and Design Languages.
Julien DeAntoni,
Robert de Simone,
Qingguo Xu,
2016,
SETTA.
Mickaël Raulet,
Julien Boucaron,
Robert de Simone,
2006
.
Robert de Simone,
Yves Sorel,
Dumitru Potop-Butucaru,
2007,
EMSOFT '07.
Robert de Simone,
Frédéric Mallet,
Charles André,
2008
.
Robert de Simone,
Annie Ressouche,
Amar Bouali,
1996
.
Sébastien Gérard,
Robert de Simone,
Jean-Michel Bruel,
2009,
Innovations in Systems and Software Engineering.
Andy J. Wellings,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli,
2005,
TECS.
Julien Boucaron,
Anthony Coadou,
Robert de Simone,
2009
.
Julien Boucaron,
Anthony Coadou,
Robert de Simone,
2010
.
Robert de Simone,
Dumitru Potop-Butucaru,
R. Simone,
2003,
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
Robert de Simone,
Amar Bouali,
1992,
CAV.
Julien Boucaron,
Robert de Simone,
Vivien Millo,
2006
.
Julien Boucaron,
Anthony Coadou,
Robert de Simone,
2008
.
Julien DeAntoni,
Robert de Simone,
Frédéric Mallet,
2010,
Synthesis of Embedded Software.
Robert de Simone,
Davide Sangiorgi,
2002,
Theor. Comput. Sci..
Robert de Simone,
Frédéric Mallet,
Su-Young Lee,
2008,
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
Julien Boucaron,
Robert de Simone,
Benoît Ferrero,
2007
.
Pierre Boulet,
Jean-Luc Dekeyser,
Robert de Simone,
2004
.
Robert de Simone,
Zhen Zhang,
Thomas Carle,
2014,
2014 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).
Robert de Simone,
Charles André,
R. Simone,
2006,
International Journal on Software Tools for Technology Transfer.
Sébastien Gérard,
Robert de Simone,
Madeleine Faugère,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Robert de Simone,
Jean-Pierre Talpin,
Dumitru Potop-Butucaru,
2011
.
Zuohua Ding,
Jing Liu,
Robert de Simone,
2013,
2013 20th Asia-Pacific Software Engineering Conference (APSEC).
Jean-Luc Dekeyser,
Robert de Simone,
Cedric Dumoulin,
2005
.
Julien Boucaron,
Anthony Coadou,
Robert de Simone,
2010,
Synthesis of Embedded Software.
Christian Huitema,
Robert de Simone,
Christophe Diot,
1994
.
Robert de Simone,
Emilien Kofman,
R. Simone,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Robert de Simone,
Gérard Roucairol,
Gérard Boudol,
1985,
STACS.
Julien Boucaron,
Anthony Coadou,
Robert de Simone,
2009
.
Robert de Simone,
Yves Sorel,
Jean-Pierre Talpin,
2009,
EMSOFT '09.
Robert de Simone,
Frédéric Boussinot,
R. Simone,
1996,
IEEE Trans. Software Eng..
Robert de Simone,
Eric Vecchié,
R. Simone,
2006,
SLAP@ETAPS.
Robert de Simone,
Jean-Vivien Millo,
2013,
Natural Computing.
Julien Boucaron,
Robert de Simone,
Jean-Vivien Millo,
2006,
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Robert de Simone,
Frédéric Mallet,
Charles André,
2008
.
Robert de Simone,
Julien Deantoni,
Marie-Agnès Peraldi-Frati,
2014
.
Robert de Simone,
Emilien Kofman,
Amani Khecharem,
2016
.
Robert de Simone,
Emilien Kofman,
Jean-Vivien Millo,
2013
.
Robert de Simone,
Annie Ressouche,
Amar Bouali,
1996,
CAV.
Joseph Sifakis,
Robert de Simone,
Jean-Claude Fernandez,
1994,
CONCUR.
Robert de Simone,
Elie Najm,
Ahmed Serhrouchni,
1995
.
Robert de Simone,
Olivier Tardieu,
R. Simone,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Julien Boucaron,
Robert de Simone,
Yves Sorel,
2006
.
Robert de Simone,
Emilien Kofman,
Jean-Vivien Millo,
2015,
ACM Trans. Embed. Comput. Syst..
Robert de Simone,
Eric Vecchié,
R. Simone,
2005,
CAV.
Robert de Simone,
Frédéric Mallet,
Jean-Vivien Millo,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Robert de Simone,
Eric Madelaine,
Guillaume Doumenc,
1990
.
Robert de Simone,
Frédéric Mallet,
Charles André,
2008
.