引用次数
引用: 12,571
H-指数: 48
I10-指数 : 91
出版物: 240
Verification of an Audio Protocol with Bus Collision using UPPAAL
K.J. Kristoffersen , F. Larsson , K.G. Larsen , J. Bengtsson
The Journal of Logic and Algebraic Programming 163 -181
6
2002
UPPAAL 4.0
M. Hendriks , P. Petterson , J. Hakansson , K.G. Larsen
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) 125 -126
514
2006
UPPAAL 4.0
M. Hendriks , P. Petterson , J. Hakansson , K.G. Larsen
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) 125 -126
514
2006
Evaluating the Run-Time Performance of Synthesised Resource-Reservation Schedulers Using TAtoC, UPPAAL and Frama-C
Mikael Åsberg , Paul Pettersson , Thomas Nolte
2013
The SaveCCM Language Reference Manual
Mikael Åkerholm , Jan Carlson , John Håkansson , Hans Hansson
22
2007
Uppsala Underdogs - A Robot Soccer Project
Jesper Sundien , Marianne Ahlford , Magnus Lyrberg , Leonid Mokrushin
2006
Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT
Cristina Seceleanu , Eduard Paul Enoiu , Paul Pettersson , Raluca Marinescu
1
2012
Developing A-GPS as a Student Project
Jonas Falkevik , Adam Bolcsfoldi , Andreas Hasselberg , Leonid Mokrushin
1
2006
Behavioral Modeling and Refinement of Services
Cristina Seceleanu , Paul Pettersson , Aida Causevic
nordic workshop programming theory
2009
Prototyping and Code Synthesis of Hierarchically Scheduled Systems using TIMES
Mikael Åsberg , Paul Pettersson , Thomas Nolte
FTRA Journal of Convergence 1 ( 1) 75 -84
12
2010
Approches formelles des systèmes embarqués communicants
Stavros Tripakis , Claude Jard , Colas Le Gernic , Susanna Donatelli
Hermés Science Publications 268
2008
Software Engineering and Formal Methods
Cristina Seceleanu , Paul Pettersson , Frederic Mallet , Jagadish Suryadevara
international conference on software engineering 1 -15
2013
Outils pour le Model-Checking de Systèmes Temporisés
Gerd Berhmann , Morgan Magnin , Paul Pettersson , Wang Yi
Hermès science publications
2008
The PROGRESS Centre for Predictable Embedded Software Systems - Half-time report (edited version)
Sasikumar Punnekkat , Ivica Crnkovic , Christer Norström , Kristina Lundqvist
Mälardalen Real-Time Research Centre, Mälardalen University
2010
Proceedings of the 23rd Nordic Workshop on Programming Theory : October 26-28, 2011, Västerås, Sweden
Cristina Seceleanu , Paul Pettersson
NordicWorkshop on ProgrammingTheory
2011
Formal reasoning of resource-aware services
Cristina Seceleanu , Paul Pettersson , Aida Causevic
3
2010
Architecture-Based Regression Verification of AADL Specifications
Kristina Lundqvist , Andreas Johnsen , Paul Pettersson
2013
An Integrated Framework for Component-based Analysis of Architectural System Models
Cristina Seceleanu , Paul Pettersson , Raluca Marinescu
international conference on testing software and systems 1 -6
2012
EAST-ADL Tailored Testing : From System Models to Executable Test Cases
Cristina Seceleanu , Alessio Bucaioni , Paul Pettersson , Mehrdad Saadatmand
Mälardalen Real-Time Research Centre, Mälardalen University
4
2013
Tools for Model-based Testing of Requirements-based Designs
Cristina Seceleanu , Paul Pettersson , Raluca Marinescu , Helene Le Guen
Mälardalen Real-Time Research Centre, Mälardalen University
2014