Nazareno Aguirre

Available identifiers

Publication	Date of Publication	Type
ACoRe: automated goal-conflict resolution	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5057632	2022-12-16	Paper
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems	2019-07-17	Paper
Algebraic foundations for specification refinements	2018-09-27	Paper
Simulation relations for fault-tolerance	2018-01-08	Paper
Categorical foundations for structured specifications in \(\mathsf{Z}\)	2016-01-06	Paper
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting	2015-01-13	Paper
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications	2014-07-08	Paper
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics	2013-09-13	Paper
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows	2012-11-06	Paper
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization	2012-11-06	Paper
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification	2011-10-28	Paper
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting	2010-08-31	Paper
Verification: Theory and Practice	2010-03-23	Paper
Design in CommUnity with Extension Morphisms	2008-09-25	Paper
Extension Morphisms for CommUnity	2007-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4436991	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417813	2003-07-30	Paper

This page was built for person: Nazareno Aguirre