Nazareno Aguirre
Orcid: 0000-0003-0532-5296
According to our database1,
Nazareno Aguirre
authored at least 97 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2023
IEEE Trans. Software Eng., November, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023
Proceedings of the Genetic and Evolutionary Computation Conference, 2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
CoRR, 2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
Proceedings of the Fundamental Approaches to Software Engineering, 2021
2019
An evolutionary approach to translating operational specifications into declarative specifications.
Sci. Comput. Program., 2019
Fundam. Informaticae, 2019
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
CoRR, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 41st International Conference on Software Engineering, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
2018
Softw. Test. Verification Reliab., 2018
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
On the effect of object redundancy elimination in randomly testing collection classes.
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017
Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair.
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017
2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
2015
IEEE Trans. Software Eng., 2015
Formal Aspects Comput., 2015
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
Softw. Test. Verification Reliab., 2014
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the FM 2014: Formal Methods, 2014
An experiment on teaching coordination in a globally distributed software engineering class.
Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014
2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Tests and Proofs - 6th International Conference, 2012
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2011
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.
Proceedings of the Tests and Proofs - 5th International Conference, 2011
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs.
Proceedings of the Tests and Proofs - 5th International Conference, 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011
2010
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.
Proceedings of the Theoretical Aspects of Computing, 2010
2009
An introductory course on programming based on formal specification and program calculation.
ACM SIGCSE Bull., 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
Proceedings of the Formal Methods and Software Engineering, 2008
2007
ACM Trans. Softw. Eng. Methodol., 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007
2006
Proceedings of the Algebra, Meaning, and Computation, 2006
2005
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol., 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the Formal Methods and Software Engineering, 2005
2004
PhD thesis, 2004
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems.
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems.
Proceedings of the Verification: Theory and Practice, 2003
2002
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002