publications

2021

1. BeAFix: An Automated Repair Tool for Faulty Alloy Models

   Brida, Simón Gutiérrez, Regis, Germán, Zheng, Guolong, Bagheri, Hamid, Nguyen, ThanhVu, Aguirre, Nazareno, and Frias, Marcelo F.

   In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021 2021

   Bib PDF

   @inproceedings{GutierrezBrida+ASE2021,
     bibtex_show = {true},
     author = {Brida, Sim{\'{o}}n Guti{\'{e}}rrez and Regis, Germ{\'{a}}n and Zheng, Guolong and Bagheri, Hamid and Nguyen, ThanhVu and Aguirre, Nazareno and Frias, Marcelo F.},
     title = {BeAFix: An Automated Repair Tool for Faulty Alloy Models},
     booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
                    {ASE} 2021, Melbourne, Australia, November 15-19, 2021},
     pages = {1213--1217},
     publisher = {{IEEE}},
     year = {2021},
     url = {https://doi.org/10.1109/ASE51524.2021.9678524},
     doi = {10.1109/ASE51524.2021.9678524},
     pdf = {GutierrezBrida+ASE2021.pdf}
   }

2. FLACK: Localizing Faults in Alloy Models

   Zheng, Guolong, Nguyen, ThanhVu, Brida, Simón Gutiérrez, Regis, Germán, Frias, Marcelo F., Aguirre, Nazareno, and Bagheri, Hamid

   In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021 2021

   Bib PDF

   @inproceedings{Zheng+ASE2021,
     bibtex_show = {true},
     author = {Zheng, Guolong and Nguyen, ThanhVu and Brida, Sim{\'{o}}n Guti{\'{e}}rrez and Regis, Germ{\'{a}}n and Frias, Marcelo F. and Aguirre, Nazareno and Bagheri, Hamid},
     title = {{FLACK:} Localizing Faults in Alloy Models},
     booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
                    {ASE} 2021, Melbourne, Australia, November 15-19, 2021},
     pages = {1218--1222},
     publisher = {{IEEE}},
     year = {2021},
     url = {https://doi.org/10.1109/ASE51524.2021.9678740},
     doi = {10.1109/ASE51524.2021.9678740},
     timestamp = {Mon, 24 Jan 2022 17:59:41 +0100},
     biburl = {https://dblp.org/rec/conf/kbse/ZhengNBRFAB21.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     pdf = {Zheng+ASE2021.pdf}
   }

3. Bounded Exhaustive Search of Alloy Specification Repairs

   Gutiérrez Brida, Simón, Regis, Germán, Zheng, Guolong, Bagheri, Hamid, Nguyen, ThanhVu, Aguirre, Nazareno, and Frias, Marcelo F.

   In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021 2021

   Bib PDF

   @inproceedings{GutierrezBrida+ICSE2021,
     bibtex_show = {true},
     author = {Guti{\'{e}}rrez~Brida, Sim{\'{o}}n and Regis, Germ{\'{a}}n and Zheng, Guolong and Bagheri, Hamid and Nguyen, ThanhVu and Aguirre, Nazareno and Frias, Marcelo F.},
     title = {Bounded Exhaustive Search of Alloy Specification Repairs},
     booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
                    {ICSE} 2021, Madrid, Spain, 22-30 May 2021},
     pages = {1135--1147},
     publisher = {{IEEE}},
     year = {2021},
     url = {https://doi.org/10.1109/ICSE43902.2021.00105},
     doi = {10.1109/ICSE43902.2021.00105},
     pdf = {GutierrezBrida+ICSE2021.pdf}
   }

4. FLACK: Counterexample-Guided Fault Localization for Alloy Models

   Zheng, Guolong, Nguyen, ThanhVu, Brida, Simón Gutiérrez, Regis, Germán, Frias, Marcelo F., Aguirre, Nazareno, and Bagheri, Hamid

   In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021 2021

   Bib PDF

   @inproceedings{Zheng+ICSE2021,
     bibtex_show = {true},
     author = {Zheng, Guolong and Nguyen, ThanhVu and Brida, Sim{\'{o}}n Guti{\'{e}}rrez and Regis, Germ{\'{a}}n and Frias, Marcelo F. and Aguirre, Nazareno and Bagheri, Hamid},
     title = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},
     booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
                    {ICSE} 2021, Madrid, Spain, 22-30 May 2021},
     pages = {637--648},
     publisher = {{IEEE}},
     year = {2021},
     url = {https://doi.org/10.1109/ICSE43902.2021.00065},
     doi = {10.1109/ICSE43902.2021.00065},
     pdf = {Zheng+ICSE2021.pdf}
   }

2019

1. Training binary classifiers as data structure invariants

   Molina, Facundo, Degiovanni, Renzo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, and Frias, Marcelo F.

   In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 2019

   Bib PDF

   @inproceedings{Molina+ICSE2019,
     bibtex_show = {true},
     author = {Molina, Facundo and Degiovanni, Renzo and Ponzio, Pablo and Regis, Germ{\'{a}}n and Aguirre, Nazareno and Frias, Marcelo F.},
     editor = {Atlee, Joanne M. and Bultan, Tevfik and Whittle, Jon},
     title = {Training binary classifiers as data structure invariants},
     booktitle = {Proceedings of the 41st International Conference on Software Engineering,
                    {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
     pages = {759--770},
     publisher = {{{IEEE} / {ACM}}},
     year = {2019},
     url = {https://doi.org/10.1109/ICSE.2019.00084},
     doi = {10.1109/ICSE.2019.00084},
     pdf = {Molina+ICSE2019.pdf}
   }

2. An evolutionary approach to translating operational specifications into declarative specifications

   Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.

   Sci. Comput. Program. 2019

   Bib PDF

   @article{Molina+2019,
     bibtex_show = {true},
     author = {Molina, Facundo and Cornejo, C{\'{e}}sar and Degiovanni, Renzo and Regis, Germ{\'{a}}n and Castro, Pablo F. and Aguirre, Nazareno and Frias, Marcelo F.},
     title = {An evolutionary approach to translating operational specifications
                    into declarative specifications},
     journal = {{Sci. Comput. Program.}},
     volume = {181},
     pages = {47--63},
     year = {2019},
     url = {https://doi.org/10.1016/j.scico.2019.05.006},
     doi = {10.1016/j.scico.2019.05.006},
     pdf = {Molina+2019.pdf}
   }

2018

1. Automated workarounds from Java program specifications based on SAT solving

   Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, and Frias, Marcelo F.

   Int. J. Softw. Tools Technol. Transf. 2018

   Bib PDF

   @article{Uva+2018,
     bibtex_show = {true},
     author = {Uva, Marcelo and Ponzio, Pablo and Regis, Germ{\'{a}}n and Aguirre, Nazareno and Frias, Marcelo F.},
     title = {Automated workarounds from Java program specifications based on {SAT} solving},
     journal = {{Int. J. Softw. Tools Technol. Transf.}},
     volume = {20},
     number = {6},
     pages = {665--688},
     year = {2018},
     url = {https://doi.org/10.1007/s10009-018-0503-8},
     doi = {10.1007/s10009-018-0503-8},
     pdf = {Uva+2018.pdf}
   }

2. From operational to declarative specifications using a genetic algorithm

   Molina, Facundo, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.

   In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018 2018

   Bib PDF

   @inproceedings{Molina+SBST2018,
     bibtex_show = {true},
     author = {Molina, Facundo and Degiovanni, Renzo and Regis, Germ{\'{a}}n and Castro, Pablo F. and Aguirre, Nazareno and Frias, Marcelo F.},
     editor = {Galeotti, Juan Pablo and Gorla, Alessandra},
     title = {From operational to declarative specifications using a genetic algorithm},
     booktitle = {Proceedings of the 11th International Workshop on Search-Based Software
                    Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},
     pages = {39--42},
     publisher = {{ACM}},
     year = {2018},
     url = {https://doi.org/10.1145/3194718.3194725},
     doi = {10.1145/3194718.3194725},
     pdf = {Molina+SBST2018.pdf}
   }

3. A genetic algorithm for goal-conflict identification

   Degiovanni, Renzo, Molina, Facundo, Regis, Germán, and Aguirre, Nazareno

   In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 2018

   Bib PDF

   @inproceedings{Degiovanni+ASE2018,
     bibtex_show = {true},
     author = {Degiovanni, Renzo and Molina, Facundo and Regis, Germ{\'{a}}n and Aguirre, Nazareno},
     editor = {Huchard, Marianne and K{\"{a}}stner, Christian and Fraser, Gordon},
     title = {A genetic algorithm for goal-conflict identification},
     booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
                    Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
                    2018},
     pages = {520--531},
     publisher = {{ACM}},
     year = {2018},
     url = {https://doi.org/10.1145/3238147.3238220},
     doi = {10.1145/3238147.3238220},
     pdf = {Degiovanni+ASE2018.pdf}
   }

2017

1. Automated Workarounds from Java Program Specifications Based on SAT Solving

   Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, and Frias, Marcelo F.

   In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 2017

   Bib PDF

   @inproceedings{Uva+FASE2017,
     bibtex_show = {true},
     author = {Uva, Marcelo and Ponzio, Pablo and Regis, Germ{\'{a}}n and Aguirre, Nazareno and Frias, Marcelo F.},
     editor = {Huisman, Marieke and Rubin, Julia},
     title = {Automated Workarounds from Java Program Specifications Based on {SAT} Solving},
     booktitle = {Fundamental Approaches to Software Engineering - 20th International
                    Conference, {FASE} 2017, Held as Part of the European Joint Conferences
                    on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
                    April 22-29, 2017, Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {10202},
     pages = {356--373},
     publisher = {Springer},
     year = {2017},
     url = {https://doi.org/10.1007/978-3-662-54494-5\_20},
     doi = {10.1007/978-3-662-54494-5\_20},
     pdf = {Uva+FASE2017.pdf}
   }

2. An Analysis of the Suitability of Test-Based Patch Acceptance Criteria

   Zemı́n, Luciano, Brida, Simón Gutiérrez, Godio, Ariel, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Aguirre, Nazareno, and Frias, Marcelo F.

   In 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017 2017

   Bib PDF

   @inproceedings{Zemin+2017,
     bibtex_show = {true},
     author = {Zem{\'{\i}}n, Luciano and Brida, Sim{\'{o}}n Guti{\'{e}}rrez and Godio, Ariel and Cornejo, C{\'{e}}sar and Degiovanni, Renzo and Regis, Germ{\'{a}}n and Aguirre, Nazareno and Frias, Marcelo F.},
     title = {An Analysis of the Suitability of Test-Based Patch Acceptance Criteria},
     booktitle = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,
                    SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},
     pages = {14--20},
     publisher = {{IEEE}},
     year = {2017},
     url = {https://doi.org/10.1109/SBST.2017.12},
     doi = {10.1109/SBST.2017.12},
     pdf = {Zemin+2017.pdf}
   }

3. DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour

   Regis, Germán, Cornejo, César, Brida, Simón Gutiérrez, Politano, Mariano, Raverta, Fernando D., Ponzio, Pablo, Aguirre, Nazareno, Galeotti, Juan Pablo, and Frias, Marcelo F.

   In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017

   Bib PDF

   @inproceedings{Regis+FSE2017,
     bibtex_show = {true},
     author = {Regis, Germ{\'{a}}n and Cornejo, C{\'{e}}sar and Brida, Sim{\'{o}}n Guti{\'{e}}rrez and Politano, Mariano and Raverta, Fernando D. and Ponzio, Pablo and Aguirre, Nazareno and Galeotti, Juan Pablo and Frias, Marcelo F.},
     editor = {Bodden, Eric and Sch{\"{a}}fer, Wilhelm and van Deursen, Arie and Zisman, Andrea},
     title = {DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour},
     booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
                    Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
     pages = {969--973},
     publisher = {{ACM}},
     year = {2017},
     url = {https://doi.org/10.1145/3106237.3122826},
     doi = {10.1145/3106237.3122826},
     pdf = {Regis+FSE2017.pdf}
   }

4. CLTSA: labelled transition system analyser with counting fluent support

   Regis, Germán, Degiovanni, Renzo, D’Ippolito, Nicolás, and Aguirre, Nazareno

   In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017

   Bib PDF

   @inproceedings{Regis+FSE2017_2,
     bibtex_show = {true},
     author = {Regis, Germ{\'{a}}n and Degiovanni, Renzo and D'Ippolito, Nicol{\'{a}}s and Aguirre, Nazareno},
     editor = {Bodden, Eric and Sch{\"{a}}fer, Wilhelm and van Deursen, Arie and Zisman, Andrea},
     title = {{CLTSA:} labelled transition system analyser with counting fluent support},
     booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
                    Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
     pages = {979--983},
     publisher = {{ACM}},
     year = {2017},
     url = {https://doi.org/10.1145/3106237.3122828},
     doi = {10.1145/3106237.3122828},
     pdf = {Regis+FSE2017_2.pdf}
   }

2016

1. An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

   Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.

   In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings 2016

   Bib PDF

   @inproceedings{Molina+SBMF2016,
     bibtex_show = {true},
     author = {Molina, Facundo and Cornejo, C{\'{e}}sar and Degiovanni, Renzo and Regis, Germ{\'{a}}n and Castro, Pablo F. and Aguirre, Nazareno and Frias, Marcelo F.},
     editor = {Ribeiro, Leila and Lecomte, Thierry},
     title = {An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications},
     booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
                    {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {10090},
     pages = {145--160},
     year = {2016},
     url = {https://doi.org/10.1007/978-3-319-49815-7\_9},
     doi = {10.1007/978-3-319-49815-7\_9},
     pdf = {Molina+SBMF2016.pdf}
   }

2015

1. Specifying Event-Based Systems with a Counting Fluent Temporal Logic

   Regis, Germán, Degiovanni, Renzo, D’Ippolito, Nicolás, and Aguirre, Nazareno

   In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1 2015

   Bib PDF

   @inproceedings{Regis+ICSE2015,
     bibtex_show = {true},
     author = {Regis, Germ{\'{a}}n and Degiovanni, Renzo and D'Ippolito, Nicol{\'{a}}s and Aguirre, Nazareno},
     editor = {Bertolino, Antonia and Canfora, Gerardo and Elbaum, Sebastian G.},
     title = {Specifying Event-Based Systems with a Counting Fluent Temporal Logic},
     booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
                    {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
     pages = {733--743},
     publisher = {{IEEE} Computer Society},
     year = {2015},
     url = {https://doi.org/10.1109/ICSE.2015.86},
     doi = {10.1109/ICSE.2015.86},
     pdf = {Regis+ICSE2015.pdf}
   }

2013

1. Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties

   Regis, Germán, Villar, Fernando, and Ricci, Nicolás

   In Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013 2013

   Bib PDF

   @inproceedings{Regis+LAFM2013,
     bibtex_show = {true},
     author = {Regis, Germ{\'{a}}n and Villar, Fernando and Ricci, Nicol{\'{a}}s},
     editor = {Aguirre, Nazareno and Ribeiro, Leila},
     title = {Fluent Logic Workflow Analyser: {A} Tool for The Verification of Workflow Properties},
     booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
                    2013, Buenos Aires, Argentina, August 26th 2013},
     series = {{EPTCS}},
     volume = {139},
     pages = {46--51},
     year = {2013},
     url = {https://doi.org/10.4204/EPTCS.139.4},
     doi = {10.4204/EPTCS.139.4},
     pdf = {Regis+LAFM2013.pdf}
   }

2012

1. Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows

   Regis, Germán, Ricci, Nicolás, Aguirre, Nazareno, and Maibaum, T. S. E.

   In Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings 2012

   Bib PDF

   @inproceedings{Regis+SBMF2012,
     bibtex_show = {true},
     author = {Regis, Germ{\'{a}}n and Ricci, Nicol{\'{a}}s and Aguirre, Nazareno and Maibaum, T. S. E.},
     editor = {Gheyi, Rohit and Naumann, David A.},
     title = {Specifying and Verifying Declarative Fluent Temporal Logic Properties
                    of Workflows},
     booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
                    {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {7498},
     pages = {147--162},
     publisher = {Springer},
     year = {2012},
     url = {https://doi.org/10.1007/978-3-642-33296-8\_12},
     doi = {10.1007/978-3-642-33296-8\_12},
     pdf = {Regis+SBMF2012.pdf}
   }

2009

1. Specifying and Verifying Business Processes Using PPML

   Regis, Germán, Aguirre, Nazareno, and Maibaum, T. S. E.

   In Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings 2009

   Bib PDF

   @inproceedings{Regis+ICFEM2009,
     bibtex_show = {true},
     author = {Regis, Germ{\'{a}}n and Aguirre, Nazareno and Maibaum, T. S. E.},
     editor = {Breitman, Karin K. and Cavalcanti, Ana},
     title = {Specifying and Verifying Business Processes Using {PPML}},
     booktitle = {Formal Methods and Software Engineering, 11th International Conference
                    on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
                    December 9-12, 2009. Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {5885},
     pages = {737--756},
     publisher = {Springer},
     year = {2009},
     url = {https://doi.org/10.1007/978-3-642-10373-5\_38},
     doi = {10.1007/978-3-642-10373-5\_38},
     pdf = {Regis+ICFEM2009.pdf}
   }

2008

1. Towards Abstraction for DynAlloy Specifications

   Aguirre, Nazareno, Frias, Marcelo F., Ponzio, Pablo, Cardiff, Brian J., Galeotti, Juan P., and Regis, Germán

   In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings 2008

   Bib PDF

   @inproceedings{Aguirre+ICFEM2008,
     bibtex_show = {true},
     author = {Aguirre, Nazareno and Frias, Marcelo F. and Ponzio, Pablo and Cardiff, Brian J. and Galeotti, Juan P. and Regis, Germ{\'{a}}n},
     editor = {Liu, Shaoying and Maibaum, T. S. E. and Araki, Keijiro},
     title = {Towards Abstraction for DynAlloy Specifications},
     booktitle = {Formal Methods and Software Engineering, 10th International Conference
                    on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
                    October 27-31, 2008. Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {5256},
     pages = {207--225},
     publisher = {Springer},
     year = {2008},
     url = {https://doi.org/10.1007/978-3-540-88194-0\_14},
     doi = {10.1007/978-3-540-88194-0\_14},
     pdf = {Aguirre+ICFEM2008.pdf}
   }

2007

1. Verifying Temporal Properties of CommUnity Designs

   Aguirre, Nazareno, Regis, Germán, and Maibaum, T. S. E.

   In Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007

   Bib PDF

   @inproceedings{Aguirre+IFM2007,
     bibtex_show = {true},
     author = {Aguirre, Nazareno and Regis, Germ{\'{a}}n and Maibaum, T. S. E.},
     editor = {Davies, Jim and Gibbons, Jeremy},
     title = {Verifying Temporal Properties of CommUnity Designs},
     booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                    Oxford, UK, July 2-5, 2007, Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {4591},
     pages = {1--20},
     publisher = {Springer},
     year = {2007},
     url = {https://doi.org/10.1007/978-3-540-73210-5\_1},
     doi = {10.1007/978-3-540-73210-5\_1},
     pdf = {Aguirre+IFM2007.pdf}
   }