Nazareno Aguirre

111 papers A* 21A 9B 12C 9Journal 27Unranked 31
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria.
ACM Trans. Softw. Eng. Methodol.
Luciano Zemín, Ariel Godio, César Cornejo, Renzo Degiovanni, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo Fabian Frias
2025 A* conf
Automated Combinatorial Test Generation for Alloy.
ASE
Agustín Borda, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
2025 J jnl
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications.
CoRR
Pablo F. Castro, Luciano Putruele, Renzo Degiovanni, Nazareno Aguirre
2025 — conf
Search-based Inference of Class Invariants.
GECCO Companion
Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio
2025 A* conf
State Field Coverage: A Metric for Oracle Quality.
ASE
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
2025 J jnl
State Field Coverage: A Metric for Oracle Quality.
CoRR
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
2024 J jnl
Abstraction-Aware Inference of Metamorphic Relations.
Proc. ACM Softw. Eng.
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
2024 C conf
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.
ABZ
César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis
2024 J jnl
BEAPI: A tool for bounded exhaustive input generation from APIs.
Sci. Comput. Program.
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
2024 J jnl
Scoping Software Engineering for AI: The TSE Perspective.
IEEE Trans. Software Eng.
Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024 A* conf
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.
ICSE
Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023 J jnl
A Study of the Electrum and DynAlloy Dynamic Behavior Notations.
IEEE Trans. Software Eng.
César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2023 B conf
ACoRe: Automated Goal-Conflict Resolution.
FASE
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023 J jnl
ACoRe: Automated Goal-Conflict Resolution.
CoRR
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023 J jnl
Assertion Inferring Mutants.
CoRR
Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
2023 A conf
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
GECCO
Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
2023 B conf
Efficient Bounded Exhaustive Input Generation from Program APIs.
FASE
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
2023 A conf
Enabling Efficient Assertion Inference.
ISSRE
Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
2023 A conf
EvoSpex: A Search-Based Tool for Postcondition Inference.
ISSTA
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2023 A conf
Precise Lazy Initialization for Programs with Complex Heap Inputs.
ISSRE
Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio
2023 A* conf
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing.
ASE
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2023 J jnl
Specification Inference for Evolving Systems.
CoRR
Renzo Degiovanni, Facundo Molina, Agustín Nolasco, Nazareno Aguirre, Mike Papadakis
2022 A conf
ATR: template-based repair for Alloy specifications.
ISSTA
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
2022 A* conf
Fuzzing Class Specifications.
ICSE
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2022 J jnl
Fuzzing Class Specifications.
CoRR
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2022 A* conf
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.
ASE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2022 A* conf
LISSA: Lazy Initialization with Specialized Solver Aid.
ASE
Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias
2022 A conf
Learning to Prune Infeasible Paths in Generalized Symbolic Execution.
ISSRE
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2021 — conf
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.
ICSE (Companion Volume)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 — conf
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.
ICSE (Companion Volume)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 J jnl
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
CoRR
Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre
2021 A* conf
BeAFix: An Automated Repair Tool for Faulty Alloy Models.
ASE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
Bounded Exhaustive Search of Alloy Specification Repairs.
ICSE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 J jnl
Bounded Exhaustive Search of Alloy Specification Repairs.
CoRR
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 B conf
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
FASE
Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias
2021 — conf
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).
ICSE (Companion Volume)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
EvoSpex: An Evolutionary Algorithm for Learning Postconditions.
ICSE
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2021 J jnl
EvoSpex: An Evolutionary Algorithm for Learning Postconditions.
CoRR
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
ICSE
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 J jnl
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
CoRR
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 A* conf
FLACK: Localizing Faults in Alloy Models.
ASE
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2019 J jnl
An evolutionary approach to translating operational specifications into declarative specifications.
Sci. Comput. Program.
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2019 B conf
Automatically Identifying Sufficient Object Builders from Module APIs.
FASE
Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias
2019 A* conf
Efficient Test Generation Guided by Field Coverage Criteria.
ASE
Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias
2019 J jnl
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems.
Fundam. Informaticae
Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum
2019 J jnl
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
CoRR
Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias
2019 A* conf
Training binary classifiers as data structure invariants.
ICSE
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2018 A* conf
A genetic algorithm for goal-conflict identification.
ASE
Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
2018 J jnl
Automated workarounds from Java program specifications based on SAT solving.
Int. J. Softw. Tools Technol. Transf.
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2018 — conf
From operational to declarative specifications using a genetic algorithm.
SBST@ICSE
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2018 A* conf
Goal-conflict likelihood assessment based on model counting.
ICSE
Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias
2018 J jnl
Improving lazy abstraction for SCR specifications through constraint relaxation.
Softw. Test. Verification Reliab.
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2018 — conf
On the effect of object redundancy elimination in randomly testing collection classes.
SBST@ICSE
Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, Marcelo F. Frias
2017 — conf
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.
SBST@ICSE
Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2017 B conf
Automated Workarounds from Java Program Specifications Based on SAT Solving.
FASE
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2017 — conf
CLTSA: labelled transition system analyser with counting fluent support.
ESEC/SIGSOFT FSE
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
2017 — conf
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.
ESEC/SIGSOFT FSE
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias
2017 — conf
Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair.
FormaliSE@ICSE
Nazareno Aguirre
2017 J jnl
Simulation relations for fault-tolerance.
Formal Aspects Comput.
Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre
2016 — conf
Algebraic Foundations for Specification Refinements.
SBMF
Pablo F. Castro, Nazareno Aguirre
2016 — conf
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.
SBMF
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2016 — conf
Field-exhaustive testing.
SIGSOFT FSE
Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
2016 A* conf
Goal-conflict detection based on temporal satisfiability checking.
ASE
Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre
2015 J jnl
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.
IEEE Trans. Software Eng.
Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias
2015 J jnl
Categorical foundations for structured specifications in Z.
Formal Aspects Comput.
Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum
2015 — conf
Specifying Event-Based Systems with a Counting Fluent Temporal Logic.
ICSE (1)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
2015 A conf
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.
TACAS
Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre
2014 C conf
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.
ICTAC
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
2014 — conf
An experiment on teaching coordination in a globally distributed software engineering class.
CSEE&T
Martín Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, Anthony Savidis
2014 A* conf
Automated goal operationalisation based on interpolation and SAT solving.
ICSE
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
2014 A conf
Bounded exhaustive test input generation from hybrid invariants.
OOPSLA
Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid
2014 B conf
Efficient Tight Field Bounds Computation Based on Shape Predicates.
FM
Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias
2014 — ed.
Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.
LAFM
Nazareno Aguirre, Leila Ribeiro
2014 J jnl
RepOK-based reduction of bounded exhaustive testing.
Softw. Test. Verification Reliab.
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
2013 C conf
Analyzing formal requirements specifications using an off-the-shelf model checker.
CLEI
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre
2013 — conf
Bounded Lazy Initialization.
NASA Formal Methods
Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
2013 B conf
Characterizing Fault-Tolerant Systems by Means of Simulation Relations.
IFM
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
2013 A conf
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.
ICST
Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani
2013 — conf
Parallel Bounded Verification of Alloy Models by TranScoping.
VSTTE
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias
2013 A* conf
Ranger: Parallel analysis of alloy models by range partitioning.
ASE
Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias
2013 B conf
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.
ATVA
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
2012 — conf
A Categorical Approach to Structuring and Promoting Z Specifications.
FACS
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum
2012 — conf
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization.
SBMF
Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre
2012 — conf
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.
WADT
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
2012 — conf
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.
SBMF
Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum
2012 — conf
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites.
TAP@TOOLS
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
2011 — conf
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.
TAP@TOOLS
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2011 — conf
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs.
TAP@TOOLS
Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti
2011 — conf
Teaching software engineering using globally distributed projects: the DOSE course.
CTGDSD@ICSE
Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni
2011 B conf
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.
SEFM
Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre
2010 C conf
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.
ICTAC
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum
2009 J jnl
An introductory course on programming based on formal specification and program calculation.
ACM SIGCSE Bull.
Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani, Gastón Scilingo
2009 B conf
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.
FASE
Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng
2009 C conf
Specifying and Verifying Business Processes Using PPML.
ICFEM
Germán Regis, Nazareno Aguirre, T. S. E. Maibaum
2008 C conf
Towards Abstraction for DynAlloy Specifications.
ICFEM
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
2007 — conf
Design in CommUnity with Extension Morphisms.
Formal Methods and Hybrid Real-Time Systems
Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre
2007 J jnl
Efficient Analysis of DynAlloy Specifications.
ACM Trans. Softw. Eng. Methodol.
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre
2007 B conf
Verifying Temporal Properties of CommUnity Designs.
IFM
Nazareno Aguirre, Germán Regis, T. S. E. Maibaum
2006 — conf
Extension Morphisms for CommUnity.
Essays Dedicated to Joseph A. Goguen
Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar
2005 A* conf
DynAlloy: upgrading alloy with actions.
ICSE
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre
2005 J jnl
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol.
Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
2005 C conf
Towards Dynamically Communicating Abstract Machines in the B Method.
ICFEM
Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
2004 — —
A logical basis for the specification of reconfigurable component based systems.
Nazareno Aguirre
2004 C conf
An Equational Calculus for Alloy.
ICFEM
Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre
2004 — conf
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems.
FESCA@ETAPS
Nazareno Aguirre, T. S. E. Maibaum
2004 C conf
Implementing Dynamic Aggregations of Abstract Machines in the B Method.
ICFEM
Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
2003 B conf
A Logical Basis for the Specification of Reconfigurable Component-Based Systems.
FASE
Nazareno Aguirre, T. S. E. Maibaum
2003 — conf
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems.
Verification: Theory and Practice
Nazareno Aguirre, T. S. E. Maibaum
2003 — conf
Taking
FME
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
2003 — conf
Towards Dynamic Population Management of Abstract Machines in the B Method.
ZB
Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum
2002 A* conf
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.
ASE
Nazareno Aguirre, T. S. E. Maibaum