default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 2021: Rhodes, Greece
- Tiziana Margaria
, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings. Lecture Notes in Computer Science 13036, Springer 2021, ISBN 978-3-030-89158-9
6th International School on Tool-Based Rigorous Engineering of Software Systems
- Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen:
An Introduction to Graphical Modeling of CI/CD Workflows with Rig. 3-17 - Philip Zweihoff, Bernhard Steffen:
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. 18-40 - Hafiz Ahmad Awais Chaudhary, Tiziana Margaria:
Integrating External Services in DIME. 41-54 - Barbara Steffen, Bernhard Steffen:
Asking Why. 55-67
Industrial Track
- Falk Howar, Hardi Hungar, Andreas Rausch:
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. 71-76 - Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen:
Agile Business Engineering: From Transformation Towards ContinuousInnovation. 77-94 - Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria:
Towards Living Canvases. 95-116 - Hardi Hungar:
Use Cases for Simulation in the Development of Automated Driving Systems. 117-128 - Robin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar:
Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles. 129-145 - Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch:
DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories. 146-161 - Malte Mauritz, Moritz Roidl:
From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics. 162-177 - Marcel Altendeitering:
Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data. 178-191
Programming: What is Next
- Klaus Havelund, Bernhard Steffen:
Programming - What is Next? 195-201 - Timothy C. Lethbridge:
Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering. 202-212 - Edward A. Lee, Marten Lohstroh:
Time for All Programs, Not Just Real-Time Programs. 213-232 - Klaus Havelund, Robert Bocchino:
Integrated Modeling and Development of Component-Based Embedded Software in Scala. 233-252 - Robby, John Hatcliff:
Slang: The Sireum Programming Language. 253-273 - John Hatcliff, Jason Belt, Robby, Todd Carpenter:
HAMR: An AADL Multi-platform Code Generation Toolset. 274-295 - Peter D. Mosses:
Fundamental Constructs in Programming Languages. 296-321 - David Harel, Assaf Marron:
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. 322-334 - Philip Wadler:
GATE: Gradual Effect Types. 335-345 - Bran Selic, Alfonso Pierantonio:
Fixing Classification: A Viewpoint-Based Approach. 346-356 - Perdita Stevens:
The Future of Programming andModelling: A Vision. 357-377 - Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai:
Towards Model-Based Intent-Driven Adaptive Software. 378-392 - Tiziana Margaria, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, Alexander Schieweck:
The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS. 393-413 - Markus Voelter:
Programming vs. That Thing Subject Matter Experts Do. 414-425 - Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen:
Aligned, Purpose-Driven Cooperation: The Future Way of System Development. 426-449
Software Verification Tools
- Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang:
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. 453-469
Rigorous Engineering of Collective Adaptive Systems
- Luca Di Stefano, Frédéric Lang:
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. 473-489
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 2026-03-05 22:27 CET 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:
