| Publication | Date of Publication | Type |
|---|
Waiting Nets: State Classes and Taxonomy
Fundamenta Informaticae | 2024-02-08 | Paper |
Data centric workflows for crowdsourcing
Application and Theory of Petri Nets and Concurrency | 2022-09-01 | Paper |
Waiting nets
| 2022-08-19 | Paper |
scientific article; zbMATH DE number 7561325 (Why is no real title available?)
| 2022-07-21 | Paper |
Reachability games with relaxed energy constraints
Information and Computation | 2022-06-08 | Paper |
Reachability games with relaxed energy constraints
| 2022-01-06 | Paper |
Timed negotiations
| 2020-09-23 | Paper |
Combining free choice and time in Petri nets
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
On the cost of diagnosis with disambiguation
Quantitative Evaluation of Systems | 2019-09-17 | Paper |
Diagnosability of repairable faults
Discrete Event Dynamic Systems | 2018-10-08 | Paper |
Petri nets with structured data
Fundamenta Informaticae | 2017-07-28 | Paper |
Robustness of time Petri nets under guard enlargement
Fundamenta Informaticae | 2017-03-16 | Paper |
Decidable classes of unbounded Petri nets with time and urgency
Application and Theory of Petri Nets and Concurrency | 2016-10-04 | Paper |
Realizability of schedules by stochastic time Petri nets with blocking semantics
Application and Theory of Petri Nets and Concurrency | 2016-10-04 | Paper |
Petri nets with structured data
Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
Diagnosis from scenarios
Discrete Event Dynamic Systems | 2014-12-12 | Paper |
Active Diagnosis for Probabilistic Systems
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Scenarios and covert channels: another game\dots
| 2013-09-20 | Paper |
A semantics for timed MSC
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Dynamic communicating automata and branching high-level MSCs
Language and Automata Theory and Applications | 2013-03-18 | Paper |
Robustness of time Petri nets under guard enlargement
Lecture Notes in Computer Science | 2013-01-07 | Paper |
Robustness of time Petri nets under architectural constraints
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Symbolically Bounding the Drift in Time-Constrained MSC Graphs
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Regular set of representatives for time-constrained MSC graphs
Information Processing Letters | 2012-07-25 | Paper |
Assembling Sessions
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Realizability of Dynamic MSC Languages
Computer Science – Theory and Applications | 2010-06-22 | Paper |
High-level message sequence charts and projections.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Causal message sequence charts
Theoretical Computer Science | 2009-09-29 | Paper |
Logic-based diagnosis for distributed systems
| 2009-07-27 | Paper |
Event Correlation with Boxed Pomsets
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Causal Message Sequence Charts
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Products of Message Sequence Charts
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
An event structure based semantics for high-level message sequence charts
Mathematical Structures in Computer Science | 2003-04-06 | Paper |
scientific article; zbMATH DE number 1746448 (Why is no real title available?)
| 2002-05-28 | Paper |
scientific article; zbMATH DE number 1728524 (Why is no real title available?)
| 2002-04-15 | Paper |
scientific article; zbMATH DE number 1836357 (Why is no real title available?)
| 2000-01-01 | Paper |
