Pierre-Yves Schobbens
发表
Pierre-Yves Schobbens,
Eun-Young Kang,
Gilles Perrouin,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2012,
VaMoS.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1998,
ICALP.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Pierre-Yves Schobbens,
Patrick Heymans,
Jean-Christophe Trigaux,
2006,
EVOL.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013
.
Pierre-Yves Schobbens,
Pierre-Yves Schobbens,
1993,
Sci. Comput. Program..
Pierre-Yves Schobbens,
Zhenjiang Hu,
Adrien Duchêne,
2018,
Programming.
Pierre-Yves Schobbens,
Andreas Classen,
Patrick Heymans,
2007
.
Pierre-Yves Schobbens,
Stéphane Faulkner,
Ivan Jureta,
2007,
ER Workshops.
Pierre-Yves Schobbens,
Mark Ryan,
Dimitar P. Guelev,
2005,
Electron. Notes Theor. Comput. Sci..
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
Assurances for Self-Adaptive Systems.
Pierre-Yves Schobbens,
Axel Legay,
Andreas Classen,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Pierre-Yves Schobbens,
Sven Apel,
Genaína Nunes Rodrigues,
2018,
Inf. Softw. Technol..
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2015,
Software & Systems Modeling.
Pierre-Yves Schobbens,
Moussa Amrani,
James Jerson Ortiz,
2019,
NFM.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2012,
SPLC '12.
Pierre-Yves Schobbens,
Patrick Heymans,
Dirk Deridder,
2010,
REFSQ.
Pierre-Yves Schobbens,
Eun-Young Kang,
Paul Pettersson,
2011,
SAFECOMP.
Pierre-Yves Schobbens,
Yves Ledru,
Christine Lafontaine,
1990,
VDM Europe.
Pierre-Yves Schobbens,
Yves Bontemps,
Pierre-Yves Schobbens,
2007,
J. Appl. Log..
Pierre-Yves Schobbens,
Patrick Heymans,
Claire Lobet-Maris,
2002
.
Pierre-Yves Schobbens,
Stéphane Faulkner,
Ivan Jureta,
2006,
ER.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2014,
ISoLA.
Pierre-Yves Schobbens,
José Luiz Fiadeiro,
2007
.
Pierre-Yves Schobbens,
Pierre-Yves Schobbens,
1992,
COMPASS/ADT.
Pierre-Yves Schobbens,
Yves Ledru,
Christine Lafontaine,
1991,
ICSE '90.
Pierre-Yves Schobbens,
Jan Bosch,
Patrick Heymans,
2004
.
Pierre-Yves Schobbens,
Christof Löding,
Yves Bontemps,
2003,
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
Pierre-Yves Schobbens,
Gilles Perrouin,
Xavier Devroey,
2014,
SPLC '14.
Pierre-Yves Schobbens,
Patrick Heymans,
Jean-Christophe Trigaux,
2005,
FIW.
Pierre-Yves Schobbens,
James Jerson Ortiz,
Damien De Nizza,
2013,
INFORSID.
Pierre-Yves Schobbens,
Gilles Perrouin,
Patrick Heymans,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Pierre-Yves Schobbens,
Mark Ryan,
Aidan Harding,
2003,
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Pierre-Yves Schobbens,
Maxime Cordy,
Patrick Heymans,
2014,
SPLC '14.
Pierre-Yves Schobbens,
Mark Ryan,
Dimitar P. Guelev,
2005,
International Journal on Software Tools for Technology Transfer.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2012,
International Journal on Software Tools for Technology Transfer.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2013,
VaMoS.
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1999,
Inf. Process. Lett..
Pierre-Yves Schobbens,
Jan Jürjens,
Charles B. Haley,
2010,
ASE.
Pierre-Yves Schobbens,
Axel Legay,
Genaína Nunes Rodrigues,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Pierre-Yves Schobbens,
Moussa Amrani,
James Jerson Ortiz,
2017,
NFM.
Pierre-Yves Schobbens,
Mark Ryan,
Hajnal Andréka,
2002,
J. Log. Comput..
Pierre-Yves Schobbens,
Yves Ledru,
Christine Lafontaine,
1990,
[1990] Proceedings. 12th International Conference on Software Engineering.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
IEEE Transactions on Software Engineering.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1998,
CONCUR.
Pierre-Yves Schobbens,
Patrick Heymans,
Dirk Deridder,
2013,
Software & Systems Modeling.
Pierre-Yves Schobbens,
Axel Legay,
Eun-Young Kang,
2012
.
Pierre-Yves Schobbens,
Eun-Young Kang,
Pierre-Yves Schobbens,
2020,
2020 9th Mediterranean Conference on Embedded Computing (MECO).
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2018,
J. Syst. Softw..
Pierre-Yves Schobbens,
Eduardo Santana de Almeida,
Larissa Rocha Soares,
2018,
Inf. Softw. Technol..
Pierre-Yves Schobbens,
Patrick Heymans,
Yves Bontemps,
2006
.
Pierre-Yves Schobbens,
Mark Ryan,
Dimitar P. Guelev,
2003,
FIW.
Pierre-Yves Schobbens,
José Luiz Fiadeiro,
2007,
WADT.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2016,
VaMoS.
Pierre-Yves Schobbens,
Moussa Amrani,
Moussa Amrani,
2017,
FTfJP@ECOOP.
Pierre-Yves Schobbens,
Mark Ryan,
Aidan Harding,
2002,
VMCAI.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2014,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Pierre-Yves Schobbens,
John-Jules Ch. Meyer,
1997,
ModelAge Workshop.
Pierre-Yves Schobbens,
Stéphane Faulkner,
Ivan Jureta,
2006,
AOSE.
Pierre-Yves Schobbens,
Pierre-Yves Schobbens,
2001,
JFIADSMA.
Pierre-Yves Schobbens,
Patrick Heymans,
Yves Bontemps,
2003,
Scenarios: Models, Transformations and Tools.
Pierre-Yves Schobbens,
Elie Milgrom,
O. Declerfayt,
1988
.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1998,
CONCUR.
Pierre-Yves Schobbens,
Jean-François Raskin,
1996
.
Pierre-Yves Schobbens,
1993,
HOA.
Pierre-Yves Schobbens,
Pierre-Yves Schobbens,
1993
.
Pierre-Yves Schobbens,
Kim Mens,
Patrick Heymans,
2007
.
Pierre-Yves Schobbens,
Moussa Amrani,
Gilles Perrouin,
2018,
2018 IEEE International Conference on Software Quality, Reliability and Security (QRS).
Pierre-Yves Schobbens,
Rachid Echahed,
Didier Bert,
1988,
ESOP.
Pierre-Yves Schobbens,
Pascal Urso,
2004
.
Pierre-Yves Schobbens,
Sven Apel,
Genaína Nunes Rodrigues,
2018,
Inf. Softw. Technol..
Pierre-Yves Schobbens,
Pierre-Yves Schobbens,
2004,
LCMAS.
Pierre-Yves Schobbens,
1991,
AMAST.
Pierre-Yves Schobbens,
André Bittar,
Fabian Gilson,
2017,
ICWE.
Pierre-Yves Schobbens,
Patrick Heymans,
Jean-Christophe Trigaux,
2007,
Comput. Networks.
Pierre-Yves Schobbens,
James Jerson Ortiz,
Damien De Nizza,
2013,
IC.
Pierre-Yves Schobbens,
James Jerson Ortiz,
Axel Bodart,
2014,
OTM Workshops.
Pierre-Yves Schobbens,
Stéphane Faulkner,
Ivan Jureta,
2008,
Requirements Engineering.
Pierre-Yves Schobbens,
Mark Ryan,
Dimitar P. Guelev,
2004,
ISC.
Pierre-Yves Schobbens,
Axel Legay,
James Jerson Ortiz,
2011,
CIAA.
Pierre-Yves Schobbens,
Sven Apel,
Vander Alves,
2018,
Sci. Comput. Program..
Pierre-Yves Schobbens,
Mark Ryan,
M. Ryan,
1995,
Notre Dame J. Formal Log..
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2014,
Sci. Comput. Program..
Pierre-Yves Schobbens,
1991,
IWSSD '91.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013
.
Pierre-Yves Schobbens,
Zhenjiang Hu,
Lionel Montrieux,
2016,
2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Pierre-Yves Schobbens,
Patrick Heymans,
Raimundas Matulevičius,
2006
.
Pierre-Yves Schobbens,
Stéphane Faulkner,
Ivan Jureta,
2006,
14th IEEE International Requirements Engineering Conference (RE'06).
Pierre-Yves Schobbens,
John-Jules Ch. Meyer,
1999,
Lecture Notes in Computer Science.
Pierre-Yves Schobbens,
Gilles Perrouin,
Edilton Lima dos Santos,
2020,
VaMoS.
Pierre-Yves Schobbens,
Pascal Urso,
2004
.
Pierre-Yves Schobbens,
Axel Legay,
Eun-Young Kang,
2012,
ISoLA.
Pierre-Yves Schobbens,
Mark Ryan,
1996,
ECAI.
Pierre-Yves Schobbens,
Patrick Heymans,
Yves Bontemps,
2005,
IEEE Transactions on Software Engineering.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2014,
Software Engineering.
Pierre-Yves Schobbens,
Andreas Classen,
Patrick Heymans,
2008
.
Pierre-Yves Schobbens,
Pierre-Yves Schobbens,
1993,
ICAIL '93.
Pierre-Yves Schobbens,
Axel Legay,
Mathieu Acher,
2016,
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE).
Pierre-Yves Schobbens,
Yves Ledru,
Pierre-Yves Schobbens,
1990,
Formal Methods in Software Development.
Pierre-Yves Schobbens,
Yves Bontemps,
Pierre-Yves Schobbens,
2005,
FoSSaCS.
Pierre-Yves Schobbens,
Jean-François Raskin,
Laurent Ferier,
1999,
Electron. Notes Theor. Comput. Sci..
Pierre-Yves Schobbens,
Mark Ryan,
Dimitar P. Guelev,
2004
.
Pierre-Yves Schobbens,
Eun-Young Kang,
Gilles Perrouin,
2012,
2012 12th International Conference on Quality Software.
Manfred Broy,
Pierre-Yves Schobbens,
Pierre-Yves Schobbens,
1988
.
Pierre-Yves Schobbens,
Eun-Young Kang,
2013,
2013 10th IEEE International Conference on Control and Automation (ICCA).
Pierre-Yves Schobbens,
Andreas Classen,
Patrick Heymans,
2008,
IET Softw..
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2014,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Pierre-Yves Schobbens,
Axel Legay,
Andreas Classen,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Pierre-Yves Schobbens,
Suzanne Kieffer,
Jean-Yves Lionel Lawson,
2007
.
Pierre-Yves Schobbens,
Kim Mens,
Ragnhild Van Der Straeten,
2009
.
Pierre-Yves Schobbens,
Gilles Perrouin,
Patrick Heymans,
2015,
ICSE '15.
Pierre-Yves Schobbens,
Naji Habra,
Klaus Pohl,
2007
.
Pierre-Yves Schobbens,
Jeffrey G. Gray,
Alfonso Pierantonio,
2008,
MoDELS Workshops.
Pierre-Yves Schobbens,
Carlo Ghezzi,
Axel Legay,
2013,
ArXiv.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2015,
VaMoS.
Pierre-Yves Schobbens,
Gunter Saake,
Cristina Sernadas,
2002,
Inf. Process. Lett..
Pierre-Yves Schobbens,
Mark Ryan,
M. Ryan,
1996,
J. Log. Lang. Inf..
Pierre-Yves Schobbens,
Axel Legay,
James Jerson Ortiz,
2010,
FORMATS.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Pierre-Yves Schobbens,
1991,
Proceedings of the Sixth International Workshop on Software Specification and Design.
Pierre-Yves Schobbens,
Mark Ryan,
2004
.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1999
.
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1997,
HART.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2012,
SPLC '12.
Pierre-Yves Schobbens,
Kim Mens,
Patrick Heymans,
2007
.
Pierre-Yves Schobbens,
Patrick Heymans,
Michal Petit,
1999
.
Pierre-Yves Schobbens,
Patrick Heymans,
Yves Bontemps,
2007,
Tech. Sci. Informatiques.
Pierre-Yves Schobbens,
Mark Ryan,
Aidan Harding,
2003,
TIME.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
SPLC '13 Workshops.
Pierre-Yves Schobbens,
Patrick Heymans,
Jean-Christophe Trigaux,
2005
.
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1997,
TACAS.
Pierre-Yves Schobbens,
J. J Ch Meyer,
1999
.
Pierre-Yves Schobbens,
Eun-Young Kang,
2013,
SpringSim.
Pierre-Yves Schobbens,
Eun-Young Kang,
Paul Pettersson,
2013,
Reliab. Eng. Syst. Saf..
Pierre-Yves Schobbens,
Klaus Pohl,
Andreas Metzger,
2007,
15th IEEE International Requirements Engineering Conference (RE 2007).
Pierre-Yves Schobbens,
Mark Ryan,
Dimitar P. Guelev,
2005,
AVoCS.
Pierre-Yves Schobbens,
John-Jules Ch. Meyer,
1999
.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2014,
FSE 2014.
Pierre-Yves Schobbens,
Jean-François Raskin,
J. Raskin,
1998,
J. Autom. Lang. Comb..
Benoît Combemale,
Pierre-Yves Schobbens,
Axel Legay,
2016,
MiSE@ICSE.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Pierre-Yves Schobbens,
Jean-François Raskin,
1999
.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2017,
SOFSEM.
Pierre-Yves Schobbens,
Patrick Heymans,
Jean-Christophe Trigaux,
2006,
14th IEEE International Requirements Engineering Conference (RE'06).
Pierre-Yves Schobbens,
Moussa Amrani,
2016,
PAME/VOLT@MODELS.
Pierre-Yves Schobbens,
Eun-Young Kang,
2019
.
Pierre-Yves Schobbens,
Mark Ryan,
M. Ryan,
2001,
ATAL.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Pierre-Yves Schobbens,
Mark Ryan,
Aidan Harding,
2005,
TACAS.
Pierre-Yves Schobbens,
Sebastián Uchitel,
Zhenjiang Hu,
2016,
2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Pierre-Yves Schobbens,
Mark Ryan,
Franck Cassez,
2000,
FIREworks.
Pierre-Yves Schobbens,
Eun-Young Kang,
2014,
SAC.
Marc Aiguier,
Pierre-Yves Schobbens,
2006
.
Pierre-Yves Schobbens,
Mark Ryan,
Odinaldo Rodrigues,
1996
.
Pierre-Yves Schobbens,
Akram Idani,
Yves Ledru,
2009
.
Pierre-Yves Schobbens,
Mark Ryan,
Odinaldo Rodrigues,
1996
.