Francisco Duran

Francisco and I have worked on fundamentals of graph transformation and executable domain-specific modellinng languages, especially from the perspective of verifiable composition.

Research topics

Model-based optimisation

Bringing the power of explicit modelling to optimisation and search

Foundations of model-driven engineering

Laying sound foundations for the field

Co-authored papers

Books

2021

Composing Model-Based Analysis Tools

Robert Heinrich, Francisco Durán, Carolyn Talcott, and 1 more author

2021

@book{HeinrichEtAl21Book,
  author = {Heinrich, Robert and Dur{\'a}n, Francisco and Talcott, Carolyn and Zschaler, Steffen},
  title = {Composing Model-Based Analysis Tools},
  publisher = {Springer},
  year = {2021},
}

Book Chapters

2021

Introduction

Robert Heinrich, Francisco Durán, Carolyn Talcott, and 1 more author

In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

@incollection{HeinrichEtAl21Intro,
  author = {Heinrich, Robert and Dur{\'a}n, Francisco and Talcott, Carolyn and Zschaler, Steffen},
  title = {Introduction},
  booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
  year = {2021},
}

Foundations

Carolyn Talcott, Sofia Ananieva, Kyungmin Bae, and 10 more authors

In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

@incollection{TalcottEtAl21,
  author = {Talcott, Carolyn and Ananieva, Sofia and Bae, Kyungmin and Combemale, Benoit and Heinrich, Robert and Hills, Mark and Khakpour, Narges and Reussner, Ralf and Rumpe, Bernhard and Scandurra, Patrizia and Vangheluwe, Hans and Dur{\'a}n, Francisco and Zschaler, Steffen},
  title = {Foundations},
  booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
  year = {2021},
}

Overview of Challenges in Composing Model-Based Analysis Tools

Francisco Durán, Robert Heinrich, Carolyn Talcott, and 1 more author

In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

@incollection{DuranEtAl21,
  author = {Dur{\'a}n, Francisco and Heinrich, Robert and Talcott, Carolyn and Zschaler, Steffen},
  title = {Overview of Challenges in Composing Model-Based Analysis Tools},
  booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
  year = {2021},
}

Exploiting Results of Model-Based Analysis Tools

Francisco Durán, Martin Gogolla, Esther Guerra, and 3 more authors

In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

@incollection{DuranEtAl21b,
  author = {Dur{\'a}n, Francisco and Gogolla, Martin and Guerra, Esther and de Lara, Juan and Sahraoui, Houari and Zschaler, Steffen},
  title = {Exploiting Results of Model-Based Analysis Tools},
  booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
  year = {2021},
}

GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics

Steffen Zschaler, and Francisco Durán

In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

@incollection{ZschalerDuran21,
  author = {Zschaler, Steffen and Dur{\'a}n, Francisco},
  title = {{GTSMorpher}: Safely Composing Behavioural Analyses Using Structured Operational Semantics},
  booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
  year = {2021},
}

Conclusion

Francisco Durán, Robert Heinrich, Carolyn Talcott, and 1 more author

In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

@incollection{DuranEtAl21c,
  author = {Dur{\'a}n, Francisco and Heinrich, Robert and Talcott, Carolyn and Zschaler, Steffen},
  title = {Conclusion},
  booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
  year = {2021},
}

2013

Behaviour Protection in Modular Rule-Based System Specifications

Francisco Durán, Fernando Orejas, and Steffen Zschaler

In Recent Trends in Algebraic Development Techniques, 2013

@incollection{DuranEtAl13,
  author = {Dur{\'a}n, Francisco and Orejas, Fernando and Zschaler, Steffen},
  title = {Behaviour Protection in Modular Rule-Based System Specifications},
  doi = {10.1007/978-3-642-37635-1_2},
  url = {http://dx.doi.org/10.1007/978-3-642-37635-1_2},
  pages = {24--49},
  editor = {Mart{\'\i}Oliet, Narciso and Palomino, Miguel},
  booktitle = {Recent Trends in Algebraic Development Techniques},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  volume = {7841},
  year = {2013},
  isbn = {978-3-642-37634-4},
}

Journal Articles

2019

Composing Model-Based Analysis Tools

Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, and 2 more authors

Dagstuhl Reports 9(11), 2019

@article{DuranEtAl19Report,
  author = {Dur{\'a}n, Francisco and Heinrich, Robert and P{\'e}rez-Palac{\'i}n, Diego and Talcott, Carolyn and Zschaler, Steffen},
  title = {Composing Model-Based Analysis Tools},
  journal = {Dagstuhl Reports},
  volume = {9},
  number = {11},
  pages = {97--116},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing},
  year = {2019},
}

2017

Amalgamation of Domain Specific Languages with Behaviour

Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, and 1 more author

Journal of Logical and Algebraic Methods in Programming 86(1), 2017

@article{DuranEtAl15,
  author = {Dur{\'a}n, Francisco and Moreno-Delgado, Antonio and Orejas, Fernando and Zschaler, Steffen},
  title = {Amalgamation of Domain Specific Languages with Behaviour},
  doi = {10.1016/j.jlamp.2015.09.005},
  url = {http://dx.doi.org/10.1016/j.jlamp.2015.09.005},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  year = {2017},
  volume = {86},
  number = {1},
  pages = {208--235},
}

2013

Model-driven performance analysis of rule-based domain specific visual models

Javier Troya, Antonio Vallecillo, Francisco Durán, and 1 more author

Information and Software Technology 55(1), 2013

@article{TroyaEtAl13,
  author = {Troya, Javier and Vallecillo, Antonio and Dur{\'a}n, Francisco and Zschaler, Steffen},
  title = {Model-driven performance analysis of rule-based domain specific visual models},
  pages = {88--110},
  doi = {10.1016/j.infsof.2012.07.009},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584912001358},
  journal = {Information and Software Technology},
  volume = {55},
  number = {1},
  year = {2013},
}

Conference and Workshop Papers

2017

GTS Families for the Flexible Composition of Graph Transformation Systems

Steffen Zschaler, and Francisco Durán

In 20th Int’l Conf. Fundamental Approaches to Software Engineering (FASE’17), 2017

Bib HTML PDF Slides

@inproceedings{ZschalerDuran17a,
  author = {Zschaler, Steffen and Dur{\'a}n, Francisco},
  title = {{GTS} Families for the Flexible Composition of Graph Transformation Systems},
  pages = {208--225},
  doi = {10.1007/978-3-662-54494-5_12},
  url = {http://dx.doi.org/10.1007/978-3-662-54494-5_12},
  editor = {Huisman, Marieke and Rubin, Julia},
  booktitle = {20th Int'l Conf. Fundamental Approaches to Software Engineering (FASE'17)},
  year = {2017},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  isbn = {978-3-662-54494-5},
}

2013

On the Reusable Specification of Non-functional Properties in DSLs

Francisco Durán, Steffen Zschaler, and Javier Troya

In Proc. 5th Int’l Conf. on Software Language Engineering (SLE’12), 2013

Bib HTML PDF Supp Slides

@inproceedings{DuranEtAl12,
  author = {Dur{\'a}n, Francisco and Zschaler, Steffen and Troya, Javier},
  title = {On the Reusable Specification of Non-functional Properties in {DSLs}},
  pages = {332--351},
  editor = {Czarnecki, Krzysztof and Hedin, G{\"o}rel},
  booktitle = {Proc. 5th Int'l Conf. on Software Language Engineering (SLE'12)},
  publisher = {Springer},
  series = {LNCS},
  volume = {7745},
  year = {2013},
}

2012

On the modularity and reusability of the rule-based specification of QoS properties of systems

Francisco Duran, and Steffen Zschaler

In Prelimiary Proc. 21st Int’l Workshop on Algebraic Development Techniques (WADT’2012) – Technical Report Universidad Complutense de Madrid #TR-08/12, 2012

@inproceedings{DuranEtAl12b,
  author = {Duran, Francisco and Zschaler, Steffen},
  title = {On the modularity and reusability of the rule-based specification of {QoS} properties of systems},
  booktitle = {Prelimiary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid \#TR-08/12},
  year = {2012},
}