P. Pettersson
发表
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
Hybrid Systems.
Wang Yi,
K.G. Larsen,
G. Behrmann,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
G. Behrmann,
K. Larsen,
P. Pettersson,
2019
.
Paul Pettersson,
Anders Hessel,
P. Pettersson,
2006,
FMICS/PDMC.
P. Pettersson,
Davor Slutej,
2008
.
J. Bengtsson,
Fredrik Larsson,
P. Pettersson,
1999
.
G. Behrmann,
K. Larsen,
P. Pettersson,
2000
.
K. Larsen,
P. Pettersson,
W. Yi,
1995,
International Symposium on Fundamentals of Computation Theory.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
1996,
TACAS.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
2003
.
Kim Guldstrand Larsen,
Paul Pettersson,
Carsten Weise,
1999
.
P. Pettersson,
M. Daniels,
1999
.
Eduard Paul Enoiu,
P. Pettersson,
E. Weyuker,
2016,
International Journal on Software Tools for Technology Transfer.
Paul Pettersson,
A. Jefferson Offutt,
Birgitta Lindström,
2007,
The 18th IEEE International Symposium on Software Reliability (ISSRE '07).
Wang Yi,
Paul Pettersson,
Elena Fersman,
2003
.
Wang Yi,
Paul Pettersson,
Elena Fersman,
2001
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2003,
Real-Time Systems.
Paul Pettersson,
Gerd Behrmann,
Judi Romijn,
1998,
TACAS.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
International Journal on Software Tools for Technology Transfer.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TACAS.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2002,
FTRTFT.
Kim G. Larsen,
Paul Pettersson,
Gerd Behrmann,
2001,
CAV.
Kim G. Larsen,
Frits W. Vaandrager,
Paul Pettersson,
2001,
HSCC.
Kim G. Larsen,
Paul Pettersson,
Thomas Hune,
2000,
Nord. J. Comput..
Wang Yi,
Paul Pettersson,
Magnus Lindahl,
1998,
International Journal on Software Tools for Technology Transfer.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
Proceedings Real-Time Systems Symposium.
Wang Yi,
Paul Pettersson,
Mats Daniels,
1994,
FORTE.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2011,
Softw. Pract. Exp..
Joël Ouaknine,
James Worrell,
Kim G. Larsen,
1995,
FCT.
Wang Yi,
Paul Pettersson,
Elena Fersman,
2007,
Inf. Comput..
Paul Pettersson,
Cristina Cerschi Seceleanu,
Aida Causevic,
2012,
ISoLA.
Gerd Behrmann,
Ansgar Fehnker,
G. Behrmann,
2001,
TACAS.
Paul Pettersson,
Birgitta Lindström,
P. Pettersson,
2006
.
Paul Pettersson,
Kristina Lundqvist,
Cristina Seceleanu,
2011
.
Hans A. Hansson,
Paul Pettersson,
Cristina Cerschi Seceleanu,
2008,
2008 1st International Conference on Software Testing, Verification, and Validation.
Paul Pettersson,
Kaj Hänninen,
Kristina Lundqvist,
2014,
QoSA '14.
Daniel Sundmark,
Robert Feldt,
Paul Pettersson,
2016,
ICTSS.
Daniel Sundmark,
Paul Pettersson,
Eduard Paul Enoiu,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Bengt Jonsson,
Paul Pettersson,
Anders Hessel,
2004,
FATES.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2008,
Formal Methods and Testing.
Wang Yi,
Paul Pettersson,
Leonid Mokrushin,
2002,
TACAS.
Marius Mikucionis,
Brian Nielsen,
Kim Guldstrand Larsen,
2008
.
Paul Pettersson,
Cristina Cerschi Seceleanu,
Aida Causevic,
2013,
2013 IEEE Seventh International Symposium on Service-Oriented System Engineering.
John Håkansson,
Paul Pettersson,
P. Pettersson,
2007,
FORMATS.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TAPSOFT.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
J. Bengtsson,
Fredrik Larsson,
P. Pettersson,
1999
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995
.
Paul Pettersson,
Cristina Cerschi Seceleanu,
Tiberiu Seceleanu,
2017,
Sci. Comput. Program..
John Håkansson,
Paul Pettersson,
Jan Carlson,
2008,
ATVA.
Daniel Sundmark,
Paul Pettersson,
Eduard Paul Enoiu,
2016,
ICTSS 2016.
Paul Pettersson,
Cristina Cerschi Seceleanu,
Aida Causevic,
2014,
ISoLA.
Wang Yi,
Paul Pettersson,
Elena Fersman,
2002,
TACAS.
Paul Pettersson,
Gordana Dodig Crnkovic,
Kaj Hänninen,
2017,
2017 IEEE International Conference on Software Architecture Workshops (ICSAW).
Pierre-Yves Schobbens,
Eun-Young Kang,
Paul Pettersson,
2011,
SAFECOMP.
Thomas Nolte,
Paul Pettersson,
Mikael Åsberg,
2010
.
Wang Yi,
Paul Pettersson,
Leonid Mokrushin,
2003,
TACAS.
Bengt Jonsson,
Paul Pettersson,
Olga Grinchtein,
2006,
CONCUR.
Kim G. Larsen,
Jirí Srba,
Paul Pettersson,
2013,
Communicating Embedded Systems.
H. Lonn,
P. Pettersson,
P. Pettersson,
1997,
Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems.
John Håkansson,
Paul Pettersson,
Jan Carlson,
2006,
FACS.
Paul Pettersson,
Kristina Lundqvist,
Cristina Cerschi Seceleanu,
2011,
2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Paul Pettersson,
Raluca Marinescu,
Cristina Seceleanu,
2012,
ICTSS 2012.
P. Pettersson,
W. Yi,
Magnus Lindahl,
2022
.
Darko Huljenic,
Paul Pettersson,
Cristina Cerschi Seceleanu,
2011,
2011 11th International Conference on Quality Software.
P. Pettersson,
C. Seceleanu,
Jagadish Suryadevara,
2011,
2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.
Eun-Young Kang,
Paul Pettersson,
Cristina Cerschi Seceleanu,
2010,
CBSE.
Paul Pettersson,
Jan Carlson,
Cristina Cerschi Seceleanu,
2009,
2009 35th Euromicro Conference on Software Engineering and Advanced Applications.
Paul Pettersson,
Cristina Seceleanu,
Jagadish Suryadevara,
2009
.
P. Pettersson,
Aneta Vulgarakis,
Jan Carlson,
2009
.
Daniel Sundmark,
Paul Pettersson,
Eduard Paul Enoiu,
2013,
ICTSS.
Daniel Sundmark,
Paul Pettersson,
Eduard Paul Enoiu,
2013,
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE).
Paul Pettersson,
P. Pettersson,
2011,
2011 IEEE 35th Annual Computer Software and Applications Conference.
Kim G. Larsen,
John Håkansson,
Paul Pettersson,
2006,
FORMATS.
Wang Yi,
Paul Pettersson,
Fredrik Larsson,
2000,
TACAS.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
CAV.
Kim Guldstrand Larsen,
Paul Pettersson,
Alexandre David,
2004
.
Kim G. Larsen,
P. Pettersson,
Alexandre David,
2004
.
Björn Lisper,
Paul Pettersson,
Andreas Ermedahl,
2010,
WCET.
Paul Pettersson,
Anders Hessel,
P. Pettersson,
2007
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
CAV.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995,
Hybrid Systems.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
2002
.
J. Bengtsson,
K. Larsen,
P. Pettersson,
2022
.
Paul Pettersson,
Eduard Paul Enoiu,
Raluca Marinescu,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Paul Pettersson,
Alessio Bucaioni,
Mehrdad Saadatmand,
2014,
2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications.
John Håkansson,
Paul Pettersson,
Cristina Cerschi Seceleanu,
2009,
FESCA@ETAPS.