Component-Based Design and Analysis of Embedded
Systems with UPPAAL PORT
John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, and
Davor Slutej.
Proceedings of 6th International Symposium on Automated Technology
for Verification and Analysis, Springer-Verlag, Seoul, South Korea,
October, 2008
Verification
of COMDES-II Systems Using UPPAAL
with Model Transformation,
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, and Christo Angelov.
In Proceedings of the 14th International IEEE Conference on
Embedded and Real-Time
Computing Systems and Applications (RTCSA),
IEEE Computer Society Press, Kaohsiung, Taiwan, August, 2008
Testing
Real-time systems using UPPAAL.
Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen,
Paul Pettersson, and Arne Skou.
Book chapter in Formal Methods and Testing,
Lecture Notes in Computer Science 4949,
Robert M. Hierons, Jonathan P. Bowen, and Mark Harman (eds.),
Springer-Verlag, 2008.
Generating
Trace-Sets for Model-based Testing.
Birgitta Lindström, Paul Pettersson, and Jeff Offutt.
In Proceedings of the 18th IEEE International Symposium on
Software Reliability
(ISSRE'07),
pages 171-180, November 5-9, 2007.
Partial Order Reduction for Verification of Real-Time Components.
John Håkansson and Paul Pettersson.
In
Proceedings of the 5th International Conference on
Formal Modelling and Analysis of Timed Systems
(FORMATS'07),
Lecture Notes in Computer Science 4763, pages 211-226,
Jean-François Raskin and P.S. Thiagarajan (eds.),
Springer-Verlag, 2007.
Cover -
A Test-Case Generation Tool for Timed Systems.
Anders Hessel and Paul Pettersson.
In Testing of Software and Communicating Systems:
Work-in-Progress and Position Papers, Tool Demonstrations, and
Tutorial Abstracts of TestCom/FATES 2007, pages 31-34, ISBN
978-9949-430-06-2. Alexandre Petrenko, Margus Veanes, Jan Tretmans, and
Wolfgang Grieskamp (eds.)
2007.
The SAVE Approach to Component-Based Development of Vehicular Systems.
Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson,
John Håkansson, Anders Möller, Paul Pettersson, and Massimo Tivoli.
Journal of Systems and Software,
vol 80, nr 5, p655-667, Elsevier, May, 2007.
A Global Algorithm for Test Suite Generation,
Anders Hessel and Paul Pettersson.
In Proceedings of the Third Workshop on Model-Based
Testing, Electronic Notes in Theoretical Computer Science 16697, 2007.
Handling Subsystems using the SaveComp Component Technology.
Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson,
John Håkansson, Mikael Nolin, Thomas Nolte, and Paul Pettersson.
In Proceedings of Workshop on Models and Analysis for Automotive
Systems (WMAAS'06)
in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06),
Marco Di Natale and Luis Almeida (eds.).
2006.
Model
Checking Timed Automata with Priorities using DBM Subtraction.
Alexandre David, John Håkansson, Kim G. Larsen, and Paul Pettersson.
In proceedings of the 4th International Conference on
Formal Modelling and Analysis of Timed Systems
(FORMATS'06), 2006,
Lecture Notes in Computer Science 4202, pages 128-142,
Eugene Asarin and Patricia Bouyer (eds.), Springer-Verlag, 2006.
UPPAAL 4.0.
Gerd Behrmann, Alexandre David, John Håkansson,
Martijn Hendriks, Kim G. Larsen, Paul Pettersson, and Wang Yi.
In proceedings of the
3rd International Conference on Quantitative Evaluation of
Systems
(QEST'06), 2006.
Model-based Testing of a WAP Gateway: an Industrial Case-Study.
Anders Hessel and Paul Pettersson.
In proceedings of the 11th
International Workshop on Formal Methods for Industrial
Critical Systems
(FMICS'06).
Lecture Notes in Computer Science 4346, pages 116-131,
Springer-Verlag, 2006.
Inference of Event-Recording Automata using Timed Decision Trees.
Olga Grinchtein, Bengt Jonsson, and Paul Pettersson.
In Proceedings of the 17th International
Conference on Concurrency Theory
(CONCUR'06),
Lecture Notes in Computer Science 4137, pages 435-449,
Christel Baier, Holger Hermanns (eds.), Springer-Verlag, 2006.
Selected Papers of the 16th Nordic Workshop on Programming
Theory (NWPT'04), October 6-8, 2004.
Paul Pettersson and Wang Yi (Eds.).
Nordic Journal of
Computing,
Volue 12, Number 2, Summer 2005.
A Test Case Generation Algorithm for Real-Time Systems.
Anders Hessel and Paul Pettersson.
In proceedings of the 4th International Conference
on Quality Software (QSIC'04),
pages 268-273, Hans-Dieter Ehrich and Klaus-Dieter Schewe (eds.),
IEEE Computer Society,
2004.
(
.pdf
)
Schedulability Analysis using Two Clocks,
Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi.
In Proceedings of the
9th International Conference on Tools and Algorithms for
the Construction and Analysis of Systems
(TACAS'03),
LNCS 2619, pages 224-239, Hubert Garavel, John Hatcliff (Eds.),
Warsaw, Poland, April 7-11,
2003.
(
.ps.gz,
.pdf,
abstract,
bibtex
)
Compact Data Structure and State-Space Reduction for Model-Checking
Real-Time Systems,
Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi.
In
Real-Time
Systems -
The International Journal of Time-Critical Computing Systems,
volume 25, issue 2, pages 255-275,
Kluwer Academic Publisher,
September 2003.
Workshop on Real-Time Tools,
Paul Pettersson and Wang Yi (eds.).
Proceedings of the
Workshop on Real-Time Tools 2002,
Technical Report 2002-05, ISSN 1404-3203. Department of
Information Technology, Uppsala University, August, 2002.
UPPAAL Implementation Secrets,
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen,
Paul Pettersson, and Wang Yi.
In Proceedings of the 7th International Symposium on
Formal Techniques in Real-Time and Fault Tolerant Systems
(FTRTFT'02), 2002.
(
.ps.gz,
.pdf,
abstract,
bibtex
)
Guiding and
Cost-Optimality in UPPAAL,
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen,
Paul Pettersson, and Judi Romijn.
In Proceedings of the 2001 AAAI Spring Symposium
Series: Model-Based Validation of Intelligence. 2001.
UPPAAL - Present and Future,
Gerd Behrmann, Alexandre David, Kim G. Larsen, Oliver Möller,
Paul Pettersson, and Wang Yi.
In Proceedings of the 40th
IEEE Conference on Decision and Control
(CDC'2001).
Orlando, Florida, USA, December 4 to 7, 2001.
(
.ps.gz,
.pdf,
abstract,
bibtex)
Workshop on Real-Time Tools,
Paul Pettersson and Sergio Yovine (eds.).
Proceedings of the
Workshop on Real-Time Tools 2001,
Technical Report 2001-014, ISSN 1404-3203. Department of
Information Technology, Uppsala University, August, 2001.
UPPAAL - Now, Next, and Future,
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio,
Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet,
Kim G. Larsen, M. Oliver Möller, Paul Pettersson,
Carsten Weise, and Wang Yi.
In Proceedings of
Modelling and Verification of Parallel Processes
(MOVEP'2k),
Nantes, France, June 19 to 23, 2000.
LNCS Tutorial 2067, pages 100-125, F. Cassez, C. Jard, B. Rozoy, and
M. Ryan (Eds.), 2001.
(
.ps.gz,
.pdf,
abstract,
bibtex
)
Efficient Guiding Towards Cost-Optimality in
UPPAAL,
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen,
Paul Pettersson, and Judi Romijn.
In Proceedings of the
7th International Conference on Tools and Algorithms for
the Construction and Analysis of Systems
(TACAS'01).
Genova, Italy, April 2 to 6, 2001.
LNCS 2031, pages 174-188, T. Margaria and W. Yi (Eds.).
(
.ps.gz,
.pdf,
abstract,
bibtex
)
Minimum-Cost Reachability for Priced Timed Automata,
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen,
Paul Pettersson, Judi Romijn, and Frits Vaandrager.
In Proceedings of the 4th International Workwhop
on Hybrid Systems: Computation and Control
(HSCC'01).
Rome, Italy, March 28 to 30, 2001.
LNCS 2034, pages 147-161, Maria Domenica Di Benedetto and
Alberto Sangiovanni-Vincentelli (Eds.).
(
.ps.gz,
.pdf,
abstract,
bibtex
)
Model-Checking Real-Time Control Programs,
Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen,
Morten Laursen, Rune G. Madsen, Steffen K. Mortensen,
Paul Pettersson and Chris B. Thomasen.
In Proceedings of the 12th Euromicro Conference on Real-Time
Systems (ECRTS'2000),
pages 147-155.
Stockholm, Sweden, June 19 - 21, 2000.
(
.pdf,
abstract,
bibtex
)
New Generation of UPPAAL,
Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson,
Wang Yi and Carsten Weise.
In Proceedings of the International Workshop on Software Tools for
Technology Transfer.
Aalborg, Denmark, 12 - 13 July, 1998.
(
ps.gz,
pdf,
abstract,
bibtex)
Formal Design and Analysis of a Gear Controller,
Magnus Lindahl, Paul Pettersson and Wang Yi.
In Proceedings of the 4th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems.
Gulbenkian Foundation, Lisbon , Portugal, 31 March - 2 April, 1998.
LNCS 1384, pages 281-297, Bernhard Steffen (Ed.).
Appears also as Technical Report ASTEC 97/09, Advanced Software
Technology, Uppsala University, 1997.
(
ps.gz,
pdf,
abstract,
bibtex)
UPPAAL in a Nutshell,
Kim G. Larsen, Paul Pettersson and Wang Yi.
In Springer International Journal of Software Tools for
Technology Transfer, volume 1, issue 1+2, pages 134-152, 1997.
(
ps.gz,
pdf,
abstract,
bibtex)
Formal Verification of a TDMA Protocol Start-Up Mechanism,
Henrik Lönn and Paul Pettersson.
In Proceedings of the 1997 IEEE Pacific Rim International
Symposium on Fault-Tolerant Systems, pages 235-242.
Taipei, Taiwan, 15-16 December, 1997.
Also appears as Technical Report ASTEC 97/16, Advanced Software
Technology, Uppsala University, 1997.
(
ps.gz,
pdf,
abstract,
bibtex)
Verification of an Audio Protocol with Bus Collision Using
UPPAAL, Johan Bengtsson, W. O. David
Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson,
Paul Pettersson and Wang Yi.
In Proceedings of the 8th International Conference on
Computer-Aided Verification.
New Brunswick, New Jersey, USA, 31 July 31-3 August, 1996.
LNCS 1102, pages 244-256, R. Alur and T. A. Henzinger (Eds.).
(
ps.gz,
pdf,
abstract,
bibtex
)
UPPAAL in 1995, Johan Bengtsson,
Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi.
In Proceedings of Workshop on Tools and Algorithms for the
Construction and Analysis of Systems.
Passau, Germany, 27-29 March, 1996.
LNCS 1055, pages 431-434, T. Margaria and B. Steffen (Eds.).
(
ps.gz,
pdf,
abstract,
bibtex)
UPPAAL - a Tool Suite for Automatic
Verification of Real-Time Systems,
Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and
Wang Yi.
In Proceedings of Workshop on Verification and Control of
Hybrid Systems III, New Brunswick, New Jersey, 22-24 October, 1995.
LNCS 1066, pages 232-243, Rajeev Alur, Thomas A. Henzinger and
Eduardo D. Sontag (Eds.).
(
ps.gz,
pdf,
abstract,
bibtex
)
Diagnostic Model-Checking for Real-Time Systems,
Kim G. Larsen, Paul Pettersson and Wang Yi.
In Proceedings of Workshop on Verification and Control of
Hybrid Systems III, New Brunswick, New Jersey, 22-24 October, 1995.
LNCS 1066, pages 575-586, Rajeev Alur, Thomas A. Henzinger and
Eduardo D. Sontag (Eds.).
(
ps,
pdf,
abstract,
bibtex
)
Model-Checking for Real-Time Systems,
Kim G. Larsen, Paul Pettersson and Wang Yi.
In Proceedings of the 10th International Conference on
Fundamentals of Computation Theory,
Dresden, Germany, 22-25 August, 1995.
LNCS 965, pages 62-88, Horst Reichel (ed.).
(
ps.gz,
pdf,
abstract,
bibtex)
Dilemma - a tool for rapid manual translation,
Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordström
and Bengt Wahrolen.
In Proceedings of Conference on Human Factors
in Computing Systems, Boston, USA, April, 1994.
A tool for rapid manual translation,
Magnus Nordström and Paul Pettersson.
Master Thesis.
Swedish Institute of Computer Science T93:04B, ISSN 1100-3154,
7 October, 1993.
(pg. 1-28 (ps.gz),
pg. 29-62 (ps.gz),
abstract)
Project Avatar Developing a
Distributed Mobile Phone Game,
Mattias Andreasson, Andree Bylund, Syrus Dargahi, Daniel Johansson,
Martin Larsson, Bennie Lundmark, Jonas Mellberg, Fredrik Stenh,
Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson.
Technical Report 2006-010, ISSN 1404-3203. Department of
Information Technology, Uppsala University, Mars 2006.
(
.pdf
)
Developing A-GPS as a Student Project,
Bahram Bahar, Adam Bolcsfoldi, Jonas Falkevik, Roger Jakobsen, Kristoer
Kobosko, Jimmy Kallstrom Alexander Harju, Andreas Hasselberg, Johan
Persson, Mattias Wadman,
Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson.
Technical Report 2006-011, ISSN 1404-3203. Department of
Information Technology, Uppsala University, Mars 2006.
(
.pdf
)
Uppsala Underdogs -
A Robot Soccer Project,
Marianne Ahlford, Martin Andersson, Hanna Blomquist, Magnus Ekström,
Lars Ericsson, Johannes Gumbel, Anna Holmgren, Petter Holmberg,
Leonard Kia, Anton Lindström, Magnus Lyrberg, Shaman Mahmoudi,
Bengt Nolin, Jesper Sundien, Henrik Wallentin,
Olle Gällmo, Anders Hessel, Leonid Mokrushin, Paul Pettersson.
Technical Report 2006-012, ISSN 1404-3203. Department of
Information Technology, Uppsala University, Mars 2006.
(
.pdf
)
Kelb - A Real-Time Programming
Environment for the Sony Aibo, Erik Cedheim, Ramzi Ferchichi,
Anders Jonsson, Dan Lind, Henrik Nyman, Olof Sivertsson,
Andreas Widenfalk, Jöns Åkerlund, Leonid Mokrushin, and
Paul Pettersson.
Technical Report 2004-044, ISSN 1404-3203. Department of
Information Technology, Uppsala University, October 2004.
(
.pdf
)
Team Dynamo-Pavlov Uppsala,
Paul Pettersson, Olle Gällmo, Pahram Azimi, Rani Khalil,
Martin Tillenius, Arsenij Vodjanov, and Samuel Waxin.
In Proceedings of RoboCup 2003, LNCS, Springer.
Polani, D., Browning, B., Bonarini, A., and Yoshida, K. (eds),
2003.
(
.pdf
)
