Scientific Activities
Classified by:
Projects
Steering Committees
Editorial Board
Program Committees
Organization
Research Visits
Invited talks
PhD students
Master Thesis
PhD Committees
Research Projects
Steering Committees
Editorial Board
Program Committees
2024
-
PC member -
19th International Conference on Availability, Reliability and Security (ARES 2024),
July 30 - August 2, 2024 - Vienna, Austria
-
PC member -
The 24th International Conference on Formal Engineering Methods (ICFEM 2024),
2-6 December 2024 - Hiroshima, Japan
-
PC co-chair -
UNIF 2024: The 38th International Workshop on Unification,
July 2, 2024. Nancy, France.
-
PC member -
The 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024).
Auckland, New Zealand, May 6-10, 2024.
-
PC member -
The 14th ACM Conference on Data and Application Security and Privacy (CODASPY 2024).
June 19-21, 2024. Porto, Portugal.
-
PC member -
15th International Workshop on Rewriting Logic and its Applications
(WRLA 2024),
on Luxembourg, April 6-7, 2024,
as part of
ETAPS 2024.
2023
-
PC member -
International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023).
November 21, 2023, Brisbane, Australia.
A satellite workshop of
ICFEM 2023.
-
PC chair -
The 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023).,
October 22-23, 2023. Lisbon, Portugal
-
PC member -
The 24th International Conference on Formal Engineering Methods (ICFEM 2023),
22 - 24 November 2023 - Brisbane, Australia
-
PC member -
The 37th International Workshop on Unification (UNIF 2023),
July 2, 2023 - Rome, Italy
associated with
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023).
-
PC member -
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Rome (Italy), July, 2023.
-
PC member -
XXII Jornadas sobre Programación y Lenguajes (PROLE 2023), Septiembre de 2023.
-
PC member -
The 13th ACM Conference on Data and Application Security and Privacy (CODASPY 2023).
Charlotte, NC, April 24-26, 2023.
2022
-
PC member -
International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2022).
October 24, 2022, Madrid, Spain.
A satellite workshop of
ICFEM 2022.
-
PC member -
The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
COMPUTATION TOOLS 2022.
April 24, 2022 to April 28, 2022 - Barcelona, Spain.
-
PC member -
The 36th International Workshop on Unification (UNIF 2022),
August 12th, Haifa, Israel
associated with
IJCAR 2022
as part of the
Federated Logic Conference 2022.
-
PC member -
XXI Jornadas sobre Programación y Lenguajes
(PROLE 2022), 7-9 de septiembre de 2022. Santiago de Compostela, Spain.
-
PC member -
The 12th ACM Conference on Data and Application Security and Privacy (CODASPY 2022).
Baltimore-Washington DC area (USA), April 24-26, 2022 .
-
PC member -
14th International Workshop on Rewriting Logic and its Applications
(WRLA 2022),
on April 2-3, 2022 in Munich (Germany),
as part of
ETAPS 2022.
2021
-
PC member -
Formal Structures for Computation
and Deduction (FSCD 2021), Buenos Aires, Argentica, July 19-25, 2021.
-
PC member -
The 35th International Workshop on Unification (UNIF 2021),
18th of July 2021, Buenos Aires, Argentina
as part of
FSCD 2021.
-
PC member -
XX Jornadas sobre Programación y Lenguajes
(PROLE 2021), 22-24 septiembre, 2021. Málaga, Spain.
2020
-
PC member -
XIX Jornadas sobre Programación y Lenguajes
(PROLE 2020), 23-25 septiembre, 2020. Málaga, Spain.
-
PC member -
The 34th International Workshop on Unification (UNIF 2020),
Paris (France), June 29, 2020,
as part of
IJCAR 2020.
-
Co-chair -
13th International Workshop on Rewriting Logic and its Applications
(WRLA 2020),
on April 25-26, 2020 in Dublin (Ireland),
as part of
ETAPS 2020.
2019
-
PC member -
29th International Symposium on Logic-Based Program Synthesis
and Transformation (LOPSTR 2019),
on October 8-10, 2019 in Porto (Portugal),
as part of
3rd World Congress on Formal Methods.
-
PC member -
Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2019),
Dortmund (Germany), June 24, 2019,
as part of
FSCD 2019.
-
PC member -
The 33th International Workshop on Unification (UNIF 2019),
Dortmund (Germany), June 24, 2019,
as part of
FSCD 2019.
-
PC member -
XIX Jornadas sobre Programación y Lenguajes
(PROLE 2019), Cáceres, Spain.
2017
-
PC member -
4th International Workshop on
Rewriting Techniques for
Program Transformations and Evaluation (WPTE 2017),
Oxford, UK, 8th September 2017
as part of
FSCD 2017.
-
PC member -
The 31th International Workshop on Unification (UNIF 2017),
Oxford, UK, 3rd September 2017,
as part of
FSCD 2017.
-
PC member -
12th Workshop on Logical and
Semantic Frameworks with Applications (LSFA 2017),
September 25-29 in Brasília, Brazil.
-
PC member -
19th International Symposium on Principles and Practice of Declarative
Programming (PPDP 2017), October 9-11, Namur, Belgium.
-
PC member -
XVII Jornadas sobre Programación y Lenguajes
(PROLE'2017), July 19-21, Tenerife, Spain.
2016
-
PC member -
The 30th International Workshop on Unification (UNIF 2016),
Porto, Portugal, June 26, 2016,
as part of
FSCD 2016.
-
PC member -
3rd International Workshop on
Rewriting Techniques for
Program Transformations and Evaluation (WPTE 2016),
Porto, Portugal, June 26, 2016,
as part of
FSCD 2016.
-
PC member -
11th International Workshop on Rewriting Logic and its Applications
(WRLA 2016), Eindhoven, The Netherlands, Saturday April 2 and Sunday April 3, 2016.
2015
-
PC member -
XV Jornadas sobre Programación y Lenguajes
(PROLE'2015), Santander, España.
-
Co-chair -
The International Workshop on Unification (UNIF 2015),
Warsaw, Poland, June 28, 2015,
as part of
RDP 2015.
-
Co-chair -
Second International Workshop on
Rewriting Techniques for
Program Transformations and Evaluation (WPTE),
Warsaw, Poland, July 2nd, 2015,
as part of
RDP 2015.
-
PC member -
Third International Workshop on
Verification and Program Transformation (VPT 2015), London, April
11th, 2015.
2014
-
Chair -
XIV Jornadas sobre Programación y Lenguajes
(PROLE'2014), Cádiz, España.
-
PC member -
The 28th International Workshop on Unification,
July 13, 2014 in Vienna, Austria
-
PC member -
First International Workshop on
Rewriting Techniques for
Program Transformations and Evaluation (WPTE),
Vienna, Austria, July 13, 2014.
-
PC member -
Joint 25th
International Conference on Rewriting Techniques and Applications
(RTA)
and
12th Typed Lambda Calculi and Applications (TLCA),
Vienna, Austria, July 14-17, 2014.
-
Chair -
10th Int'l Workshop on
Rewriting Logic and its Applications (WRLA 2014), Grenoble, France.
2012
-
PC member -
1st International Workshop on Formal Techniques for Safety-Critical
Systems
(FTSCS 2012), November 12, 2012, Kyoto, Japan.
-
Co-chair -
The International Workshop on Unification (UNIF 2012), Manchester, UK.
-
PC member -
9th Int'l Workshop on
Rewriting Logic and its Applications (WRLA 2012), March
24th-25th, 2012, Tallinn, Estonia
-
PC member -
8th Int'l Workshop on Automated Specification and Verification of Web Systems
(WWV 2012)
in Stockholm, Sweden, June 16, 2012.
2011
-
PC member -
2nd International Workshop on the K Framework and its Applications
(K 2011)
August 8-12, 2011, Cheile Gradistei, Romania.
-
Chair -
10th Int'l Workshop
on Reduction Strategies in Rewriting and Programming (WRS 2011)
at Novi Sad, Serbia.
-
PC member -
7th Int'l Workshop on Automated Specification and Verification of Web Systems
(WWV 2011)
in Reykjavik, Iceland, June 9, 2011.
-
PC member -
20th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2011),
Odense, Denmark, July 19, 2011.
Co-located with PPDP 2011
and LOPSTR 2011.
2010
-
PC member -
X Jornadas sobre Programación y Lenguajes (PROLE 2010)
at Valencia, Spain
PC member -
6th Int'l Workshop on Automated Specification and Verification of Web Systems
(WWV 2010)
in Vienna, Austria, 2010
PC member -
20th International Symposium on Logic-Based Program Synthesis
and Transformation (LOPSTR 2010), Hagenberg, Austria, July 23-25
PC member -
19th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2010),
Madrid, Spain, January 17
co-located POPL 2010
PC member -
21th Int'l Conference on Rewriting Techniques and Applications (RTA 2010)
Edinburgh, 11-13 July
PC member -
8th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2010), Paphos, Cyprus, March 20-21
PC member -
5th Int'l Workshop on Security and Rewriting Techniques (SecReT'10) at Valencia, Spain, June 2010
2009
PC member -
The International Workshop on Unification (UNIF 2009), Montreal, Canada.
PC member -
4th Int'l Workshop on Security and Rewriting Techniques (SecReT'09) at Port Jefferson, New York, USA, co-located CSF-22
PC member -
IX Jornadas sobre Programación y Lenguajes (PROLE 2009)
at San Sebastián, Spain
PC member -
14th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009)
at Eindhoven (NL), November 2-3, 2009 (colocated with FM 2009)
Chair -
18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009)
at Brasilia, Brasil, 2009.
PC member -
5th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'09)
at Hagenberg, Austria, July 10, 2009
PC member -
9th Int'l Workshop
on Reduction Strategies in Rewriting and Programming (WRS 2009)
at Brasilia, Brasil, 2009.
PC member -
20th Int'l Conference on Rewriting Techniques and Applications (RTA 2009)
at Brasilia, Brasil, 2009.
2008
Co-chair -
4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
at Siena, Italy, July 4, 2008
Co-chair -
3rd Int'l Workshop on Security and Rewriting Techniques (SecReT'08) at CMU, Pittsburgh (USA), (co-located with LICS'08 and CSF'08), June 22, 2008
2007
Co-chair -
3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
at San Servolo island, Venice, (Italy), December 14, 2007
PC Member - 16th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'07)
at Paris (France),
25 June, 2007
2006
PC Member - 2nd Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06)
at Paphos (Cyprus),
15-19 November, 2006
PC Member - 15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06)
at Madrid (Spain),
16-17 November, 2006
PC Member -
2nd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'06)
at Cyprus
15-19 November, 2006
PC Member -
6th Int'l Workshop on
Reduction Strategies in Rewriting and Programming (WRS'06) at Seattle (USA),
August 11, 2006
2005
PC Member -
1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)
at Valencia (Spain),
March 2005
Organization
-
Workshop Chair of
5th Int'l Workshop on Security and Rewriting Techniques (SecReT'10) at Valencia, Spain, June 2010
-
Workshop Chair of
2nd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'06) at Cyprus,
November 2006
-
Workshop Chair of
2nd Annual Conference of the ICT for EU-India Cross Cultural Dissemination Project (EU-INDIA'05) at Valencia (Spain),
November 2005
-
Workshop Chair of
1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) at Valencia (Spain),
March 2005
-
Organizing Committee Member of the
12th Int'l Workshop on Functional and (Constraint) Logic Programming, WFLP'03,
Valencia (Spain),
12-13 June 2003
-
Organizing Committee Member of the
Federated Conference on Rewriting, Deduction and Programming, RDP'03,
Valencia (Spain),
8-14 June 2003
-
Organizing Committee Member of the 10th
Int'l Workshop on Functional Logic Programming, WFLP'00
July 2000
Research Visits
-
June-July 2014.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
June-July 2013.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
June-August 2012.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
June-August 2011.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
July-September 2010.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
October 2009.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
April-August 2009.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
August-September 2008.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
June 2008.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
September 2007.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
April-September 2007.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
April-August 2006.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
August 2006.
Mark Oliver-Stehr,
Stanford Research Institute.
-
March 2006.
David Basin,
Department of Computer Science
of
ETH Zurich,
Zurich, Switzerland.
-
March 2006.
Hubert Comon,
Laboratoire Spécification et Vérification
of
École Normale Supérieure de Cachan,
Cachan, France.
-
November 2005.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
October 2005.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
July 2005.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
April-August 2005.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
February 2005.
B.G. Sidharth,
Birla Science Center ,
Hyderabad, India.
-
March-August 2004.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
February 2004.
Bernhard Gramlich,
Institut für Computersprachen
of
Technische Universität Wien,
Viena, Austria.
-
October 2003.
Francisco Durán,
Dpto. Lenguajes y Ciencias de la Computación
of
Universidad de Málaga,
Málaga, Spain.
-
July 2003.
Michael Hanus,
Institute of Computer Science and Applied Mathematics
of
Christian-Albrechts-Universität zu Kiel,
Germany.
-
July 2002.
Moreno Falaschi,
Dipartimento di Matematica e Informatica
of
Università di Udine,
Udine, Italy.
-
June 2002
Bernhard Gramlich,
Institut für Computersprachen
of
Technische Universität Wien,
Wien, Austria.
-
October 2001 - January 2002.
Rachid Echahed,
Laboratoire Leibniz
of
Institut IMAG,
Grenoble, France.
-
April-August 2000.
Michael Hanus,
Institute of Computer Science and Applied Mathematics
of
Christian-Albrechts-Universität zu Kiel,
Kiel, Germany.
-
September 1999.
Michael Hanus,
Lehrstuhl für Informatik II
of
RWTH,
Aachen, Germany.
Invited talks
-
November 2022.
Formal Methods for Cryptographic Protocol Analysis,
Master's Degree in Software Engineering and Artificial Intelligenc,
November 9, 2022, Málaga, Spain.
-
October 2022.
Equational Unification and Narrowing in Maude,
The International Conference on Formal Engineering Methods (ICFEM 2022),
October 24-27, 2022, Madrid, Spain.
-
September 2022.
Term Rewriting and Cryptographic Protocol Analysis: the Maude-NPA tool,
13th International School on Rewriting,
Tbilisi, Georgia, September 19-24, 2022.
-
July 2022.
Graduate Summer School on Maude and its Uses.
Department of Informatics, King's College London.
25-26 July 2022 ONLINE.
-
April 2022.
Equational Unification and Narrowing in Maude,
14th International Workshop on Rewriting Logic and its Applications (WRLA 2022),
Munich, Germany, April 2-3, 2022.
-
July 2021.
Unification and Narrowing in Maude 3.1,
12th International School on Rewriting,
July 5-16, 2021.
Madrid, Spain (online).
-
February 2019.
The Maude-NPA crypto analysis tool,
Runtime Verification Inc.,
Urbana, IL, USA, February 28, 2019.
-
February 2019.
Program Verification in Maude,
Winter School on Theoretical Foundations of Computer Science,
Tbilisi, Georgia, February 4-9, 2019.
-
December 2018.
Análisis de protocolos criptográficos,
Jornadas sobre Tecnologías Habilitadoras en la Comunidad
Valenciana (TECH4CV).
19 December 2018, Valencia, Spain.
-
December 2018.
Análisis de protocolos de seguridad criptográficos utilizando métodos y herramientas simbólicas,
XII Jornadas CCN-CERT: CiberSeguridad, hacia una respuesta y
disuasión efectiva.
12-13 December 2018, Madrid, Spain.
-
August 2018.
Narrowing-based Analysis,
10th International School on Rewriting,
July 30th - August 3rd, 2018.
Cali, Colombia.
-
June 2018.
Verification of cryptographic protocols using Maude-NPA,
Facultad de Informática, Universidad del País Vasco,
Spain.
-
April 2018.
Unification and Narrowing in Maude,
12th International Workshop on Rewriting Logic and its Applications
(WRLA 2018), as part of
European Joint Conferences on
Theory and Practice of Software (ETAPS),
14-20 April 2018, Thessaloniki, Greece.
-
February 2018.
Problemas del manejo de reglas, ecuaciones y axiomas en Maude,
Facultad de Informática, Universidad Complutense de Madrid,
Spain.
-
Julio 2017.
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7,
XVII Jornadas sobre Programación y Lenguajes (PROLE 2017),
La Laguna, del 19 al 21 de julio de 2017
-
February 2017.
Associative unification and variant unification in Maude 2.7.1,
Department of Computer Science, University of Illinois at
Urbana-Champaign,
USA.
-
November 2016.
Term Partial Evaluation of Order-sorted Equational Programs modulo Axioms,
Facultad de Informática, Universidad Complutense de Madrid,
Spain.
-
September 2016.
Term Partial Evaluation of Order-sorted Equational Programs modulo Axioms,
Department of Computer Science, University of Illinois at
Urbana-Champaign,
USA.
-
March 2016.
Term Rewriting applied to Cryptographic Protocol Analysis: the Maude-NPA tool,
Facultad de Informática, Universidad Complutense de Madrid,
Spain.
-
August 2015.
Term Rewriting applied to Cryptographic Protocol Analysis: the Maude-NPA tool,
8th International School on Rewriting
August 10-14, Leipzig, Germany.
-
April 2014.
The Maude-NPA Cryptographic Protocol Analysis Tool,
Advanced Industrial Science and Technology (AIST),
Japan.
-
April 2014.
Functional Logic Programming in Maude,
Specification, Algebra, and Software
A Festschrift Symposium in Honor of Kokichi Futatsugi
(SAS 2014),
Japan.
-
February 2014.
Functional Logic Programming in Maude,
Facultad de Informática, Universidad Complutense de Madrid,
Spain.
-
July 2013.
Unification and Narrowing in Security Applications,
Summer
School on Formal Methods for the Science of Security,
July 22-26, 2013, Urbana, IL, USA.
-
June 2013.
Unification and Anti-unification modulo Equational Theories,
In proceedings of
The 27th International Workshop on Unification,
June 27, 2013, Eindhoven, The Netherlands.
-
February 2013.
Advances in Narrowing in Rewriting Logic and Applications,
Department of Computer Science, University of Illinois at
Urbana-Champaign,
USA.
-
January 2013.
Advances in Narrowing in Rewriting Logic and Applications,
Facultad de Informática, Universidad Complutense de Madrid,
Spain.
-
July 2012.
Certification of Non-interference and Erasure in Rewriting Logic,
University of Trier, Germany.
-
July 2012.
A Rewriting-Based Specification and Programming Language: Maude,
6th International School on Rewriting
July 16th - 20th, 2012. Valencia, Spain.
-
July 2012.
Natural Narrowing for General Term Rewriting Systems,
Department of Computer Science, University of Illinois at
Urbana-Champaign,
USA.
-
March 2012.
Narrowing in Rewriting Logic and Applications,
In proceedings of
9th International Workshop on
Rewriting Logic and its Applications, WRLA'2012,
as part of
European Joint Conferences on
Theory and Practice of Software (ETAPS),
March 24th-25th, 2012, Tallinn, Estonia.
-
February 2012.
Narrowing in Rewriting Logic and Applications,
Albany ACM Student Chapter,
Department of Computer Science, University
at Albany,
USA.
-
August 2011.
The Maude-NRL Protocol Analyzer,
Dagstuhl Seminar: Security and
Rewriting, 15 - 18 August 2011.
-
August 2011.
Certification of Non-interference and Erasure in Rewriting Logic,
Dagstuhl Seminar: Security and
Rewriting, 15 - 18 August 2011.
-
July 2011.
Specifying, programming, and verifying in Maude: Practical Aspects,
International School on Formal Methods in Language Design,
July 11th - 15th, 2011. Wuxi, Shanghai, China.
-
June 2011.
Certification of Non-interference and Erasure in Rewriting Logic,
Facultad de Informática, Universidad Complutense de Madrid,
Spain.
-
June 2011.
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis,
Protocol eXchange Seminar.
-
May 2011.
Narrowing in Rewriting Logic and Applications,
Formal Mthods Seminar,
National Institute of Aerospace,
Hampton, VA,
USA.
-
March 2011.
Narrowing in Rewriting Logic and Applications,
Departamento de Lenguajes y Ciencias de la Computación,
Universidad de Málaga,
Spain.
-
January 2010.
Progress Report on the Maude-NPA ,
Protocol eXchange Seminar.
-
November 2009.
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties,
Departamento de Lenguajes y Ciencias de la Computación,
Universidad de Málaga, Spain
-
November 2009.
Unification and Narrowing in Maude,
Department of Computer Science,
University of Leicester, UK
-
November 2009.
Verification and Certification using rewriting logic,
Formal Methods for Components and Objects
(FMCO'09), Eindhoven, Netherlands
-
October 2009.
Homomorphic Encryption in Maude-NPA,
Protocol eXchange Seminar.
-
February 2009.
Verification and Certification using rewriting logic,
ifm Workshop on Formal Methods and SOA (FMSOA'09), Düsseldorf, Alemania.
-
January 2009.
Variant Narrowing and Equational Unification,
Protocol eXchange Seminar.
-
October 2007.
Applications of Narrowing and Rewriting Logic,
Facultad de Informática, Universidad Complutense de Madrid.
-
September 2007.
Applications of Narrowing and Rewriting Logic,
Department of Computer Science, University of Illinois at Urbana-Champaign.
-
September 2007.
Symbolic Model Checking of Infinite-State Systems Using Narrowing,
Department of Computer Science, University of Illinois at Urbana-Champaign.
-
May 2007.
Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer,
Protocol eXchange Seminar.
-
August 2006.
A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties,
Stanford Research Institute, Menlo Park, CA,
-
May 2006.
A Rewriting-Based Inference System for the NRL Protocol Analyzer,
22th
Conference on the Mathematical Foundations of Programming Semantics (MFPS XXII),
Genova, Italy, May 24-27, 2006
-
March 2006.
A Rewriting-Based Inference System for the NRL Protocol Analyzer,
ETH Zurich,
-
March 2006.
A Rewriting-Based Inference System for the NRL Protocol Analyzer,
Laboratoire Spécification et Vérification.
-
October 2005.
A Rewriting-Based Inference System for the NRL Protocol Analyzer,
University of Illinois at Urbana-Champaign.
-
June 2005.
Current Work on the NRL Protocol Tool,
Protocol eXchange Seminar.
-
May 2005.
Abstract Diagnosis of Functional Programs,
University of Illinois at Urbana-Champaign.
-
April 2005.
Natural Narrowing for General Term Rewriting Systems,
University of Illinois at Urbana-Champaign.
-
September 2004.
Natural rewriting and narrowing for general term rewriting systems,
2nd Workshop on Coq and Rewriting.
-
July 2003.
Abstract Diagnosis of Functional Programs,
Institute of Computer Science and Applied Mathematics.
-
June 2002.
Redundancy of Arguments Reduced to Induction,
Institut für Computersprachen.
-
October 2001.
Redundant Analyses in Term Rewriting,
Laboratoire Leibniz.
PhD students
Former PhD students
Bachelor/Master Thesis
PhD Committees
-
Antonio Manuel Larriba Flor.
September 2023.
Title: Distributed Cryptographic Protocols.
Supervisors:
Damián López Rodríguez and José María Sempere Luna (Universitat Politècnica de València)
-
Alex Abuin Yepes.
March 2023.
Title: Certificates for Decision Problems in Temporal Logic using Context-Based Tableaux and Sequent Calculi.
Supervisors:
Montserrat Hermo Huguet (UPV/EHU) and Jorge Parra Molina (Ikerlan)
-
Daniel Andrés Silva Palacios.
April 2021.
Title: Clasificación Jerárquica Multiclase.
Supervisors:
César Ferri Ramírez and María José Ramírez Quintana (Universitat Politècnica de València)
-
Lidia Contreras.
December 2020.
Title: Towards Data Wrangling Automation through Dynamically-Selected Background Knowledge.
Supervisors:
José Hernández Orallo and César Ferri Ramírez (Universitat Politècnica de València)
-
Fan Yang.
April 2019.
Title: Extending the language and applications of Maude-NPA through
rewriting semantics.
Supervisors:
Jose Meseguer (University of Illinois at Urbana-Champaign)
-
Víctor Martínez Gómez.
October 2018.
Title: Supervised Data Mining in Networks: Link Prediction and Applications.
Supervisors:
Fernando Berzal Galiano and Juan Carlos Cubero Talavera
(Universidad de Granada)
-
David Blanes Domínguez.
February 2016.
Title: Una Aproximación de Ingeniería de Requisitos para Líneas de Productos Software Basada en una Estrategia de Desarrollo Dirigido por Modelos.
Supervisors:
Emilio Insfrán Pelozo and Javier González Huerta
(Universitat Politècnica de València)
-
Lidia Sánchez Gil.
July 2015.
Title: On the equivalence of operational and denotational semantics for parallel functional languages.
Supervisors:
Mercedes Hidalgo Herrero and Yolanda Ortega Mallén (Universidad
Complutense de Madrid)
-
Alberto Calvi.
May 2015.
Title: Methods for Model-based and Vulnerability-Driven Testing.
Supervisor:
Luca Viganò (King's College London, UK & Università
degli Studi di Verona, Italy)
-
Michele Peroli.
May 2015.
Title: A Model-Based Security Testing Approach for Web Applications.
Supervisor:
Luca Viganò (King's College London, UK & Università
degli Studi di Verona, Italy)
-
Marco Rocchetto.
May 2015.
Title: Methods and tools for design time and runtime formal analysis of security protocols and web applications.
Supervisor:
Luca Viganò (King's College London, UK & Università
degli Studi di Verona, Italy)
-
Besik Dundua.
September 2014.
Title: Matching and unification in an algebra of sequences of terms, contexts and second order functions.
Supervisors:
Mário Florido (University of Porto, Portugal)
and Temur Kutsia (Johannes Kepler University Linz, Austria)
-
Alvaro García Pérez.
September 2014.
Title: Operational Aspects of Full Reduction in Lambda Calculi.
Supervisor:
Juan José Moreno Navarro
and Pablo Nogueira (Universidad Politécnica de Madrid, Spain)
-
Serdar Erbatur.
May 2012.
Title: Unification modulo theories of bling signatures.
Supervisor:
Paliath Narendran (University at Albany, Albany, NY USA)
-
Enrique Martín Martín.
April 2012.
Title: Sistemas de tipos en lenguajes lógico-funcionales.
Supervisors:
Francisco J. López Fraguas
and
Juan Rodríguez Hortalá (Universidad Complutense de Madrid, Spain)
-
Javier de Dios Castro.
January 2012.
Title: Certificación formal de programas en un lenguaje funcional impaciente.
Supervisor:
Ricardo Peña Marí (Universidad Complutense de Madrid, Spain)
-
Manuel Roldán.
September 2011.
Title: Estrategias para el guiado y la monitorización de la ejecución de
sistemas en Maude.
Supervisor:
Francisco Durán (Universidad de Málaga, Spain)
-
Adrián Riesco Rodríguez.
April 2011.
Title: Depuración Declarativa y Verificación Heterogénea en Maude.
Supervisors:
José Alberto Verdejo López
and
Narciso Martí Oliet
(Universidad Complutense de Madrid, Spain)
-
Michele Baggi.
November 2010.
Title: Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems.
Supervisors:
María Alpuente (Universitat Politècnica de
València, Spain)
and
Moreno Falaschi (Università degli Studi di Siena, Italy)
Last modified: March 10 2024