Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th MODELS 2022: Montreal, Quebec, Canada
- Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. ACM 2022, ISBN 978-1-4503-9466-6
Foundations
- René Schöne, Johannes Mey, Sebastian Ebert, Sebastian Götz, Uwe Aßmann:
Incremental causal connection for self-adaptive systems based on relational reference attribute grammars. 1-12 - Pavel Koupil
, Sebastián Hricko, Irena Holubová:
Schema inference for multi-model data. 13-23 - Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo:
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. 24-30
Systems engineering & analysis
- Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay:
Precomputing reconfiguration strategies based on stochastic timed game automata. 31-42 - Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
System architecture synthesis for performability by logic solvers. 43-54 - Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay:
Solving the instance model-view update problem in AADL. 55-65 - Souvik Barat, Vinay Kulkarni, Tony Clark, Balbir Barn:
Digital twin as risk-free experimentation aid for techno-socio-economic systems. 66-75 - Cosmina Cristina Ratiu, Wesley K. G. Assunção, Rainer Haas, Alexander Egyed:
Reactive links across multi-domain engineering models. 76-86
Validation & verification
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec:
Practical multiverse debugging through user-defined reductions: application to UML models. 87-97 - Sophie Lathouwers, Vadim Zaytsev:
Modelling program verification tools for software engineers. 98-108 - Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Pablo Gómez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan de Lara:
Automatic test amplification for executable models. 109-120 - Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau:
Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. 121-131 - Dor Ma'ayan, Shahar Maoz, Roey Rozi:
Validating the correctness of reactive systems specifications through systematic exploration. 132-142
AI & recommender systems
- Alfa Yohannis, Dimitris S. Kolovos:
Towards model-based bias mitigation in machine learning. 143-153 - Juri Di Rocco, Claudio Di Sipio, Phuong T. Nguyen, Davide Di Ruscio, Alfonso Pierantonio:
Finding with NEMO: a recommender system to forecast the next modeling operations. 154-164 - José Antonio Hernández López, Riccardo Rubei, Jesús Sánchez Cuadrado, Davide Di Ruscio:
Machine learning methods for model classification: a comparative study. 165-175 - Rijul Saini, Gunter Mussbacher, Jin L. C. Guo, Jörg Kienzle:
Machine learning-based incremental learning in interactive domain modelling. 176-186 - Aon Safdar, Farooque Azam, Muhammad Waseem Anwar, Usman Akram, Yawar Rasheed:
MoDLF: a model-driven deep learning framework for autonomous vehicle perception (AVP). 187-198 - Qixiang Zhou, Tong Li, Yunduo Wang:
Assisting in requirements goal modeling: a hybrid approach based on machine learning and logical reasoning. 199-209
Model visualization & management
- João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira:
Nested OSTRICH: hatching compositions of low-code templates. 210-220 - Giuliano De Carlo, Philip Langer, Dominik Bork:
Advanced visualization and interaction in GLSP-based web modeling: realizing semantic zoom and off-screen elements. 221-231 - Djonathan Barros, Sven Peldszus, Wesley K. G. Assunção, Thorsten Berger:
Editing support for software languages: implementation practices in language server protocols. 232-243 - Xiao He, Letian Tang, Yutong Li:
Accelerating similarity-based model matching using on-the-fly similarity preserving hashing. 244-254 - Rodi Jolak, Maxime Savary-Leblanc, Manuela Dalibor, Juraj Vincur, Regina Hebig, Xavier Le Pallec, Michel Chaudron, Sébastien Gérard, Ivan Polásek, Andreas Wortmann:
The influence of software design representation on the design communication of teams with diverse personalities. 255-265 - Holger Stadel Borum, Christoph Seidl:
Survey of established practices in the life cycle of domain-specific languages. 266-277
Blockchain & contracts
- Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Model-checking legal contracts with SymboleoPC. 278-288 - Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel:
Predicate abstractions for smart contract validation. 289-299 - Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos:
Symboleo2SC: from legal contract specifications to smart contracts. 300-310 - Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano:
A declarative modelling framework for the deployment and management of blockchain applications. 311-321
Variability
- Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer:
Quantifying the variability mismatch between problem and solution space. 322-333 - Juan de Lara, Esther Guerra, Paolo Bottoni:
Modular language product lines: a graph transformation approach. 334-344
Applications
- João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Verification of railway network models with EVEREST. 345-355 - Rodrigo Casamayor, Lorena Arcega, Francisca Pérez, Carlos Cetina:
Bug localization in game software engineering: evolving simulations to locate bugs in software models of video games. 356-366 - Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. 367-378 - Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta:
A comprehensive framework for the analysis of automotive systems. 379-389
a service of 
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 2024-05-15 21:45 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:
