default search action

combined dblp search
author search
venue search
publication search

ask others

ISoLA 2021: Rhodes, Greece

> Home > Conferences and Workshops > ISoLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/isola/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/2021
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

- view
  authority control:
- export record
  dblp key:
  - conf/isola/TegelerTSBBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/TegelerTSBBS21
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
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ZweihoffS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ZweihoffS21
Philip Zweihoff, Bernhard Steffen:
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. 18-40
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ChaudharyM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChaudharyM21
Hafiz Ahmad Awais Chaudhary, Tiziana Margaria:
Integrating External Services in DIME. 41-54
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SteffenS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SteffenS21
Barbara Steffen, Bernhard Steffen:
Asking Why. 55-67

Industrial Track

- view
  authority control:
- export record
  dblp key:
  - conf/isola/HowarHR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HowarHR21
Falk Howar, Hardi Hungar, Andreas Rausch:
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. 71-76
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SteffenHTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SteffenHTS21
Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen:
Agile Business Engineering: From Transformation Towards ContinuousInnovation. 77-94
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SteffenMRRM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SteffenMRRM21
Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria:
Towards Living Canvases. 95-116
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Hungar21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Hungar21
Hardi Hungar:
Use Cases for Simulation in the Development of Automated Driving Systems. 117-128
- view
  authority control:
- export record
  dblp key:
  - conf/isola/PhilippQHSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/PhilippQHSH21
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/isola/JohnGMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/JohnGMP21
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
- view
  authority control:
- export record
  dblp key:
  - conf/isola/MauritzR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MauritzR21
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
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Altendeitering21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Altendeitering21
Marcel Altendeitering:
Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data. 178-191

Programming: What is Next

- view
  authority control:
- export record
  dblp key:
  - conf/isola/HavelundS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HavelundS21
Klaus Havelund, Bernhard Steffen:
Programming - What is Next? 195-201
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Lethbridge21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Lethbridge21
Timothy C. Lethbridge:
Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering. 202-212
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LeeL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LeeL21
Edward A. Lee, Marten Lohstroh:
Time for All Programs, Not Just Real-Time Programs. 213-232
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HavelundB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HavelundB21
Klaus Havelund, Robert Bocchino:
Integrated Modeling and Development of Component-Based Embedded Software in Scala. 233-252
- view
  authority control:
- export record
  dblp key:
  - conf/isola/RobbyH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/RobbyH21
Robby, John Hatcliff:
Slang: The Sireum Programming Language. 253-273
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HatcliffBRC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HatcliffBRC21
John Hatcliff, Jason Belt, Robby, Todd Carpenter:
HAMR: An AADL Multi-platform Code Generation Toolset. 274-295
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Mosses21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Mosses21
Peter D. Mosses:
Fundamental Constructs in Programming Languages. 296-321
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HarelM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HarelM21
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
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Wadler21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Wadler21
Philip Wadler:
GATE: Gradual Effect Types. 335-345
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SelicP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SelicP21
Bran Selic, Alfonso Pierantonio:
Fixing Classification: A Viewpoint-Based Approach. 346-356
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Stevens21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Stevens21
Perdita Stevens:
The Future of Programming andModelling: A Vision. 357-377
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Balasubramanian21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Balasubramanian21
Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai:
Towards Model-Based Intent-Driven Adaptive Software. 378-392
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/isola/MargariaCGRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MargariaCGRS21
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
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Voelter21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Voelter21
Markus Voelter:
Programming vs. That Thing Subject Matter Experts Do. 414-425
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ZweihoffTSBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ZweihoffTSBS21
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

- view
  authority control:
- export record
  dblp key:
  - conf/isola/GaoSLCSY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GaoSLCSY21
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

- view
  authority control:
- export record
  dblp key:
  - conf/isola/StefanoL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/StefanoL21
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.