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 \(\mu \)-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
Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems	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