Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th MODELSWARD 2020: Valletta, Malta: Revised Selected Papers
- Slimane Hammoudi, Luís Ferreira Pires, Bran Selic:
Model-Driven Engineering and Software Development - 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers. Communications in Computer and Information Science 1361, Springer 2021, ISBN 978-3-030-67444-1
Methodologies, Processes and Platforms
- David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
:
The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems. 3-25 - Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. 26-48 - Padma Iyenghar:
Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems. 49-73 - Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin:
Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices. 74-96
Applications and Software Development
- Anila Sahar Butt, Peter Fitch:
ProvAnalyser: A Framework for Scientific Workflows Provenance. 99-120 - Felix Rinker, Laura Waltersdorfer, Manuel Schüller, Stefan Biffl, Dietmar Winkler:
A Multi-Model Reviewing Approach for Production Systems Engineering Models. 121-146 - Guy Katz:
Augmenting Deep Neural Networks with Scenario-Based Guard Rules. 147-172
Modeling Languages, Tools and Architectures
- Frank Nordemann, Ralf Tönjes, Elke Pulvermüller, Heiko Tapken:
Resilient Business Process Modeling and Execution Using BPMN and Microservices. 175-199 - Alexandre Sarazin, Sébastien Truptil, Aurélie Montarnal, Jérémy Bascans, Xavier Lorca:
Model Transformation from CBM to EPL Rules to Detect Failure Symptoms. 200-224 - Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth:
Verification and Simulation of Time-Domain Properties for Models of Behaviour. 225-249 - Stefan Kapferer, Olaf Zimmermann:
Domain-Driven Architecture Modeling and Rapid Prototyping with Context Mapper. 250-272 - Reinhard Pröll, Noël Hagemann, Bernhard Bauer:
Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios. 273-297 - Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds:
A Methodological Assistant for UML and SysML Use Case Diagrams. 298-322 - Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
Model-Based Static and Runtime Verification for Ethereum Smart Contracts. 323-348 - Davide Arcelli:
A Novel Family of Queuing Network Models for Self-adaptive Systems. 349-376
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-04-30 20:58 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:
