Publications

(2023). Realisability of Global Models of Interaction. ICTAC - 20th International Colloquium on Theoretical Aspects of Computing, Lima, Peru, December 4-8, 2023, Proceedings.

PDF Project Project Project Extended version Online tool ICTAC'23 Slides

(2023). Overview on Constrained Multiparty Synchronisation in Team Automata. Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers.

PDF Project Project Slides

(2023). Caos: A Reusable Scala Web Animator of Operational Semantics. Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Portugal, June 19-23, 2023, Proceedings.

PDF Project Project Coordination 2023 CAOS tool Slides Demo-video Tutorial

(2023). Can we Communicate? Using Dynamic Logic to Verify Team Automata. Formal Methods - 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings.

PDF Project Project Tech. Report Online tool Slides FM'23

(2023). Spreadsheet-based Configuration of Families of Real-Time Specifications. Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA, 2023, Paris, France, co-located with ETAPS 2023.

PDF Project Project Project TiCSA@ETAPS'23 Slides Uppex tool

(2022). ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, Rhodes, Greece, October 24-28, 2022, Proceedings.

PDF Code Project Project ST4MP tool ISoLA 2022

(2022). Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings.

PDF Project Project Project DOI RSSRail'22 Slides Uppex tool

(2021). Featured Team Automata. Formal Methods - 24th international symposium, FM 2019, Beijing, China, November 20-26, 2021, Proceedings.

PDF Project Project Project DOI arXiv Online tool Slides (by Guillermina) FM'21

(2020). Implementing Hybrid Semantics: From Functional to Imperative. Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau S.A.R., China, October 31 - November 30, 2020, Proceedings.

PDF Code Project Project Project Project DOI Extended Slides (by Renato) Lince

(2020). ARx: Reactive Programming for Synchronous Connectors. Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings.

PDF Code Project Project Project Slides Video DOI

(2019). Taming Hierarchical Connectors. Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers.

PDF Code Project Slides DOI

(2019). Proceedings of F-IDE@FM 2019. Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019.

Project DOI

(2019). Coordination of Tasks on a Real-Time OS. Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings.

PDF Code Project Project Slides DOI

(2018). ReoLive: Analysing Connectors in Your Browser. Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers.

PDF Code DOI

(2017). Special Issue of COORDINATION and FORTE 2016. Logical Methods in Computer Science, Episciences, Volume 13, 2017.

LMCS

(2017). Quality-Aware Reactive Programming for the Internet of Things. Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers.

PDF Slides DOI

(2017). Proceedings of FACS 2017. Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings.

DOI

(2017). Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017.

PDF DOI

(2017). Composing Families of Timed Automata. Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers.

PDF DOI

(2017). A Refinement Relation for Families of Timed Automata. Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings.

PDF DOI

(2016). Proceedings of COORDINATION 2016. Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings.

DOI

(2015). Typed Connector Families. Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers.

PDF Code Slides DOI

(2015). Tomography: lowering management overhead for distributed component-based applications. Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT@Middleware 2015, Vancouver, BC, Canada, December 7-11, 2015.

PDF DOI

(2015). Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications. Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015.

PDF DOI

(2015). Proceedings of FOCLASA@CONCUR 2015. Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015.

DOI

(2015). Proceedings of FOCLASA@CONCUR 2014. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014.

DOI

(2015). Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks. Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015.

PDF DOI

(2013). Interactive Interaction Constraints. Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings.

PDF DOI

(2013). Executable modelling of dynamic software product lines in the ABS language. 5th International Workshop on Feature-Oriented Software Development, FOSD ‘13, Indianapolis, IN, USA, October 26, 2013.

PDF DOI

(2013). Data Abstraction in Coordination Constraints. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers.

PDF DOI

(2012). Partial Connector Colouring. Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings.

PDF DOI

(2012). Formal analysis of policies in wireless sensor network applications. Third International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012, 2 June 2012, Zurich, Switzerland, Proceedings.

PDF DOI

(2012). Dreams: a framework for distributed synchronous coordination. Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012.

PDF DOI

(2012). A Procedure for Splitting Processes and its Application to Coordination. Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012.

PDF DOI

(2011). Modular Modelling of Software Product Lines with Feature Nets. Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings.

PDF DOI

(2011). Decoupled execution of synchronous coordination models via behavioural automata. Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011.

PDF DOI

(2010). Variability Modelling in the ABS Language. Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers.

PDF DOI

(2010). Towards a Theory of Views for Feature Models. Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).

PDF

(2010). Feature Petri Nets. Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).

PDF

(2009). Deconstructing Reo. Electron. Notes Theor. Comput. Sci..

PDF DOI

(2009). Coordination via Interaction Constraints I: Local Logic. Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009.

PDF DOI

(2008). Coordination Models Orc and Reo Compared. Electron. Notes Theor. Comput. Sci..

PDF DOI

(2005). A Framework for Point-Free Program Transformation. Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers.

PDF DOI