( en | de | ru )

 

Disambiguation of "Pettersson, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling.

, , and . ECRTS, page 172-181. IEEE Computer Society, (2011)

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

Fritz 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)Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems., , , and . Real Time Syst., 25 (2-3): 255-275 (2003)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)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)AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL., , , , and . QoSA, page 31-40. IEEE Computer Society, (2016)Efficient Guiding Towards Cost-Optimality in UPPAAL., , , , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 174-188. Springer, (2001)Message from the CORCS 2008 Workshop Organizers., , and . COMPSAC, page 1295. IEEE Computer Society, (2008)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)