Paul Pettersson

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alexandre David

> Home > Persons > Paul Pettersson

Publications

2014
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HatvaniDSP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HatvaniDSP14
Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson:
Adaptive Task Automata with Earliest-Deadline-First Scheduling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
2013
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/wi/13/DavidBBBCLPRS0JLMRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13
Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225
2011
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/BehrmannDLPY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/BehrmannDLPY11
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Developing UPPAAL over 15 years. Softw. Pract. Exp. 41(2): 133-142 (2011)
2006
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DavidHLP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DavidHLP06
Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson:
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BehrmannDLHPYH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BehrmannDLHPYH06
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126
2002
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/BehrmannBDLPY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/BehrmannBDLPY02
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
2001
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BehrmannLMDPY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BehrmannLMDPY01
Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi:
UPPAAL - present and future. CDC 2001: 2881-2886
2000
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/movep/AmnellBBDDFHJLMPWY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi:
UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.