Stefan Haar
发表
Jun Pang,
Hugues Mandon,
Cui Su,
2019,
CMSB.
Stefan Haar,
2002
.
Alessandro Giua,
Albert Benveniste,
Shigemasa Takai,
2005,
Discret. Event Dyn. Syst..
Stefan Haar,
Karen Rudie,
Sarah-Jane Whittaker,
2010,
WODES.
Thomas Chatain,
Stefan Haar,
Loïc Paulevé,
2019,
Natural Computing.
Stefan Haar,
2007,
2007 46th IEEE Conference on Decision and Control.
Stefan Haar,
Luca Bernardinello,
Lucia Pomello,
2014,
Fundam. Informaticae.
Stefan Haar,
Anne Bouillard,
Sidney Rosario,
2009,
FORMATS.
Stefan Haar,
Simon Theissing,
S. Haar,
2015,
ADHS.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2013
.
Stefan Haar,
Loïc Paulevé,
Juraj Kolcák,
2018,
VMCAI.
Hélia Pouyllau,
Stefan Haar,
2007,
AIMS.
Albert Benveniste,
William R. Cook,
Claude Jard,
2007,
WS-FM.
Stefan Haar,
Bruno Gaujal,
1999
.
Stefan Haar,
Loïc Paulevé,
Juraj Kolčák,
2016
.
Albert Benveniste,
Stefan Haar,
Samy Abbes,
2004
.
Hugues Mandon,
Stefan Haar,
Loïc Paulevé,
2017,
CMSB.
Thomas Chatain,
Stefan Haar,
Löıc Paulevé,
2018,
Lecture Notes in Computer Science.
Lina Ye,
Stefan Haar,
Stefan Schwoon,
2020,
FSTTCS.
Victor Khomenko,
Vasileios Germanos,
Stefan Haar,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Thomas Chatain,
Stefan Haar,
Loïc Paulevé,
2020,
Nature communications.
Paolo Baldan,
Barbara König,
Thomas Chatain,
2008,
CONCUR.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2005
.
Stefan Haar,
S. Haar,
2002,
PAPM-PROBMIV.
Stefan Haar,
Hernán Ponce de León,
Delphine Longuet,
2012,
TAP@TOOLS.
Stefan Haar,
S. Haar,
2000,
Fundam. Informaticae.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2009
.
Roland Meyer,
Stefan Haar,
2017,
ACM Trans. Embed. Comput. Syst..
Serge Haddad,
Stefan Haar,
Simon Theissing,
2013
.
Hélia Pouyllau,
Laurent Ciarletta,
Stefan Haar,
2006,
Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).
Albert Benveniste,
Stefan Haar,
Samy Abbes,
2004
.
Frank D. Valencia,
Stefan Haar,
Salim Perchy,
2016
.
Stefan Haar,
2003,
10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings..
Albert Benveniste,
Stefan Haar,
Eric Fabre,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Stefan Haar,
S. Haar,
2001,
Fundam. Informaticae.
Stefan Haar,
S. Haar,
2002,
Fundam. Informaticae.
Serge Haddad,
Stefan Haar,
Stefan Schwoon,
2013,
FSTTCS.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2003,
42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
Stefan Haar,
1998,
Electron. Notes Theor. Comput. Sci..
Thomas Chatain,
Stefan Haar,
2013,
PNSE+ModPE.
Albert Benveniste,
Rahul Jha,
Claude Jard,
2006
.
Thomas Chatain,
Stefan Haar,
Loïc Paulevé,
2020,
Nature Communications.
Paolo Baldan,
Barbara König,
Thomas Chatain,
2010,
Inf. Comput..
Stefan Haar,
Tomáš Masopust,
S. Haar,
2013,
Control of Discrete-Event Systems.
Stefan Haar,
Simon Theissing,
2016,
2016 American Control Conference (ACC).
Stefan Haar,
Simon Theissing,
S. Haar,
2016
.
Serge Haddad,
Stanislav Böhm,
Stefan Haar,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Albert Benveniste,
Stefan Haar,
Eric Fabre,
2001
.
Stefan Haar,
2009,
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
Paolo Baldan,
Barbara König,
Stefan Haar,
2006,
FoSSaCS.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2003,
CONCUR.
Laurent Ciarletta,
Nader Mbarek,
Stefan Haar,
2006
.
Christian Kern,
Stefan Haar,
Stefan Schwoon,
2011,
Theor. Comput. Sci..
Stefan Haar,
Luca Bernardinello,
Lucia Pomello,
2011
.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2004,
ICT.
Susanna Donatelli,
Stefan Haar,
S. Donatelli,
2019,
Lecture Notes in Computer Science.
Loïc Hélouët,
Aline Roumy,
Albert Benveniste,
2005
.
Camilo Rueda,
Michell Guzmán,
Frank D. Valencia,
2017,
J. Log. Algebraic Methods Program..
Albert Benveniste,
Stefan Haar,
Eric Fabre,
2000
.
Thomas Chatain,
Stefan Haar,
Sandie Balaguer,
2010,
TIME.
Thomas Chatain,
Stefan Haar,
Loïc Paulevé,
2020,
Nature Communications.
Thomas Chatain,
Stefan Haar,
Sandie Balaguer,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Stefan Haar,
2012,
Discret. Event Dyn. Syst..
Sylvain Schmitz,
Stefan Haar,
Béatrice Bérard,
2017,
Petri Nets.
Nathalie Bertrand,
Loïc Hélouët,
Serge Haddad,
2014,
FoSSaCS.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2008,
IEEE Transactions on Services Computing.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2013
.
Jun Pang,
Soumya Paul,
Hugues Mandon,
2019,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Loïc Hélouët,
Stefan Haar,
Béatrice Bérard,
2018,
FSTTCS.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2003,
42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
Thomas Chatain,
Stefan Haar,
Loïc Paulevé,
2018,
Automata.
Thomas Chatain,
Stefan Haar,
Loïc Paulevé,
2018,
ArXiv.
Victor Khomenko,
Vasileios Germanos,
Stefan Haar,
2014,
ACSD.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2003,
IEEE Trans. Autom. Control..
Stefan Haar,
Simon Theissing,
2016,
Electron. Notes Theor. Comput. Sci..
David Safránek,
Stefan Haar,
Loïc Paulevé,
2018,
Theor. Comput. Sci..
Stefan Haar,
Hernán Ponce de León,
Delphine Longuet,
2014,
ICTAC.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2002,
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
Christian Kern,
Stefan Haar,
Stefan Schwoon,
2013,
Theor. Comput. Sci..
Hélia Pouyllau,
Stefan Haar,
S. Haar,
2008,
Ann. des Télécommunications.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2009
.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2004
.
Serge Abiteboul,
Tova Milo,
Stefan Haar,
2005,
PODS.
Stefan Haar,
Loïc Paulevé,
Stefan Schwoon,
2020,
CMSB.
Hélia Pouyllau,
Stefan Haar,
2007,
QSHINE.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Stefan Haar,
Simon Theissing,
2016,
QEST.
Albert Benveniste,
Stefan Haar,
Eric Fabre,
2003,
IEEE Trans. Autom. Control..
Thomas Chatain,
Stefan Haar,
Sandie Balaguer,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
Gregor von Bochmann,
Claude Jard,
Stefan Haar,
2008,
TestCom/FATES.
Stefan Haar,
Luca Bernardinello,
Lucia Pomello,
2013
.
Hugues Mandon,
Stefan Haar,
Loïc Paulevé,
2016,
HSB.
Thomas Chatain,
Stefan Haar,
Sandie Balaguer,
2013,
Fundam. Informaticae.
Roland Meyer,
Stefan Haar,
2015,
ACSD 2015.
Albert Benveniste,
Stefan Haar,
Anne Bouillard,
2008,
ArXiv.
Claude Jard,
Stefan Haar,
Guy-Vincent Jourdan,
2007,
TestCom/FATES.
Albert Benveniste,
Stefan Haar,
Anne Bouillard,
2009,
Petri Nets.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2003,
Discret. Event Dyn. Syst..
Serge Haddad,
Thomas Chatain,
Stefan Haar,
2014
.
Stefan Haar,
Eric Fabre,
2013,
Control of Discrete-Event Systems.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2014
.
Stefan Haar,
1998
.
Maciej Koutny,
Thomas Chatain,
Stefan Haar,
2015,
Petri Nets.
Stefan Haar,
2010,
WODES.
Sylvain Schmitz,
Stefan Haar,
Béatrice Bérard,
2017,
Petri Nets.
Stefan Haar,
S. Haar,
2016,
J. Multiple Valued Log. Soft Comput..
Camilo Rueda,
Frank D. Valencia,
Stefan Haar,
2015,
PPDP.
Stefan Haar,
César Rodríguez,
Stefan Schwoon,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Frank D. Valencia,
Stefan Haar,
Salim Perchy,
2017,
2017 IEEE 11th International Conference on Semantic Computing (ICSC).
Stefan Haar,
Hernán Ponce de León,
Delphine Longuet,
2013,
ICTSS.
Stefan Haar,
Karen Rudie,
Sarah-Jane Whittaker,
2009,
2009 47th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Benedikt Bollig,
Loïc Hélouët,
Stefan Haar,
2010
.
David Safránek,
Stefan Haar,
Loïc Paulevé,
2018,
SASB.
Hélia Pouyllau,
Stefan Haar,
2007,
IEEE International Conference on Web Services (ICWS 2007).
Thomas Chatain,
Stefan Haar,
Loïc Paulevé,
2014,
CMSB.
Stefan Haar,
2010,
IEEE Transactions on Automatic Control.
Stefan Haar,
Hernán Ponce de León,
Delphine Longuet,
2014,
International Journal on Software Tools for Technology Transfer.
Serge Haddad,
Stefan Haar,
Stefan Schwoon,
2013,
J. Comput. Syst. Sci..
Josep Carmona,
Stefan Haar,
Keijo Heljanko,
2015,
ATVA.
Albert Benveniste,
Claude Jard,
Stefan Haar,
2008,
IEEE Trans. Serv. Comput..
Frank D. Valencia,
Stefan Haar,
Salim Perchy,
2017,
Int. J. Semantic Comput..
Stefan Haar,
Hernán Ponce de León,
Delphine Longuet,
2014,
Softw. Test. Verification Reliab..
Bruno Gaujal,
Jean Mairesse,
Stefan Haar,
2003,
J. Comput. Syst. Sci..
Didier Devaurs,
Loïc Hélouët,
Laurence Dinh,
2007
.
Françoise Simonot-Lion,
Stefan Haar,
Laurent Kaiser,
2000
.
Stefan Haar,
2003
.
Stefan Haar,
Agnes Madalinski,
Anoopam Agarwal,
2012
.