| Publication | Date of Publication | Type |
|---|
| A semantic driven method to check the fineteness of CCS processes | 2024-04-29 | Paper |
A strategy to deal with divergent rewrite systems
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Yeast: a case study for a practical use of formal methods
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Rational rewriting
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Automated synthesis of application-layer connectors from automata-based specifications
Journal of Computer and System Sciences | 2019-06-25 | Paper |
Automated synthesis of application-layer connectors from automata-based specifications
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Automatic verification of distributed systems: the process algebra approach.
Formal Methods in System Design | 2008-12-21 | Paper |
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming | 2008-06-25 | Paper |
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Concurrency, Graphs and Models | 2008-06-19 | Paper |
On relating functional specifications to architectural specifications: A case study
Science of Computer Programming | 2006-01-10 | Paper |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2060758 (Why is no real title available?) | 2004-03-18 | Paper |
| scientific article; zbMATH DE number 2013618 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1951517 (Why is no real title available?) | 2003-07-21 | Paper |
Software architectures and coordination models
The Journal of Supercomputing | 2003-07-01 | Paper |
Static analysis of real-time component-based systems configurations
Science of Computer Programming | 2003-05-14 | Paper |
Finite approximations for model checking non-finite-state processes
The Computer Journal. Section A Section B | 2002-04-08 | Paper |
| scientific article; zbMATH DE number 1693513 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1389857 (Why is no real title available?) | 2000-01-17 | Paper |
Uncovering architectural mismatch in component behavior
Science of Computer Programming | 1999-11-01 | Paper |
Deciding observational congruence of finite-state CCS expressions by rewriting
Theoretical Computer Science | 1997-02-28 | Paper |
Infinite normal forms for non-linear term rewriting systems
Theoretical Computer Science | 1997-02-27 | Paper |
Automatizing parametric reasoning on distributed concurrent systems
Formal Aspects of Computing | 1995-04-06 | Paper |
Proving finiteness of CCS processes by non-standard semantics
Acta Informatica | 1994-05-10 | Paper |
| scientific article; zbMATH DE number 176143 (Why is no real title available?) | 1993-05-18 | Paper |
Complete sets of axioms for finite basic LOTOS behavioural equivalences
Information Processing Letters | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 58291 (Why is no real title available?) | 1992-09-27 | Paper |
A rewriting strategy to verify observational congruence
Information Processing Letters | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4085007 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4085067 (Why is no real title available?) | 1988-01-01 | Paper |
