( en | de | ru )

 

Disambiguation of "Pettersson, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Verification of AADL-Specifications Using UPPAAL.

, , , and . HASE, page 130-138. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Magnus Pettersson

Tobias Pettersson

Stefan Pettersson

Vilhelm Irgens Pettersson

Christian Pauli

 

Other publications of authors with the same name

Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems, , , , and . Proc.\ of Workshop on Verification and Control of Hybrid Systems III, 1066, page 232--243. Springer, (October 1995)Cover - A Test-Case Generation Tool for Timed Systems, and . Testing of Software and Communicating Systems, page 31–34. (2007)Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck., and . ETFA, page 1-8. IEEE, (2010)Guest Editors' Foreword., and . Nord. J. Comput., 12 (2): 67- (2005)Regression verification of AADL models through slicing of system dependence graphs., , , and . QoSA, page 103-112. ACM, (2014)Diagnostic Model-Checking for Real-Time Systems., , and . Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 575-586. Springer, (1995)As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata., , , , , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 493-505. Springer, (2001)A Comparative Study of Manual and Automated Testing for Industrial Control Software., , , and . ICST, page 412-417. IEEE Computer Society, (2017)Using mutation to design tests for aspect-oriented models., , , , and . Inf. Softw. Technol., (2017)Pattern-Driven Support for Designing Component-Based Architectural Models., , and . ECBS, page 187-196. IEEE Computer Society, (2011)