Sign in
ISoLA
2004
2010
2015
2021
2004
2021
Keyphrases
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)
2008
Bart Orriëns
,
Willem-Jan van den Heuvel
,
Mike P. Papazoglou
On the Risk Management and Auditing of SOA Based Business Processes.
ISoLA
(2008)
Andries Stam
The ASK System and the Challenge of Distributed Knowledge Discovery.
ISoLA
(2008)
M. V. Arkhipova
,
Sergey V. Zelenov
Directed Generation of Test Data for Static Semantics Checker.
ISoLA
(2008)
Ellen Francine Barbosa
,
José Carlos Maldonado
Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules.
ISoLA
(2008)
Rodrigo O. Spínola
,
Felipe C. R. Pinto
,
Guilherme Horta Travassos
Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project.
ISoLA
(2008)
Tiziana Margaria
,
Bernhard Steffen
Agile IT: Thinking in User-Centric Models.
ISoLA
(2008)
Jianhua Zhao
,
Linzhang Wang
,
Xuandong Li
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.
ISoLA
(2008)
Ali Nasrat Haidar
,
Ali E. Abdallah
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.
ISoLA
(2008)
Liang Guo
,
Abhik Roychoudhury
Debugging Statecharts Via Model-Code Traceability.
ISoLA
(2008)
Roozbeh Farahbod
,
Uwe Glässer
,
Piper J. Jackson
,
Mona Vajihollahi
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.
ISoLA
(2008)
Florian Franz
Experiences with Evolutionary Timing Test of Automotive Software Components.
ISoLA
(2008)
Laura Brandán Briones
,
Alexander Lazovik
,
Philippe Dague
Optimizing the System Observability Level for Diagnosability.
ISoLA
(2008)
Uwe Wolter
,
Zinovy Diskin
Contexts and Context Awareness in View of the Diagram Predicate Framework.
ISoLA
(2008)
Joaquin Vanschoren
,
Hendrik Blockeel
,
Bernhard Pfahringer
,
Geoffrey Holmes
Organizing the World's Machine Learning Information.
ISoLA
(2008)
Jan Gustafsson
,
Björn Lisper
,
Markus Schordan
,
Christian Ferdinand
,
Peter Gliwa
,
Marek Jersak
,
Guillem Bernat
ALL-TIMES - A European Project on Integrating Timing Technology.
ISoLA
(2008)
Torsten Polle
,
Michael Uelschen
Tailoring and Optimising Software for Automotive Multicore Systems.
ISoLA
(2008)
Michael G. Hinchey
Encouraging the Uptake of Formal Methods Training in an Industrial Context.
ISoLA
(2008)
Axel Hahn
,
Stephan große Austing
,
Stefan Häusler
,
Matthias Reinelt
Requirements for Ontology Based Design Project Assessment.
ISoLA
(2008)
Isabel Cafezeiro
,
José Viterbo Filho
,
Alexandre Rademaker
,
Edward Hermann Haeusler
,
Markus Endler
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing.
ISoLA
(2008)
volume 17, 2008
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
ISoLA
17 (2008)