Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Markus Voelter |
Programming vs. That Thing Subject Matter Experts Do. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bran Selic, Alfonso Pierantonio |
Fixing Classification: A Viewpoint-Based Approach. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Robert Bocchino |
Integrated Modeling and Development of Component-Based Embedded Software in Scala. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses |
Fundamental Constructs in Programming Languages. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bo Gao, Ling Shi, Jiaying Li 0001, Jialiang Chang, Jun Sun 0001, Zijiang Yang 0006 |
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philip Zweihoff, Bernhard Steffen |
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria |
Towards Living Canvases. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Timothy C. Lethbridge |
Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Steffen, Bernhard Steffen |
Asking Why. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Falk Howar, Hardi Hungar, Andreas Rausch |
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Bernhard Steffen |
Programming - What is Next? |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | John Hatcliff, Jason Belt, Robby, Todd Carpenter |
HAMR: An AADL Multi-platform Code Generation Toolset. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai |
Towards Model-Based Intent-Driven Adaptive Software. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
GATE: Gradual Effect Types. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Di Stefano 0001, Frédéric Lang |
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Edward A. Lee, Marten Lohstroh |
Time for All Programs, Not Just Real-Time Programs. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Bernhard Steffen (eds.) |
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 |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hafiz Ahmad Awais Chaudhary, Tiziana Margaria |
Integrating External Services in DIME. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Altendeitering |
Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen |
Aligned, Purpose-Driven Cooperation: The Future Way of System Development. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens |
The Future of Programming andModelling: A Vision. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen |
Agile Business Engineering: From Transformation Towards ContinuousInnovation. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hardi Hungar |
Use Cases for Simulation in the Development of Automated Driving Systems. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robby, John Hatcliff |
Slang: The Sireum Programming Language. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Wolter, Zinovy Diskin |
Contexts and Context Awareness in View of the Diagram Predicate Framework. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio |
Gesper: Support to Capitalize on Experience in a Network of SMEs. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
Safety and Response-Time Analysis of an Automotive Accident Assistance Service. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael G. Hinchey |
Encouraging the Uptake of Formal Methods Training in an Industrial Context. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Axel Hahn, Stephan große Austing, Stefan Häusler, Matthias Reinelt |
Requirements for Ontology Based Design Project Assessment. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Business Metrics, Ontology Analysis |
1 | Raymond T. Boute |
Simple Gedanken Experiments in Leveraging Applications of Formal Methods. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Georg Jung, Tiziana Margaria, Ralf Nagel 0001, Wolfgang Schubert, Bernhard Steffen, Horst Voigt |
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder 0001, Francesco Tiezzi 0001, Mirco Tribastone, Dániel Varró |
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ellen Francine Barbosa, José Carlos Maldonado |
Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jianhua Zhao, Linzhang Wang, Xuandong Li |
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ali Nasrat Haidar, Ali E. Abdallah |
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Weaving Security into Functional Models, Z Promotion, Authentication, Authorization, Security Requirements, Z specification |
1 | Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi |
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joaquin Vanschoren, Hendrik Blockeel, Bernhard Pfahringer, Geoffrey Holmes 0001 |
Organizing the World's Machine Learning Information. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | J. Paul Gibson |
Weaving a Formal Methods Education with Problem-Based Learning. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum |
1 | Dmitrij V. Koznov, Michel Pliskin |
Computer-Supported Collaborative Learning with Mind-Maps. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Author/Commenter Cycle Review Process, Collaborative Learning, Computer-Supported Collaborative Learning, Mind maps, SADT |
1 | Dimitrios Georgakopoulos 0001 |
Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Large Scale Embedded Software Systems, Comprehensive Architecture, Verification, Specification |
1 | Ali Nasrat Haidar, Ali E. Abdallah |
Composition of Web Services Using Wrappers. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Idir Aït-Sadoune, Yamine Aït Ameur |
Animating Event B Models by Formal Data Models. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robert Mittermayr, Johann Blieberger |
Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli |
A Framework for Analyzing and Testing the Performance of Software Services. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
Modelling Coordination and Compensation. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | J. Christian Attiogbé |
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Verification, Specification, Event B, Dynamic Architecture |
1 | Karin Koogan Breitman, Michael G. Hinchey |
The Use of Formal Ontology to Specify Context in Ubiquitous Computing. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, Margreet Kloppenburg, Iain Watt, Stephanie M. van Rooden, Martine Visser, Johan Marinus, Edward O. Cannon, Andreas Bender 0002, Jacobus J. van Hilten, P. Eline Slagboom, Joost N. Kok |
A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics Data. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner |
Measurement-Based Timing Analysis. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Polle, Michael Uelschen |
Tailoring and Optimising Software for Automotive Multicore Systems. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Automotive Embedded Systems, Producer-Consumer Pattern, Scheduling, Multicore |
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bajohr, Tiziana Margaria |
High Service Availability in MaTRICS for the OCS. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Liang Guo, Abhik Roychoudhury |
Debugging Statecharts Via Model-Code Traceability. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Debugging, Traceability, Statecharts, Slicing |
1 | Tiziana Margaria, Bernhard Steffen (eds.) |
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings |
ISoLA |
2008 |
DBLP BibTeX RDF |
|
1 | Bart Orriëns, Willem-Jan van den Heuvel, Mike P. Papazoglou |
On the Risk Management and Auditing of SOA Based Business Processes. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | M. V. Arkhipova, Sergey V. Zelenov |
Directed Generation of Test Data for Static Semantics Checker. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
context condition, grammar, specification based testing, static semantics, Automated test data generation |
1 | Laura Brandán Briones, Alexander Lazovik, Philippe Dague |
Optimizing the System Observability Level for Diagnosability. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Bernhard Steffen |
Agile IT: Thinking in User-Centric Models. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Naiyong Jin, Huibiao Zhu |
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Alternating Automata, Memoryful Synchronization, Satisfiability |
1 | Bican Xia, Lu Yang, Naijun Zhan |
Program Verification by Reduction to Semi-algebraic Systems Solving. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Semi-Algebraic Systems, Program Verification, Invariants, Quantifier Elimination, Ranking Functions, Polynomial Programs |
1 | Long Quan, Zongyan Qiu, Zhiming Liu 0001 |
Formal Use of Design Patterns and Refactoring. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
rCOS, Object-Orientation, Design Pattern, Refinement, Refactoring |
1 | Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs |
A Simulation Approach for Performance Validation during Embedded Systems Design. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes |
A Use-Case Driven Approach to Formal Service-Oriented Modelling. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski |
Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Greci, Fabio Martinelli, Ilaria Matteucci |
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Contract-policy matching, symbolic transition systems, mobile application, simulation relation |
1 | Jeroen S. de Bruin, Joost N. Kok, Nada Lavrac, Igor Trajkovski |
On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andries Stam |
The ASK System and the Challenge of Distributed Knowledge Discovery. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos |
Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Ubiquitous Computing, Requirements Engineering, Software Quality, Experimental Software Engineering |
1 | Florian Franz |
Experiences with Evolutionary Timing Test of Automotive Software Components. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister 0002, Marek Jersak, Kai Richter 0001, Christian Ferdinand |
Timing Validation of Automotive Software. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Ma, Ji Wang 0001, Wei Dong 0006 |
Computing Must and May Alias to Detect Null Pointer Dereference. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Natallia Kokash, Sun Meng |
Towards Using Reo for Compliance-Aware Business Process Modeling. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Konstantine Arkoudas, Olin Shivers |
Trusted Theorem Proving: A Case Study in SLD-Resolution. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Boris Langer, Michael Tautschnig |
Navigating the Requirements Jungle. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim |
Squeeze All the Power Out of Your Hardware to Verify Your Software!. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel 0001, Bernhard Steffen, Hong Trinh |
The jABC Approach to Rigorous Collaborative Development of SCM Applications. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Seefelder de Assis, Daniel Schwabe |
The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
ubiquitous user modeling, modeling, collaboration, ubiquitous computing, Adaptivity, group modeling |
1 | Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin |
Automated Formal Testing of C API Using T2C Framework. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
compliance testing, parameterized tests, medium-quality tests, Formal testing |
1 | Eva Kühn, Richard Mordinyi, Christian Schreiber |
An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, . |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Charles Morisset, Volker Stolz |
A Component-Based Access Control Monitor. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Access Control, Component, Composition, RBAC |
1 | Michael Paulitsch, Harald Rueß, Maria Sorea |
Non-functional Avionics Requirements. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
integrated modular avionics, Non-functional requirements, avionics |
1 | Ruth Breu, Alexander Lechner, Mathias Willburger, Basel Katt |
Workflow Testing. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs |
Optimizing Automatic Deployment Using Non-functional Requirement Annotations. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joris Rehm, Dominique Cansell |
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Dines Bjørner |
Development of Transportation Systems. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado 0001, Michael G. Hinchey |
Using Analogy to Promote Conceptual Modeling Reuse. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Nabila Salmi, Patrice Moreaux, Malika Ioualalen |
Formal models of Fractal Component Based Systems for performance analysis. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels (eds.) |
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Mohamed H. Zaki, Sofiène Tahar, Guy Bois |
Qualitative Abstraction based Verification for Analog Circuits. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Cláudia Betous-Almeida, Jean-Luc Scharbarg, Christian Fraboul |
Fault-Tolerance Analysis of Mixed CAN/Switched Ethernet Architecture. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis |
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|