Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Stefan Haar

Diagnosability Under Weak Fairness

Transactions on Embedded Computing Systems
HardwareArchitectureSoftware
2015English

Non-Atomic Transition Firing in Contextual Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Active Diagnosis for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

The Complexity of Diagnosability and Opacity Verification for Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2018English

Model-Based Testing for Concurrent Systems With Labelled Event Structures

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2014English

Predicting Traffic Load in Public Transportation Networks

2016English

Diagnosability Under Weak Fairness

2014English

Distributed Unfolding of Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy