| Publication | Date of Publication | Type |
|---|
| Controlled hybrid CD grammar systems | 2026-01-08 | Paper |
Advancing orchestration synthesis for contract automata
Journal of Logical and Algebraic Methods in Programming | 2024-10-08 | Paper |
Introduction to the special collection from iFM 2022
Formal Aspects of Computing | 2024-09-27 | Paper |
| Realisability of global models of interaction | 2024-09-13 | Paper |
Coherent modal transition systems refinement
Journal of Logical and Algebraic Methods in Programming | 2024-03-20 | Paper |
Research Challenges in Orchestration Synthesis
Electronic Proceedings in Theoretical Computer Science | 2024-03-19 | Paper |
From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Can we communicate? Using dynamic logic to verify team automata
Formal Methods | 2023-08-17 | Paper |
| Featured Team Automata | 2023-04-21 | Paper |
Family-based SPL model checking using parity games with variability
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
| Compositionality of safe communication in systems of team automata | 2021-07-08 | Paper |
scientific article; zbMATH DE number 7215288 (Why is no real title available?)
(available as arXiv preprint) | 2020-06-26 | Paper |
| scientific article; zbMATH DE number 7215288 (Why is no real title available?) | 2020-06-26 | Paper |
Family-based model checking with mCRL2
Fundamental Approaches to Software Engineering | 2020-02-13 | Paper |
| On distributed cooperation and synchronised collaboration | 2016-12-16 | Paper |
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
Journal of Logical and Algebraic Methods in Programming | 2016-03-04 | Paper |
Model Checking Value-Passing Modal Specifications
Lecture Notes in Computer Science | 2015-12-03 | Paper |
From EU projects to a family of model checkers. From Kandinsky to KandISTI
Software, Services, and Systems | 2015-06-22 | Paper |
A calculus for team automata
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Vector team automata
Theoretical Computer Science | 2012-05-30 | Paper |
Cooperating distributed grammar systems: components with nonincreasing competence
Computation, Cooperation, and Life | 2011-06-24 | Paper |
A state/event-based model-checking approach for the analysis of abstract system properties
Science of Computer Programming | 2011-01-14 | Paper |
On competence in CD grammar systems with parallel rewriting
International Journal of Foundations of Computer Science | 2010-01-29 | Paper |
Teams of pushdown automata
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Modularity for teams of I/O automata
Information Processing Letters | 2009-12-04 | Paper |
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae | 2009-06-23 | Paper |
Assisting the design of a groupware system - Model checking usability aspects of thinkteam
The Journal of Logic and Algebraic Programming | 2009-04-29 | Paper |
| A team automaton scenario for the analysis of security properties of communication protocols | 2008-07-29 | Paper |
Infinite unfair shuffles and associativity
Theoretical Computer Science | 2007-07-16 | Paper |
Developments in Language Theory
Lecture Notes in Computer Science | 2005-12-22 | Paper |
Synchronized shuffles
Theoretical Computer Science | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2087497 (Why is no real title available?) | 2004-08-11 | Paper |
Teams of pushdown automata
International Journal of Computer Mathematics | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2050917 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 1406160 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1101395 (Why is no real title available?) | 1998-01-07 | Paper |
