Francisco Durn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
18
Active years
1999–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELS | Towards the Coordination and Verification of Heterogeneous Systems with Data and Time. | Tim Kruter, Adrian Rutle, Yngve Lamo, Harald Knig, Francisco Durn |
| 2024 | CAIN | Identifying Architectural Design Decisions for Achieving Green ML Serving. | Francisco Durn, Silverio Martnez-Fernndez, Matias Martinez, Patricia Lago |
| 2024 | PPDP | Programming Open Distributed Systems in Maude. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2023 | FMICS | Statistical Model Checking for sf P. | Francisco Durn, Nicols Pozas, Carlos Ramrez, Camilo Rocha |
| 2022 | CADE | Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2022 | ICSOC | Optimization of BPMN Processes via Automated Refactoring. | Francisco Durn, Gwen Salan |
| 2021 | ICSE | R-MOZART: A Reconfiguration Tool for WebThings Applications. | Francisco Durn, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salan |
| 2021 | ICSOC | On the Scalability of Compositions of Service-Oriented Applications. | Nicols Pozas, Francisco Durn |
| 2021 | SEAMS | Seamless Reconfiguration of Rule-based IoT Applications. | Francisco Durn, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salan |
| 2019 | ICSOC | Analysis of Resource Allocation of BPMN Processes. | Francisco Durn, Camilo Rocha, Gwen Salan |
| 2019 | MODELS | A Foundation for the Composition of Multilevel Domain-Specific Languages. | Alejandro Rodrguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durn |
| 2019 | TACAS | The Rewrite Engines Competitions: A RECtrospective. | Francisco Durn, Hubert Garavel |
| 2018 | MODELS | Multilevel modelling of coloured petri nets. | Alejandro Rodrguez, Adrian Rutle, Francisco Durn, Lars Michael Kristensen, Fernando Macas |
| 2017 | CLOSER | Component-wise Application Migration in Bidimensional Cross-cloud Environments. | Jose Carrasco, Francisco Durn, Ernesto Pimentel |
| 2017 | CLOSER | Component Migration in a Trans-cloud Environment. | Jose Carrasco, Francisco Durn, Ernesto Pimentel |
| 2017 | Coordination | Verifying Timed BPMN Processes Using Maude. | Francisco Durn, Gwen Salan |
| 2017 | FASE | GTS Families for the Flexible Composition of Graph Transformation Systems. | Steffen Zschaler, Francisco Durn |
| 2017 | ICSOC | Runtime Migration of Applications in a Trans-Cloud Environment. | Jose Carrasco, Francisco Durn, Ernesto Pimentel |
| 2017 | ICSOC | An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time. | Patrcia Arajo de Oliveira, Francisco Durn, Ernesto Pimentel |
| 2017 | SEFM | Towards the Performance Analysis of Elastic Systems with e-Motions. | Patrcia Arajo de Oliveira, Francisco Durn, Ernesto Pimentel |
| 2016 | CADE | Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Carolyn L. Talcott |
| 2016 | CLOSER | Deployment over Heterogeneous Clouds with TOSCA and CAMP. | Jose Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durn |
| 2016 | FASE | Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. | Francisco Durn, Antonio Moreno-Delgado, Jos M. lvarez-Palomo |
| 2012 | SLE | On the Reusable Specification of Non-functional Properties in DSLs. | Francisco Durn, Steffen Zschaler, Javier Troya |
| 2011 | CALCO | Tool Interoperability in the Maude Formal Environment. | Francisco Durn, Camilo Rocha, Jos Mara lvarez |
| 2008 | CADE | MTT: The Maude Termination Tool (System Description). | Francisco Durn, Salvador Lucas, Jos Meseguer |
| 2008 | ICSE | From programming to modeling: our experience with a distributed software engineering course. | Jordi Cabot, Francisco Durn, Nathalie Moreno, Antonio Vallecillo, Jos Ral Romero |
| 2008 | Mobiquitous | A formalization of the SMEPP model in Maude. | Francisco Durn, Francisco Gutirrez, Pablo Lpez, Ernesto Pimentel |
| 2007 | CALCO | The Maude Formal Tool Environment. | Manuel Clavel, Francisco Durn, Joe Hendrix, Salvador Lucas, Jos Meseguer, Peter Csaba lveczky |
| 2004 | PEPM | Proving termination of membership equational programs. | Francisco Durn, Salvador Lucas, Jos Meseguer, Claude March, Xavier Urbain |
| 2000 | FASE | Using Maude. | Manuel Clavel, Francisco Durn, Steven Eker, Patrick Lincoln, Narciso Mart-Oliet, Jos Meseguer, Jose F. Quesada |
| 1999 | FM | Maude as a Formal Meta-tool. | Manuel Clavel, Francisco Durn, Steven Eker, Jos Meseguer, Mark-Oliver Stehr |