( 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

Jean Paul

 

Other publications of authors with the same name

Automatic verification of real-time communicating systems by constraint-solving., , and . FORTE, volume 6 of IFIP Conference Proceedings, page 243-258. Chapman & Hall, (1994)Mutation-Based Test Generation for PLC Embedded Software Using Model Checking., , , , and . ICTSS, volume 9976 of Lecture Notes in Computer Science, page 155-171. (2016)Message from the CORCS 2008 Workshop Organizers., , and . COMPSAC, page 1295. IEEE Computer Society, (2008)AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL., , , , and . QoSA, page 31-40. IEEE Computer Society, (2016)Modeling and Reasoning about Service Behaviors and Their Compositions., , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 82-96. Springer, (2010)Efficient verification of real-time systems: compact data structure and state-space reduction., , , and . RTSS, page 14-24. IEEE Computer Society, (1997)Efficient Guiding Towards Cost-Optimality in UPPAAL., , , , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 174-188. Springer, (2001)Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems., , , and . Real Time Syst., 25 (2-3): 255-275 (2003)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)