Research interests [ Show full biography ]
The current research interests of Paul include
component-based design, and verification techniques for embedded real-time
systems.
He is one of the co-founders of the
UPPAAL tool (model-checker
for timed systems), and several other related tools,
including
TIMES
(schedulability analysis of real-time systems),
UPPAAL Port
(partial order reduction verification of component-based embedded systems),
and
UPPAAL CoVer
(model-based test-case generation for timed systems).
For more information about his research, see his short
Curriculum Vitae
or his old web page at Uppsala
University .
Current/recent programme committees:
8th IEEE International
Conference on Embedded and Ubiquitous Computing (EUC'10) ,
chair of track on Real-Time Systems and Operating Systems.
December 11-13, 2010, Hong Kong SAR, China.
22nd Nordic Workshop on
Programming Theory (NWPT'10) ,
November 10-12 2010, Turku, Finland.
2nd
International Workshop on the Quality of Service-Oriented Software
Systems (QUASOSS'10) (co-organizer).
Held in conjunction with MoDELS 2010 (13th ACM/IEEE International
Conference on Model Driven Engineering Languages and Systems).
October 5, 2010 in Oslo, Norway.
17th International
SPIN Workshop on Model Checking of Software (SPIN'10) .
September 27-29, 2010, Enschede, The Netherlands.
15th IEEE International
Conference on Emerging Technologies and Factory Automation
(ETFA'10) Track on Real-Time and (Networked) Embedded
Systems,
September 13-16, 2010, Bilbao, Spain.
13th ACM International Conference on
Hybrid Systems: Computation and Control (HSCC'10) .
In conjunction with CPSWEEK,
April 12-16, 2010, Stockholm, Sweden.
Current/recent teaching:
Advanced Validation and Verification (DVA402, master level):
spring '10 .
Model-based Verification of Real-time systems (Ph.D. study level):
fall '09 , and
fall '08.
Real-time Systems (master level): spring '09.
The Science of Programming (Ph.D. study level):
fall '09 .
Latest publications
[ Show all publications ]
Developing UPPAAL over 15 years Gerd Berhmann (Aalborg University, Denmark) , Alexandre David (Aalborg University, Denmark) , Kim Guldstrand Larsen (Aalborg University, Denmark) , Paul Pettersson , Wang Yi (external) , Software - Practice and Experience, Wiley Publisher, December, 2010Modeling and Reasoning about Service Behaviors and their Compositions Aida Causevic , Cristina Seceleanu , Paul Pettersson , Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2010), Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing track, Springer LNCS, Amirandes, Heraclion, Crete, October, 2010An Integrated Tool for Trade-off Analysis of Quality-of-Service Attributes Leo Hatvani , Anton Jansen , Cristina Seceleanu , Paul Pettersson , Proceedings of The 2nd International Workshop on the Quality of Service-Oriented Software Systems, Oslo, Norway, October, 2010
