|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 262 occurrences of 186 keywords
|
|
|
Results
Found 834 publication records. Showing 834 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
Lessons Learned Building a Tool for Workflow+. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sushant Vale, Sreedhar Reddy, Sivakumar Subramanian, Subhrojyoti Roy Chaudhuri, Sri Harsha Nistala, Anirudh Deodhar, Venkataramana Runkana |
A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Chen, Joanne M. Atlee |
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner |
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Garhewal, Carlos Diego Nascimento Damasceno |
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ana Jovanovic, Allison Sullivan |
Mutation Testing for Temporal Alloy Models. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Haydar Metin, Dominik Bork |
On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from BIGUML. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ikram Darif, Cristiano Politowski, Ghizlane El-Boussaidi, Imen Benzarti, Sègla Kpodjedo |
A Model-driven and Template-based Approach for Requirements Specification. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller 0005, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer |
Applicability of Model Checking for Verifying Spacecraft Operational Designs. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alisha Sharma Chapai, Eric J. Rapos |
SkeMo: Sketch Modeling for Real-Time Model Component Generation. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Martínez-Lasaca, Pablo Díez, Esther Guerra, Juan de Lara |
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Istvan David, Pascal Archambault, Quentin Wolak, Cong Vinh Vu, Timothé Lalonde, Kashif Riaz, Eugene Syriani, Houari A. Sahraoui |
Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard J. Berger, Christina Plump |
Automatic Security-Flaw Detection Replication and Comparison. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert Clarisó, Jordi Cabot |
Model-Driven Prompt Engineering. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robbert Jongeling, Antonio Vallecillo |
Uncertainty-aware consistency checking in industrial settings. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | José Antonio Hernández López, Carlos Durá, Jesús Sánchez Cuadrado |
Word Embeddings for Model-Driven Engineering. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nafiseh Kahani, Mojtaba Bagherzadeh, Reza Ahmadi, Juergen Dingel |
Leveraging modeling concepts and techniques to address challenges in network management. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Srivathsan Ravi, Laura Beermann, Oliver Kotte, Paolo Pazzaglia, Mythreya Vinnakota, Dirk Ziegenbein, Arne Hamann |
Timing-Aware Software-in-the-Loop Simulation of Automotive Applications with FMI 3.0. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Damien Foures, Mathieu Acher, Olivier Barais, Benoît Combemale, Jean-Marc Jézéquel, Jörg Kienzle |
Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wenli Zhang, Weixing Zhang, Daniel Strüber 0001, Regina Hebig |
Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems' Class Diagrams and Implementations. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Uelschen, Marco Schaarschmidt, Jannis Budde |
Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Allison Sullivan |
Integrating Testing into the Alloy Model Development Workflow. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023 |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Steimann, Robert Clarisó, Martin Gogolla |
OCL Rebuilt, From the Ground Up. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vinay Kulkarni, Sreedhar Reddy, Souvik Barat, Jaya Dutta |
Toward a Symbiotic Approach Leveraging Generative AI for Model Driven Engineering. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Keila Lima, Ludovico Iovino, Maria Teresa Rossi, Rogardt Heldal, Tosin Daniel Oyetoyan, Martina De Sanctis |
Marine Data Observability using KPIS: An MDSE Approach. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kua Chen, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró |
Automated Domain Modeling with Large Language Models: A Comparative Study. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mohsen Hosseinibaghdadabadi, Omar Alam, Nicolas Almerge, Jörg Kienzle |
Automated Grading of Use Cases. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hoang Nguyen Phuoc Bao, Manuel Clavel |
An extended model-based characterization of fine-grained access control for SQL queries. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Barkowsky, Holger Giese |
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Hendriks, Wytse Oortwijn |
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta |
A comprehensive framework for the analysis of automotive systems. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Qixiang Zhou, Tong Li 0001, Yunduo Wang |
Assisting in requirements goal modeling: a hybrid approach based on machine learning and logical reasoning. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dor Ma'ayan, Shahar Maoz, Roey Rozi |
Validating the correctness of reactive systems specifications through systematic exploration. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
Model-checking legal contracts with SymboleoPC. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay |
Solving the instance model-view update problem in AADL. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer |
Quantifying the variability mismatch between problem and solution space. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Luka Le Roux, Loïc Lagadec |
Practical multiverse debugging through user-defined reductions: application to UML models. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Koupil, Sebastián Hricko, Irena Holubová |
Schema inference for multi-model data. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Djonathan Barros, Sven Peldszus, Wesley K. G. Assunção, Thorsten Berger |
Editing support for software languages: implementation practices in language server protocols. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juri Di Rocco, Claudio Di Sipio, Phuong T. Nguyen 0001, Davide Di Ruscio, Alfonso Pierantonio |
Finding with NEMO: a recommender system to forecast the next modeling operations. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira 0001 |
Nested OSTRICH: hatching compositions of low-code templates. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Lathouwers, Vadim Zaytsev |
Modelling program verification tools for software engineers. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik |
System architecture synthesis for performability by logic solvers. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Aon Safdar, Farooque Azam, Muhammad Waseem Anwar, Usman Akram, Yawar Rasheed |
MoDLF: a model-driven deep learning framework for autonomous vehicle perception (AVP). |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Souvik Barat, Vinay Kulkarni, Tony Clark 0001, Balbir Barn |
Digital twin as risk-free experimentation aid for techno-socio-economic systems. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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 0001 |
The influence of software design representation on the design communication of teams with diverse personalities. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giuliano De Carlo, Philip Langer, Dominik Bork |
Advanced visualization and interaction in GLSP-based web modeling: realizing semantic zoom and off-screen elements. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rijul Saini, Gunter Mussbacher, Jin L. C. Guo, Jörg Kienzle |
Machine learning-based incremental learning in interactive domain modelling. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cosmina Cristina Ratiu, Wesley K. G. Assunção, Rainer Haas, Alexander Egyed |
Reactive links across multi-domain engineering models. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Esther Guerra, Paolo Bottoni |
Modular language product lines: a graph transformation approach. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alfa Yohannis, Dimitris S. Kolovos |
Towards model-based bias mitigation in machine learning. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay |
Precomputing reconfiguration strategies based on stochastic timed game automata. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano |
A declarative modelling framework for the deployment and management of blockchain applications. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel |
Predicate abstractions for smart contract validation. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xiao He 0005, Letian Tang, Yutong Li |
Accelerating similarity-based model matching using on-the-fly similarity preserving hashing. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Holger Stadel Borum, Christoph Seidl 0001 |
Survey of established practices in the life cycle of domain-specific languages. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer (eds.) |
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022 |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | João Martins, José M. Fonseca 0002, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira |
Verification of railway network models with EVEREST. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jia Li 0030, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen |
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Casamayor, Lorena Arcega, Francisca Pérez 0001, Carlos Cetina |
Bug localization in game software engineering: evolving simulations to locate bugs in software models of video games. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos |
Symboleo2SC: from legal contract specifications to smart contracts. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Istvan David, Kousar Aslam, Sogol Faridmoayer, Ivano Malavolta, Eugene Syriani, Patricia Lago |
Collaborative Model-Driven Software Engineering: A Systematic Update. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige |
Repository Mining for Changes in Simulink Models. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zahra VaraminyBahnemiry, Jessie Galasso, Khalid Belharbi, Houari A. Sahraoui |
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer |
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tarik Terzimehic, Kirill Dorofeev, Sebastian Voss |
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elyes Cherfa, Soraya Mesli-Kesraoui, Chouki Tibermacine, Salah Sadou, Régis Fleurquin |
Identifying Metamodel Inaccurate Structures During Metamodel/Constraint Co-Evolution. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh 0002, Joanne M. Atlee, Marsha Chechik |
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gauthier Lyan, Jean-Marc Jézéquel, David Gross-Amblard, Benoît Combemale |
DataTime: a Framework to smoothly Integrate Past, Present and Future into Models. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Colantoni, Antonio Garmendia, Luca Berardinelli, Manuel Wimmer, Johannes Bräuer |
Leveraging Model-Driven Technologies for JSON Artefacts: The Shipyard Case Study. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robbert Jongeling, Sachin Bhatambrekar, Anders Lofberg, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson |
Identifying manual changes to generated code: Experiences from the industrial automation domain. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu |
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Wiecher, Jannik Fischbach, Joel Greenyer, Andreas Vogelsang, Carsten Wolff, Roman Dumitrescu |
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Justin C. Cooper, Alfonso de la Vega, Richard F. Paige, Dimitris S. Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Piña, Horacio Hoyos Rodriguez |
Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maysam Zoor, Ludovic Apvrille, Renaud Pacalet |
Execution Trace Analysis for a Precise Understanding of Latency Violations. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Ege, Matthias Tichy |
Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Diego Nascimento Damasceno, Daniel Strüber 0001 |
Quality Guidelines for Research Artifacts in Model-Driven Engineering. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bianca Wiesmayr, Alois Zoitl, Rick Rabiser |
Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation Software. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vanessa Tietz, Julian Schoepf, Andreas Waldvogel, Björn Annighöfer |
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Eisenberg, Hans-Peter Pichler, Antonio Garmendia, Manuel Wimmer |
Towards Reinforcement Learning for In-Place Model Transformations. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng |
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Lourenço, Carla Ferreira 0001, João Costa Seco |
OSTRICH - A Type-Safe Template Language for Low-Code Development. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Majid Babaei, Juergen Dingel |
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Wete, Joel Greenyer, Andreas Wortmann 0001, Oliver Flegel, Martin Klein 0009 |
Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | José Antonio Hernández López, Jesús Sánchez Cuadrado |
Towards the Characterization of Realistic Model Generators using Graph Neural Networks. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Holger Stadel Borum, Henning Niss, Peter Sestoft |
On Designing Applied DSLs for Non-Programming Experts in Evolving Domains. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021 |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Enes Yigitbas, Simon Gorissen, Nils Weidmann, Gregor Engels |
Collaborative Software Modeling in Virtual Reality. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Juri Di Rocco, Claudio Di Sipio, Davide Di Ruscio, Phuong Thanh Nguyen 0001 |
A GNN-based Recommender System to Assist the Specification of Metamodels and Models. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin |
Synthesizing Verified Components for Cyber Assured Systems Engineering. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
A Lean Approach to Building Valid Model-Based Safety Arguments. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yize Shi, Chengjie Lu, Man Zhang 0001, Huihui Zhang, Tao Yue 0002, Shaukat Ali 0001 |
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ragnhild Halvorsrud, Costas Boletsis, Enrique Garcia-Ceja |
Designing a Modeling Language for Customer Journeys: Lessons Learned from User Involvement. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Arno Kesper, Viola Wenz, Gabriele Taentzer |
Detecting quality problems in research data: a model-driven approach. |
MoDELS |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 834 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|