Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Paul Pettersson

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification

Communications in Computer and Information Science
MathematicsComputer Science
2014English

Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards Are Not Enough

2017English

TIMES B— A Tool for Modelling and Implementation of Embedded Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

UPPAAL - Now, Next, and Future

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Uppaal in 1995

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

On Memory-Block Traversal Problems in Model Checking Timed Systems

BRICS Report Series
2000English

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy