selected scholarly activity
-
chapters
- SEArch: An Execution Infrastructure for Service-Based Software Systems. Lecture Notes in Computer Science. 314-330. 2024
- (Heterogeneous) Structured Specifications in Logics Without Interpolation. Outstanding Contributions to Logic. 403-439. 2018
-
conferences
- A Dynamic Temporal Logic for Quality of Service in Choreographic Models. Lecture Notes in Computer Science. 119-138. 2023
- Quality of Service Ranking by Quantifying Partial Compliance of Requirements. Lecture Notes in Computer Science. 181-189. 2020
- Automatic Quality-of-Service Evaluation in Service-Oriented Computing. Lecture Notes in Computer Science. 221-236. 2019
- Boosting the Reuse of Formal Specifications. Lecture Notes in Computer Science. 477-494. 2018
- A Full Operational Semantics for Asynchronous Relational Networks. Lecture Notes in Computer Science. 131-150. 2015
- A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. Lecture Notes in Computer Science. 6-21. 2015
- A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. Lecture Notes in Computer Science. 314-332. 2014
- Parallel Bounded Verification of Alloy Models by TranScoping. Lecture Notes in Computer Science. 88-107. 2014
- A Categorical Approach to Structuring and Promoting Z Specifications. Lecture Notes in Computer Science. 73-91. 2013
- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. Lecture Notes in Computer Science. 195-211. 2013
- Analysis of Invariants for Efficient Bounded Verification. Proceedings of the 19th International Symposium on Software Testing and Analysis. 25-36. 2010
- Complete Calculi for Structured Specifications in Fork Algebra. Lecture Notes in Computer Science. 290-305. 2010
- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. Lecture Notes in Computer Science. 275-289. 2010
- ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. Lecture Notes in Computer Science. 396-397. 2010
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. Lecture Notes in Computer Science. 306-321. 2010
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. Lecture Notes in Computer Science. 587-601. 2007
- Fork Algebras as a Sufficiently Rich Universal Institution. Lecture Notes in Computer Science. 235-247. 2006
- DynAlloy. Proceedings of the 27th international conference on Software engineering - ICSE '05. 442-442. 2005
- DynAlloy: upgrading alloy with actions. Proceedings - International Conference on Software Engineering. 442-450. 2005
- An Equational Calculus for Alloy. Lecture Notes in Computer Science. 162-175. 2004
- Taking Alloy to the Movies. Lecture Notes in Computer Science. 678-697. 2003
- On Improving Backwards Verification of Timed Automata (Extended Abstract). Electronic Notes in Theoretical Computer Science. 60-67. 2002
-
journal articles
- Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Fundamenta Informaticae. 166:297-347. 2019
- Communicating machines as a dynamic binding mechanism of services. Electronic Proceedings in Theoretical Computer Science. 203:85-98. 2016
- Categorical foundations for structured specifications in Z. Formal Aspects of Computing. 27:831-865. 2015
- Dynamite. ACM Transactions on Software Engineering and Methodology. 23:1-37. 2014
- HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. Electronic Proceedings in Theoretical Computer Science. 139:65-70. 2014
- TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. IEEE Transactions on Software Engineering. 39:1283-1307. 2013
- A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. Electronic Notes in Theoretical Computer Science. 195:133-149. 2008
- Efficient Analysis of DynAlloy Specifications. ACM Transactions on Software Engineering and Methodology. 17:1-34. 2007
- Interpretability of first-order linear temporal logics in fork algebras. Journal of Logic Programming. 66:161-184. 2006
- Reasoning about static and dynamic properties in alloy. ACM Transactions on Software Engineering and Methodology. 14:478-526. 2005
-
other
- A Categorical Approach to Structuring and Promoting Z Specifications \textbar SpringerLink
- Automatic Quality-of-Service Evaluation in Service-Oriented Computing \textbar SpringerLink
- DynAlloy: upgrading alloy with actions - IEEE Conference Publication
- Fork Algebras as a Sufficiently Rich Universal Institution \textbar SpringerLink
- Parallel Bounded Verification of Alloy Models by TranScoping \textbar SpringerLink
-
preprints
- A Dynamic Temporal Logic for Quality of Service in Choreographic Models 2023
- MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems 2023
- Integrating deduction and model finding in a language independent setting 2022
- Probabilistic Quality of Service aware Service Selection 2022
- A proof theoretic basis for relational semantics 2021
- On the construction of explosive relation algebras 2020
- Communicating machines as a dynamic binding mechanism of services 2016
- HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications 2014