Publications

(2022). RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022.

PDF Cite DOI

(2021). Examining Requirements Documentation through the Focused Conversation Method. Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.

PDF Cite

(2020). Using Comp-O to Build and Describe Component-Based Services. Demos and Industry Tracks: From Novel Ideas to Industrial Practice (ISWC-Posters 2020 ) co-located with 19th International Semantic Web Conference.

PDF Cite

(2020). Papyrus for Gamers, Let's Play Modeling. Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.

PDF Cite DOI

(2020). Modeling and verification method for an early evaluation of systems of systems interactions. SAC ‘20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020.

PDF Cite DOI

(2019). From DSL Specification to Interactive Computer Programming Environment. SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering.

PDF Cite DOI

(2019). Live-UMLRT: A Tool for Live Modeling of UML-RT Models. MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems.

PDF Cite DOI

(2019). Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges. MDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things.

PDF Cite

(2019). Automated user-oriented description of emerging composite ambient applications. International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Lisbonne, 10/07/2019-12/07/2019.

PDF Cite

(2019). Using Patterns to parameterize the execution of Collaborative Tasks. 28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019).

PDF Cite DOI

(2019). A collaborative decision approach for alignment of heterogeneous models. 28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019).

PDF Cite

(2019). A Pattern-based Process Management System to flexibly execute Collaborative Tasks. 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019).

PDF Cite

(2019). Approximate Loop Unrolling. CF 2019 - ACM International Conference on Computing Frontiers.

PDF Cite DOI

(2019). Towards an Anatomy of Software Requirements. Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings.

PDF Cite DOI

(2019). Towards a Model-Based DevOps for Cyber-Physical Systems. Software Engineering Aspects of Continuous Development.

PDF Cite

(2019). Reflections on Teaching Formal Methods for Software Development in Higher Education. Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers.

PDF Cite DOI

(2018). Shape-Diverse DSLs: Languages without Borders (Vision Paper). SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering.

PDF Cite DOI

(2018). Modular Language Composition for the Masses. SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering.

PDF Cite DOI

(2018). A Survey on MBSE Adoption Challenges. INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018).

PDF Cite

(2018). Model-Based Systems Engineering for Systems Simulation. Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018).

PDF Cite

(2018). Reconciling Requirements and Continuous Integration in an Agile Context. 2018 IEEE 26th International Requirements Engineering Conference (RE).

PDF Cite

(2018). Trace Comprehension Operators for Executable DSLs. ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications.

PDF Cite DOI

(2018). Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. MDE@DeRun 2018 workshop, co-located with the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences.

PDF Cite DOI

(2018). Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Grenoble, France). 10èmes Journées nationales du GDR : Groupement de Recherche Génie de la Programmation et du Logiciel (GDR GPL 2018).

PDF Cite

(2018). Definition of states and modes as general concepts for system design and validation. 12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018).

PDF Cite

(2018). Collaborative Processes Management: from Modeling to Enacting. 22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018).

PDF Cite

(2018). Collaborative model-based matching of heterogeneous models. 22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018).

PDF Cite

(2018). Translation of Heterogenous Requirements Meta-Models Through a Pivot Meta-Model. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018).

PDF Cite

(2018). Model driven consistency for heterogeneous models. 13th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE 2018.

PDF Cite

(2018). AHM: Handling heterogeneous models matching and consistency via MDE. 13th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE 2018.

PDF Cite DOI

(2012). Dedal-CDL: Modeling First-class Architectural Changes in Dedal. Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA / ECSA 2012).

PDF Cite DOI