Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 36 matches
- 2022
- Souvik Barat, Vinay Kulkarni, Tony Clark, Balbir Barn:
Digital twin as risk-free experimentation aid for techno-socio-economic systems. MoDELS 2022: 66-75 - Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano:
A declarative modelling framework for the deployment and management of blockchain applications. MoDELS 2022: 311-321 - Djonathan Barros, Sven Peldszus, Wesley K. G. Assunção, Thorsten Berger:
Editing support for software languages: implementation practices in language server protocols. MoDELS 2022: 232-243 - Holger Stadel Borum, Christoph Seidl:
Survey of established practices in the life cycle of domain-specific languages. MoDELS 2022: 266-277 - 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: 24-30 - 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: 221-231 - 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. MoDELS 2022: 356-366 - 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: 379-389 - Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
System architecture synthesis for performability by logic solvers. MoDELS 2022: 43-54 - Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel:
Predicate abstractions for smart contract validation. MoDELS 2022: 289-299 - 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: 31-42 - Xiao He, Letian Tang, Yutong Li:
Accelerating similarity-based model matching using on-the-fly similarity preserving hashing. MoDELS 2022: 244-254 - Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer:
Quantifying the variability mismatch between problem and solution space. MoDELS 2022: 322-333 - 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. MoDELS 2022: 255-265 - 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: 109-120 - Pavel Koupil, Sebastián Hricko, Irena Holubová:
Schema inference for multi-model data. MoDELS 2022: 13-23 - Juan de Lara, Esther Guerra, Paolo Bottoni:
Modular language product lines: a graph transformation approach. MoDELS 2022: 334-344 - Sophie Lathouwers, Vadim Zaytsev:
Modelling program verification tools for software engineers. MoDELS 2022: 98-108 - Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. MoDELS 2022: 367-378 - 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: 165-175 - Dor Ma'ayan, Shahar Maoz, Roey Rozi:
Validating the correctness of reactive systems specifications through systematic exploration. MoDELS 2022: 132-142 - 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. MoDELS 2022: 345-355 - 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: 121-131 - Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay:
Solving the instance model-view update problem in AADL. MoDELS 2022: 55-65 - Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Model-checking legal contracts with SymboleoPC. MoDELS 2022: 278-288 - 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. MoDELS 2022: 87-97 - 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: 300-310 - Cosmina Cristina Ratiu, Wesley K. G. Assunção, Rainer Haas, Alexander Egyed:
Reactive links across multi-domain engineering models. MoDELS 2022: 76-86 - 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. MoDELS 2022: 154-164 - 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: 187-198
skipping 6 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-06 03:26 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint