Nazareno Aguirre

Dikutip oleh

	Semua	Sejak 2020
Kutipan	1255	501
indeks-h	22	14
indeks-i10	34	16

160

120

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 27 18 25 30 27 32 44 32 49 39 51 64 59 54 70 102 60 68 80 131 143 19

Akses publik

Lihat semua

34 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

German RegisUniversidad Nacional de Río CuartoEmail yang diverifikasi di dc.exa.unrc.edu.ar
Pablo PonzioUniversidad Nacional de Río CuartoEmail yang diverifikasi di dc.exa.unrc.edu.ar
Carlos Gustavo Lopez PomboProfessor, Escuela de Ingeniería, Universidad Nacional de Río NegroEmail yang diverifikasi di dc.uba.ar
Pablo CastroUniversidad Nacional de Rio Cuarto, ArgentinaEmail yang diverifikasi di dc.exa.unrc.edu.ar
Facundo MolinaPostdoctoral Researcher, IMDEA Software InstituteEmail yang diverifikasi di dc.exa.unrc.edu.ar
Juan Pablo GaleottiUniversidad de Buenos AiresEmail yang diverifikasi di dc.uba.ar
Willem VisserComputer Science Division, Stellenbosch UniversityEmail yang diverifikasi di cs.sun.ac.za
Elisabetta Di NittoPolitecnico di MilanoEmail yang diverifikasi di polimi.it
Dalal AlrajehAssociate professor, Department of Computing, Imperial College LondonEmail yang diverifikasi di imperial.ac.uk
Gabriel BaumProfesor de Informática Universidad Nacional de La PlataEmail yang diverifikasi di lifia.info.unlp.edu.ar
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonEmail yang diverifikasi di dc.uba.ar
Mariano PolitanoUniversidad Nacional de Rio CuartoEmail yang diverifikasi di dc.exa.unrc.edu.ar
Martin NordioETH ZurichEmail yang diverifikasi di inf.ethz.ch
Bertrand MeyerProfessor of Software Engineering, Constructor Institute of TechnologyEmail yang diverifikasi di inf.ethz.ch
Jaco GeldenhuysAmazon Web ServicesEmail yang diverifikasi di amazon.com
Ramiro DemasiUniversidad Nacional de CórdobaEmail yang diverifikasi di famaf.unc.edu.ar
Sarfraz KhurshidProfessor, University of Texas at AustinEmail yang diverifikasi di ece.utexas.edu
Carlo GhezziEmeritus Professor, Politecnico di MilanoEmail yang diverifikasi di polimi.it
Nicolas D'IppolitoUniversidad de Buenos AiresEmail yang diverifikasi di dc.uba.ar
BicarreguiScience and Technology Facilities CouncilEmail yang diverifikasi di stfc.ac.uk

Ikuti

Nazareno Aguirre

Universidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas

Email yang diverifikasi di dc.exa.unrc.edu.ar - Beranda

Software Engineering Formal Methods


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
DynAlloy: upgrading alloy with actions MF Frias, JP Galeotti, CG López Pombo, NM Aguirre Proceedings of the 27th international conference on Software engineering …, 2005	159	2005
Teaching software engineering using globally distributed projects: the DOSE course M Nordio, C Ghezzi, B Meyer, E Di Nitto, G Tamburrelli, J Tschannen, ... Proceedings of the 2011 Community Building Workshop on Collaborative …, 2011	61	2011
A temporal logic approach to the specification of reconfigurable component-based systems N Aguirre, T Maibaum Proceedings 17th IEEE International Conference on Automated Software …, 2002	61	2002
BLISS: improved symbolic execution by bounded lazy initialization with SAT support N Rosner, J Geldenhuys, NM Aguirre, W Visser, MF Frias IEEE Transactions on Software Engineering 41 (7), 639-660, 2015	47	2015
Improving test generation under rich contracts by tight bounds and incremental SAT solving P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ... 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013	45	2013
Bounded exhaustive search of alloy specification repairs SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021	40	2021
A logical basis for the specification of reconfigurable component-based systems N Aguirre, T Maibaum International Conference on Fundamental Approaches to Software Engineering …, 2003	37	2003
Reasoning about static and dynamic properties in alloy: A purely relational approach MF Frias, CG López Pombo, GA Baum, NM Aguirre, TSE Maibaum ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (4), 478-526, 2005	33	2005
Evospex: An evolutionary algorithm for learning postconditions F Molina, P Ponzio, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021	32	2021
Efficient analysis of DynAlloy specifications MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 1-34, 2007	31	2007
Fuzzing class specifications F Molina, M d'Amorim, N Aguirre Proceedings of the 44th International Conference on Software Engineering …, 2022	28	2022
Field-exhaustive testing P Ponzio, N Aguirre, MF Frias, W Visser Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	28	2016
Goal-conflict detection based on temporal satisfiability checking R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	28	2016
Bounded lazy initialization J Geldenhuys, N Aguirre, MF Frias, W Visser NASA Formal Methods Symposium, 229-243, 2013	27	2013
An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre Formal Methods and Software Engineering: 6th International Conference on …, 2004	26	2004
A temporal logic approach to component-based system specification and reasoning N Aguirre, T Maibaum Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, 2002	26	2002
A genetic algorithm for goal-conflict identification R Degiovanni, F Molina, G Regis, N Aguirre Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018	24	2018
Automated goal operationalisation based on interpolation and sat solving R Degiovanni, D Alrajeh, N Aguirre, S Uchitel Proceedings of the 36th International Conference on Software Engineering …, 2014	24	2014
Ranger: Parallel analysis of Alloy models by range partitioning N Rosner, JH Siddiqui, N Aguirre, S Khurshid, MF Frias 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	24	2013
Atr: Template-based repair for alloy specifications G Zheng, TV Nguyen, SG Brida, G Regis, N Aguirre, MF Frias, H Bagheri Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022	23	2022

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama