| Publication | Date of Publication | Type |
|---|
| Featured Scents: Assessing Architectural Smells for Self-Adaptive Systems at Runtime | 2021-11-09 | Dataset |
The logic of ``initially'' and ``next'': complete axiomatization and complexity
Information Processing Letters | 2016-06-16 | Paper |
| Synthesising features by games | 2013-12-04 | Paper |
| Model-checking the preservation of temporal properties upon feature integration | 2013-09-26 | Paper |
| Alternating-time logic with imperfect recall | 2013-08-27 | Paper |
Distributed event clock automata (extended abstract)
Implementation and Application of Automata | 2011-07-29 | Paper |
Memory event clocks
Lecture Notes in Computer Science | 2010-09-10 | Paper |
The computational complexity of scenario-based agent verification and design
Journal of Applied Logic | 2007-07-25 | Paper |
Generic semantics of feature diagrams
Computer Networks | 2006-12-14 | Paper |
Information Security
Lecture Notes in Computer Science | 2006-10-16 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2112979 (Why is no real title available?) | 2004-11-01 | Paper |
| scientific article; zbMATH DE number 2100580 (Why is no real title available?) | 2004-09-14 | Paper |
| scientific article; zbMATH DE number 2088152 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086522 (Why is no real title available?) | 2004-08-11 | Paper |
A two-level temporal logic for evolving specifications.
Information Processing Letters | 2003-01-21 | Paper |
Axioms for real-time logics
Theoretical Computer Science | 2002-03-03 | Paper |
Operators and Laws for Combining Preference Relations
Journal Of Logic And Computation | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1490016 (Why is no real title available?) | 2000-08-13 | Paper |
| scientific article; zbMATH DE number 1418817 (Why is no real title available?) | 2000-04-02 | Paper |
| scientific article; zbMATH DE number 1400049 (Why is no real title available?) | 2000-03-20 | Paper |
| scientific article; zbMATH DE number 1304994 (Why is no real title available?) | 2000-01-12 | Paper |
Counterfactuals and updates as inverse modalities
Journal of Logic, Language and Information | 1999-09-29 | Paper |
| scientific article; zbMATH DE number 1324668 (Why is no real title available?) | 1999-08-17 | Paper |
Belief revision and verisimilitude
Notre Dame Journal of Formal Logic | 1996-01-29 | Paper |
Exceptions for algebraic specifications: On the meaning of ``but''
Science of Computer Programming | 1993-10-24 | Paper |
