Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd MODELS 2020: Virtual Event, Canada - Companion Proceedings
- Esther Guerra, Ludovico Iovino:
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings. ACM 2020, ISBN 978-1-4503-8135-2
Tools and demos
- Louis-Edouard Lafontant, Eugene Syriani:
Gentleman: a light-weight web-based projectional editor generator. 1:1-1:5 - Francesco Basciani, Juri Di Rocco
, Davide Di Ruscio, Alfonso Pierantonio, Ludovico Iovino:
TyphonML: a modeling environment to develop hybrid polystores. 2:1-2:5 - Raffaela Groner, Sophie Gylstorff, Matthias Tichy:
A profiler for the matching process of henshin. 3:1-3:5 - Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár Semeráth, Dániel Varró:
Automated video game world map synthesis by model-based techniques. 4:1-4:5 - Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sebastien Gerard, Hamna Aslam, Annapaola Marconi, Mirko Perillo:
Papyrus for gamers, let's play modeling. 5:1-5:5 - Majid Babaei, Mojtaba Bagherzadeh, Jürgen Dingel:
MReplayer: a trace replayer of distributed UML-RT models. 6:1-6:5 - Hourieh Khalajzadeh, Tarun Verma, Andrew J. Simmons, John C. Grundy, Mohamed Abdelrazek, John G. Hosking:
User-centred tooling for modelling of big data applications. 7:1-7:5 - Imad Berrouyne:
CyprIoT project: an open source toolset to model and generate a network of things. 8:1-8:5 - Sayed Mohsin Reza, Omar Badreddin, Rahad Khandoker:
ModelMine: a tool to facilitate mining models from open source repositories. 9:1-9:5 - Susanne Braun, Marcus Trapp, Claudia Nass, Matthias Gerbershagen, Stefan Schweitzer, Rodrigo Falcão, Matthias Naab, Markus Schweitzer, Torsten Kreutzer, Nikolaus Wire:
Insights collaboration space: a team collaboration app for the design of data-driven services. 10:1-10:5 - Elina Kalnina:
Concrete syntax-based find for graphical DSLs. 11:1-11:5 - Lorenzo Addazi, Antonio Cicchetti:
Using Benji to systematically evaluate model comparison algorithms. 12:1-12:5 - Nisha Desai, Martin Gogolla:
Strengthening validation of model behavior through filmstrip templates in the tool USE. 13:1-13:5 - Marcel Schäfer, Martin Gogolla:
Enhancing development and consistency of UML models and model executions with USE studio. 14:1-14:5 - Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly:
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. 15:1-15:5
Posters
- Paulis F. Barzdins, Edgars Celms, Janis Barzdins, Audris Kalnins, Arturs Sprogis, Mikus Grasmanis, Sergejs Rikacovs:
Metamodel specialization based DSL for DL lifecycle data management. 16:1-16:2 - Mikhail Barash:
Enabling language engineering for the masses. 17:1-17:2 - Kleinner Farias, Bruno Carreiro da Silva:
What's the grade of your diagram?: towards a streamlined approach for grading UML diagrams. 18:1-18:2 - Armin Moin, Stephan Rössler, Marouane Sayih, Stephan Günnemann:
From things' modeling language (ThingML) to things' machine learning (ThingML2). 19:1-19:2
Educators symposium
- Younes Boubekeur, Gunter Mussbacher, Shane McIntosh:
Automatic assessment of students' software models using a simple heuristic and machine learning. 20:1-20:10 - Younes Boubekeur, Gunter Mussbacher:
Towards a better understanding of interactions with a domain modeling assistant. 21:1-21:10 - Holger Giese, Leen Lambers, Christian Zöllner:
From classic to agile: experiences from more than a decade of project-based modeling education. 22:1-22:10 - Martin Gogolla, Bran Selic:
On teaching descriptive and prescriptive modeling. 23:1-23:9
Doctoral symposium
- Aren A. Babikian:
Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles. 24:1-24:7 - Carsten Wiecher:
A feature-oriented approach: from usage scenarios to automated system of systems validation in the automotive domain. 25:1-25:6 - Rijul Saini:
Artificial intelligence empowered domain modelling bot. 26:1-26:6 - Sebastian Ebert:
A model-driven approach for cobotic cells based on Petri nets. 27:1-27:6 - Maximilian Schiedermeier:
A concern-oriented software engineering methodology for micro-service architectures. 28:1-28:5 - Hyacinth Ali:
Multi-language systems based on perspectives to promote modularity, reusability, and consistency. 29:1-29:6 - Jakob Pietron:
Enhancing collaborative modeling. 30:1-30:6 - Thomas Mead:
Creating an accessible and understandable modelling language for cell-based simulations. 31:1-31:7 - Wolf Rost:
Mining of DSLs and generator templates from reference applications. 32:1-32:7
3rd workshop on modeling in automotive system and software engineering: MASE 2020
- Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Martin Fabian:
Automatically learning formal models: an industrial case from autonomous driving development. 33:1-33:10 - Tobias Pett, Domenik Eichhorn, Ina Schaefer:
Risk-based compatibility analysis in automotive systems engineering. 34:1-34:10 - Carsten Wiecher, Sergej Japs, Lydia Kaiser, Joel Greenyer, Roman Dumitrescu, Carsten Wolff:
Scenarios in the loop: integrated requirements analysis and automotive system validation. 35:1-35:10
1st international workshop on open model based engineering environment: OpenMBEE 2020
- Thomas Boyer Chammard, Blake Regalia, Robert Karban, Ivan Gomes:
Assisted authoring of model-based systems engineering documents. 36:1-36:7 - Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban:
Model checking as a service: towards pragmatic hidden formal methods. 37:1-37:5 - Andrés Paz, Ghizlane El-Boussaidi:
Breesse: bridging EMF, simulink and stateflow for model-based design of safety-critical systems. 38:1-38:10 - Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson:
Towards boosting the OpenMBEE platform with model-code consistency. 39:1-39:5
2nd modelling language engineering and execution workshop: MLE 2020
- Alfred Åkesson, Görel Hedin, Niklas Fors, René Schöne, Johannes Mey:
Runtime modeling and analysis of IoT systems. 40:1-40:5 - Daniel Devine, Omar Alam, Jörg Kienzle, Cheuk Chuen Siow:
A composition algorithm for reusable workflow models. 41:1-41:10 - Junaid Iqbal, Dragos Truscan, Jüri Vain:
Time semantics of executable activity diagrams for relativized conformance testing. 42:1-42:6 - Leander Nachreiner, Alexander Raschke, Michael Stegmaier, Matthias Tichy:
CouchEdit: a relaxed conformance editing approach. 43:1-43:5 - Mahdi Saeedi Nikoo, Önder Babur, Mark van den Brand:
A survey on service composition languages. 44:1-44:5
2nd workshop on artificial intelligence and model-driven engineering: MDE intelligence 2020
- Rijul Saini, Gunter Mussbacher, Jin L. C. Guo, Jörg Kienzle:
DoMoBOT: a bot for automated and interactive domain modelling. 45:1-45:10 - Kevin Lano, Shichao Fang, Muhammad Aminu Umar, Sobhan Yassipour Tehrani:
Enhancing model transformation synthesis using natural language processing. 46:1-46:10 - Angela Barriga, Lawrence Mandow, José-Luis Pérez-de-la-Cruz, Adrian Rutle, Rogardt Heldal, Ludovico Iovino:
A comparative study of reinforcement learning techniques to repair models. 47:1-47:9 - Gunter Mussbacher, Benoît Combemale, Silvia Abrahão, Nelly Bencomo, Loli Burgueño, Gregor Engels, Jörg Kienzle, Thomas Kühn, Sébastien Mosser, Houari A. Sahraoui, Martin Weyssow:
Towards an assessment grid for intelligent modeling assistance. 48:1-48:10
2nd international workshop on analytics and mining of model repositories: AMMoRe 2020
- Ludovico Iovino, Amleto Di Salle, Davide Di Ruscio, Alfonso Pierantonio:
Metamodel deprecation to manage technical debt in model co-evolution. 49:1-49:10 - Angela Barriga, Davide Di Ruscio, Ludovico Iovino, Phuong Thanh Nguyen, Alfonso Pierantonio:
An extensible tool-chain for analyzing datasets of metamodels. 50:1-50:8
14th workshop on models and evolution: ME 2020
- Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio:
Edelta 2.0: supporting live metamodel evolutions. 51:1-51:10 - Hugo Lourenço, Joana Tavares, Rui Eugénio, Miguel Lourenço, Tiago Simões:
LUV is not the answer: continuous delivery of a model driven development platform. 52:1-52:10 - Owen Reynolds, Antonio García-Domínguez, Nelly Bencomo:
Automated provenance graphs for models@run.time. 53:1-53:10
2nd international workshop on security for and by model-driven engineering: SecureMDE 2020
- Alfa Yohannis, Alfonso de la Vega, Delaram Kahrobaei, Dimitris S. Kolovos:
Towards model-based development of decentralised peer-to-peer data vaults. 54:1-54:8 - Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux:
Operational design for advanced persistent threats. 55:1-55:10 - Paul Perrotin, Salah Sadou, David Hairion, Antoine Beugnard:
Detecting human vulnerably in socio-technical systems: a naval case study. 56:1-56:8 - Akram Idani, Mario Cortes Cornax:
Towards a model driven formal approach for merging data, access control and business processes. 57:1-57:5 - Gabriel Pedroza, Guillaume Mockly:
Method and framework for security risks analysis guided by safety criteria. 58:1-58:8 - Matthias Pasquier, Frédéric Jouault, Matthias Brun, Julien Pérochon:
Evaluating tool support for embedded operating system security: an experience feedback. 59:1-59:10
1st LowCode workshop: LowCode 2020
- Bruno Piedade, João Pedro Dias, Filipe Figueiredo Correia:
An empirical study on visual programming docker compose configurations. 60:1-60:10 - Mariana Bexiga, Stoyan Garbatov, João Costa Seco:
Closing the gap between designers and developers in a low code ecosystem. 61:1-61:10 - Panagiotis Kourouklidis, Dimitris S. Kolovos, Nicholas Matragkas, Joost Noppen:
Towards a low-code solution for monitoring machine learning model performance. 62:1-62:8 - Apurvanand Sahay, Davide Di Ruscio, Alfonso Pierantonio:
Understanding the role of model transformation compositions in low-code development platforms. 63:1-63:5 - Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou:
Intelligent run-time partitioning of low-code system models. 64:1-64:5 - Benedek Horváth, Ákos Horváth, Manuel Wimmer:
Towards the next generation of reactive model transformations on low-code platforms: three research lines. 65:1-65:10 - Lissette Almonte, Iván Cantador, Esther Guerra, Juan de Lara:
Towards automating the construction of recommender systems for low-code development platforms. 66:1-66:10 - Léa Brunschwig, Esther Guerra, Juan de Lara:
Towards access control for collaborative modelling apps. 67:1-67:10 - Claudio Di Sipio, Davide Di Ruscio, Phuong Thanh Nguyen:
Democratizing the development of recommender systems by means of low-code platforms. 68:1-68:9 - Alessandro Colantoni, Luca Berardinelli, Manuel Wimmer:
DevOpsML: towards modeling DevOps processes and platforms. 69:1-69:10 - Faezeh Khorram, Jean-Marie Mottu, Gerson Sunyé:
Challenges & opportunities in low-code testing. 70:1-70:10 - Fatima Rani, Pablo Díez, Enrique Chavarriaga, Esther Guerra, Juan de Lara:
Automated migration of EuGENia graphical editors to the web. 71:1-71:7 - Jolan Philippe, Hélène Coullon, Massimo Tisi, Gerson Sunyé:
Towards transparent combination of model management execution strategies for low-code development platforms. 72:1-72:10 - Qurat ul ain Ali, Dimitris S. Kolovos, Konstantinos Barmpis:
Efficiently querying large-scale heterogeneous models. 73:1-73:5 - Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Pierluigi Pierini, Alfonso Pierantonio:
Low-code engineering for internet of things: a state of research. 74:1-74:8 - Alexandre Jacinto, Miguel Lourenço, Carla Ferreira:
Test mocks for low-code applications built with OutSystems. 75:1-75:5 - Jordi Cabot:
Positioning of the low-code movement within the field of model-driven engineering. 76:1-76:3
17th workshop on model driven engineering, verification and validation: MoDeVVa 2020
- Kevin Lano, Shichao Fang, Shekoufeh Kolahdouz Rahimi:
TL: an abstract specification language for bidirectional transformations. 77:1-77:10 - Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic:
A language agnostic approach to modeling requirements: specification and verification. 78:1-78:10 - Maysam Zoor, Ludovic Apvrille, Renaud Pacalet:
SysML models: studying safety and security measures impact on performance using graph tainting. 79:1-79:10 - Bert Van Acker, Bentley James Oakes, Mehrdad Moradi, Paul De Meulenaere, Joachim Denil:
Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems. 80:1-80:10 - Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour:
Modular deployment of UML models for V&V activities and embedded execution. 81:1-81:10 - Martin Gogolla, Timo Stüber:
Metrics for OCL expressions: development, realization, and applications for validation. 82:1-82:10
7th international workshop on multi-level modelling: MULTI 2020
- Manfred A. Jeusfeld, João Paulo A. Almeida, Victorio Albani de Carvalho, Claudenir M. Fonseca, Bernd Neumayr:
Deductive reconstruction of MLT* for multi-level modeling. 83:1-83:10 - Zoltán Theisz, Sándor Bácsi, Gergely Mezei, Ferenc Attila Somogyi, Dániel Palatinszky:
Join potency: a way of combining separate multi-level models. 84:1-84:5 - Thomas Kühne, Arne Lange:
Meaningful metrics for multi-level modelling. 85:1-85:9 - Ulrich Frank, Daniel Töpel:
Contingent level classes: motivation, conceptualization, modeling guidelines, and implications for model management. 86:1-86:10 - Chris Partridge, Andrew Mitchell, Marco da Silva, Oscar Xiberta Soto, Matthew West, Mesbah Khan, Sergio de Cesare:
Implicit requirements for ontological multi-level types in the UNICLASS classification. 87:1-87:8
2nd international workshop on multi-paradigm modelling for cyber-physical systems: MPM4CPS 2020
- René Schöne, Johannes Mey, Sebastian Ebert, Uwe Aßmann:
Connecting conceptual models using relational reference attribute grammars. 88:1-88:11 - Asmaa Niati, Cyrine Selma, Dalila Tamzalit, Hugo Bruneliere, Nasser Mebarki, Olivier Cardin:
Towards a digital twin for cyber-physical production systems: a multi-paradigm modeling approach in the postal industry. 89:1-89:7 - Moharram Challenger, Hans Vangheluwe:
Towards employing ABM and MAS integrated with MBSE for the lifecycle of sCPSoS. 90:1-90:7 - Liam Walsh, Juergen Dingel, Karim Jahed:
Toward client-agnostic hybrid model editor tools as a service. 91:1 - Sándor Bácsi, Zoltán Theisz, Gergely Mezei, Ferenc Attila Somogyi, Dániel Palatinszky:
Step-wise refinement in multi-paradigm modeling. 92:1 - Romain Franceschini, Bentley James Oakes, Simon Van Mierlo, Moharram Challenger, Hans Vangheluwe:
Towards adaptive abstraction for continuous time models with dynamic structure. 93:1 - Jérôme Hugues, Anton Hristosov, John J. Hudak, Joe Yankel:
TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS. 94:1-94:5
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-14 21:25 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:
