ISoLA

Publications

2021

Edward A. Lee, Marten Lohstroh
Time for All Programs, Not Just Real-Time Programs. ISoLA (2021)
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. ISoLA (2021)
Luca Di Stefano, Frédéric Lang
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. ISoLA (2021)
Robin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar
Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles. ISoLA (2021)
Perdita Stevens
The Future of Programming andModelling: A Vision. ISoLA (2021)
Malte Mauritz, Moritz Roidl
From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics. ISoLA (2021)
Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen
Aligned, Purpose-Driven Cooperation: The Future Way of System Development. ISoLA (2021)
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. ISoLA (2021)
Barbara Steffen, Bernhard Steffen
Asking Why. ISoLA (2021)
Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria
Towards Living Canvases. ISoLA (2021)
Falk Howar, Hardi Hungar, Andreas Rausch
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ISoLA (2021)
Robby, John Hatcliff
Slang: The Sireum Programming Language. ISoLA (2021)
Marcel Altendeitering
Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data. ISoLA (2021)
Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
Integrating External Services in DIME. ISoLA (2021)
Hardi Hungar
Use Cases for Simulation in the Development of Automated Driving Systems. ISoLA (2021)
Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen
Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA (2021)
Tiziana Margaria, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, Alexander Schieweck
The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS. ISoLA (2021)
Klaus Havelund, Bernhard Steffen
Programming - What is Next? ISoLA (2021)
Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen
An Introduction to Graphical Modeling of CI/CD Workflows with Rig. ISoLA (2021)
John Hatcliff, Jason Belt, Robby, Todd Carpenter
HAMR: An AADL Multi-platform Code Generation Toolset. ISoLA (2021)
Timothy C. Lethbridge
Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering. ISoLA (2021)
Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai
Towards Model-Based Intent-Driven Adaptive Software. ISoLA (2021)
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. ISoLA (2021)
Peter D. Mosses
Fundamental Constructs in Programming Languages. ISoLA (2021)
Klaus Havelund, Robert Bocchino
Integrated Modeling and Development of Component-Based Embedded Software in Scala. ISoLA (2021)
Philip Wadler
GATE: Gradual Effect Types. ISoLA (2021)
Philip Zweihoff, Bernhard Steffen
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. ISoLA (2021)
Bran Selic, Alfonso Pierantonio
Fixing Classification: A Viewpoint-Based Approach. ISoLA (2021)
Markus Voelter
Programming vs. That Thing Subject Matter Experts Do. ISoLA (2021)

volume 13036, 2021

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 ISoLA 13036 (2021)