default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th MODELSWARD 2025: Porto, Portugal
- Federico Ciccozzi, Luís Ferreira Pires, Francis Bordeleau:
Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2025, Porto, Portugal, February 26-28, 2025. SCITEPRESS 2025, ISBN 978-989-758-729-0
Invited Speakers
- Øystein Haugen:
Digital Twins: Models Everywhere. 5 - Erik Herzog:
The Lessons the Models Taught us. MODELSWARD 2025: 7 - Alfonso Pierantonio:
Transparency of Tools: Beyond Usability in Modeling Tools. MODELSWARD 2025: 9
Papers
- Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth:
LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems. 15-26 - Sebastian Bock, Raphael Seidel, Matic Petric, Nikolay Tcholtchev, Andreas Hoffmann, Niklas Porges:
Designing a Meta-Model for the Eclipse Qrisp eDSL for High-Level Quantum Programming. 27-39 - Natalie Sinani, Sahil Salma, Paul Boutot, Sadaf Mustafiz:
Towards a Domain-Specific Modelling Environment for Reinforcement Learning. 40-51 - Mufasir Muthaher Mohammed, Karim Jahed, Juergen Dingel, David Lamb:
Towards the Model-Driven Development of Adaptive Cloud Applications by Leveraging UML-RT and Container Orchestration. 52-63 - Antonello Ceravola, Frank Joublin, Ahmed R. Sadik, Bram Bolder, Juha-Pekka Tolvanen:
HyperGraphOS: A Meta Operating System for Science and Engineering. 64-74 - Philippe Barbie, Andreas Pollom, Rene-Pascal Fischer, Martin Becker:
Automated Generation of Standardised Digital Twins Based on MBSE Models. 75-84 - Maria Teresa Paratore, Eda Marchetti, Antonello Calabrò
:
From Plain English to XACML Policies: An AI-Based Pipeline Approach. 85-96 - Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober, Razan Abualsaud:
An Automated and Intelligent Interface Embracing Process Awareness into User Workspace. 97-108 - Prashant G. Joshi, Bharat M. Deshpande:
Advancing IoT Architectures Using Collaborative Computing Paradigms for Dynamic and Scalable Systems. 109-121 - Laurenz Adolph, Barbara Schütt, David Kraus, Eric Sax:
Navigating Dimensionality Through State Machines in Automotive System Validation. 125-132 - Jette Petzold, Reinhard von Hanxleden:
Safe Behavior Model Synthesis: From STPA to LTL to SCCharts. 133-140 - Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth:
Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification. 141-149 - Christian Kop:
Evaluating the Quality of Class Diagrams Created by a Generative AI: Findings, Guidelines and Automation Options. 150-157 - Wytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Piërre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang:
Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. 158-168 - Hossain Muhammad Muctadir, Jérôme Pfeiffer, Judith Houdijk, Loek Cleophas, Andreas Wortmann:
A Taxonomy of Change Types for Textual DSL Grammars. 169-176 - Simon Heimbach, Stephan Rudolph:
Automatic Evaluation and Partitioning of Algorithms for Heterogeneous Systems. 177-185 - Tiago Carvalho, Tobias Müller, Sebastian Reiter, Luís Miguel Pinho, André Oliveira:
Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based Modelling. 186-195 - Asma Smaoui, Mathilde Arnaud, Stéphane Salmons, Guillaume Giraud:
A Domain Specific Language to Design New Control Architectures for Smart Grids. 196-203 - Alain Finkel, Gaspard Fougea, Stéphane Le Roux:
An Automata-Based Method to Formalize Psychological Theories: The Case Study of Lazarus and Folkman's Stress Theory. 204-215 - Eduardo Cibrián, José María Álvarez Rodríguez, Roy Mendieta:
Enhancing Simscape Models Reusability Through Semantics and Word Embedding Representations. MODELSWARD 2025: 216-223 - Bastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes:
Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction. 224-233 - Dominik Ascher, Georg Hackenberg:
Next-Generation Design Tools for Intelligent Transportation Systems. 234-241 - Anthony J. H. Simons:
ReMoDeL: A Pure Functional Object-Oriented Concept Language for Models, Metamodels and Model Transformation. 242-249 - Ikram Darif, Ghizlane El-Boussaidi, Sègla Kpodjedo, Pratibha Padmanabhan, Andrés Paz:
On the Generation of Input Space Model for Model-Driven Requirements-Based Testing. 250-262 - Mert Ozkaya, Alper Turunc:
Towards a Classification Framework for the Digital Twin Tools: A Taxonomy. 263-272 - Meriem Smati, Vincent Cheutet, Christophe Danjou, Jannik Laval:
Digital Twin System of Systems: A Layered Architecture Proposal. 273-279 - Mouhamadou F. Ball, Jannik Laval, Loïc Lagadec:
Hierarchical System of Digital Twins: A Holistic Architecture for Swarm System Analysis. 280-287 - Alexander Rauh:
Validation of Requirements Models Using a Graph. 288-296 - Jishu Guin, Jüri Vain, Leonidas Tsiopoulos:
Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. 297-304 - Jean-Sébastien Sottet, Pierre Brimont, Cédric Pruski, Faima Abbasi:
How to Leverage Digital Twin for System Design? 305-312 - Eugen Boos, Mauritz Mälzer, Felix Conrad, Hajo Wiemer, Steffen Ihlenfeldt:
An Engineer-Friendly Terminology of White, Black and Grey-Box Models. 313-320 - Assaf Marron, David Harel:
Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. 321-329 - Abderrahmane Leshob, Raqeebir Rab, Omar K. Hussain:
A Systematic Method to Derive Software Services and Requirements from Business Models. 330-337 - Marina Ivanova, Zamira Kholmatova, Nikolay Pavlenko:
Optimizing Python Code Metrics Feature Reduction Through Meta-Analysis and Swarm Intelligence. 338-345 - Giuseppe Rocco Rana, Giuseppe Mastandrea, Marco Antonio Insabato, Reshma Penjerla, Luigi D'Oriano:
An Integrated Building Management Platform for Investment into Renewable Energy System and SRI Compliance. 346-353 - Petr Hnetynka, Tomás Bures, Ilias Gerostathopoulos, Milad Abdullah, Keerthiga Rajenthiram:
A Model-Based Approach to Experiment-Driven Evolution of ML Workflows. 354-362 - Tauheed Waheed, Eda Marchetti, Antonello Calabrò:
Vulnerability Mapping and Mitigation Through AI Code Analysis and Testing. 363-370 - Walt Melo:
Integrating Large Language Models with Enterprise Architecture for Enhanced Information Retrieval of System Engineering Models: A Case Study. MODELSWARD 2025: 371-377
2nd Workshop on Model-based System Engineering and Artificial Intelligence
- Jean-Marie Gauthier, Eric Jenn, Ramon Conejo:
Ontology-Driven LLM Assistance for Task-Oriented Systems Engineering. 383-394 - Jérémy Bourdon, Julien Rodriguez, Quentin Lesigne, Pauline Suchet, Berenger Fister, Loic Montagne, Olivier Malhomme, Lies Benmiloud Bechet, Robert Plana:
Transforming Systems Engineering in Nuclear Projects with Generative AI: A Path to Efficiency and Compliance. 395-406 - Tianxiao Xu, Néjib Moalla, Mohand Lounès Bentaha, Hazal Aktekin, Claudia Agostinelli:
AI-Integrated Framework for Enhancing High Level Architecture Design Across System Lifecycle Stages. 407-419 - Gayane Sedrakyan, Stephan Braams, Cosmin Ghiauru, Anton Tsankov, Stijn Schuurman, Matthijs Jansen op de Haar, Valeri Andreev, Jos van Hillegersberg:
Reinventing Low-Code: Value-Driven and Learning-Oriented Low-Code Development with SLLM-Integrated Approach. 420-431 - André Meyer-Vitali:
Multi-Agent Causal Reinforcement Learning. 435-442 - Sangeeth Saagar Ponnusamy, Philipp Helle, Carsten Strobel:
Towards an Ontological Approach for Decision Making in Agent Based Systems. MODELSWARD 2025: 443-449 - José Lameh, Alexandra Dubray, Marija Jankovic:
Automating Feature Modeling in Product Line Engineering for Systems Engineering: The Application of Natural Language Processing. 450-457 - Zahra Mardani Korani, Moharram Challenger, Armin Moin, João Carlos Ferreira, Alberto Rodrigues da Silva, Gonçalo Vitorino Jesus, Elsa Lourenço Alves, Ricardo Correia:
From ML2 to ML2+: Integrating Time Series Forecasting in Model-Driven Engineering of Smart IoT Applications. 458-465 - Afef Awadid, André Meyer-Vitali, Dominik Vereno, Maxence Gagnant:
RITSA: Toward a Retrieval-Augmented Generation System for Intelligent Transportation Systems Architecture. 466-473 - Thomas Paviot, Virginie Fortineau, Samir Lamouri:
Iterative Diagnosis-Driven Augmented Generation (IDDAG) for Programmatic 3D CAD. 474-480
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-06-23 21:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
