yusuke1997/dblp-id-title huggingface dataset:
Analysing Collective Adaptive Systems by Proving Theorems
Formal Verification of an Industrial Distributed Algorithm: An Experience Report
Model Learning and Test Generation for Event-B Decomposition
Composition of Component Models - A Key to Construct Big Systems
Chasing Errors Using Biasing Automata
Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
Synthesizing Subtle Bugs with Known Witnesses
Foundation Models for the Digital Twins Creation of Cyber-Physical Systems
Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring
Towards the Verification of Adaptable Processes
OASIS formal approach for distributed safety-critical real-time system design
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning
Embedding Finite Automata within regular Expressions
Specifying Framing Conditions for Smart Contracts
Using Supplementary Properties to Reduce the Need for Documentation
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
Execution Trace Analysis Using LTL-FO ^+
The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring
From Computational Thinking to Constructive Design with Simple Models
On the Role of Non-functional Properties in Compiler Verification
Verification and Validation of Concurrent and Distributed Systems (Track Summary)
Merging Modeling and Programming Using Umple
Engineering Ethical-Aware Collective Adaptive Systems
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems
Measuring Adaptability and Reliability of Large Scale Systems
Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014
Towards Dynamic Adaptation of Probabilistic Systems
Interaction and Coordination of Tools for Structured Data
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning
X-by-Construction Meets AI
Debugging Statecharts Via Model-Code Traceability
SpecifyThis - Bridging Gaps Between Program Specification Paradigms
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III
Improving Portability of Linux Applications by Early Detection of Interoperability Issues
Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool
Runtime Verification Meets Controller Synthesis
A Rule Markup Language and Its Application to UML
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs
LearnLib Tutorial: From Finite Automata to Register Interface Programs
On the Pragmatics of Moving from System Models to Program Contracts
Flow Control with (Min, +) Algebra
Specifying and Verifying Advanced Control Features
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement
Components in Probabilistic Systems: Suitable by Construction
Distributed Peer-to-Peer Application development with Declarative and Aspect-Oriented techniques
Connecting Algebraic and Logical Descriptions of Concurrent Systems
Making Tezos Smart Contracts More Reliable with Coq
Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain
Bounded-Interference Sequentialization for Testing Concurrent Programs
A NUPlatform for Software on Articulated Mobile Robots
Securing Automatic Small Railway Vehicles Using Automatic Train Protection
Checking Correctness of Services Modeled as Priced Timed Automata
Probabilistic Model Checking of Incomplete Models
Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification
Inference and Abstraction of the Biometric Passport
Shield Synthesis for Reinforcement Learning
Statistical Model Checking the 2018 Edition!
Synthesis from Infinite-State Generalized Reactivity(1) Specifications
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices
Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Inferring Performance from Code: A Review
Runtime Verification for Interconnected Medical Devices
Mutation-Based Test Suite Evolution for Self-Organizing Systems
Attack Tree Generation via Process Mining
Building iRIS: A Robotic Immune System
Tutorial: An Overview of Malware Detection and Evasion Techniques
Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application"
Tailoring and Optimising Software for Automotive Multicore Systems
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update
Engineering of Digital Twins for Cyber-Physical Systems
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Automated Verification of Embedded Control Software - Track Introduction
Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language
Fusing Modeling and Programming into Language-Oriented Programming - Our Experiences with MPS
Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study
Using Formal Methods to increase confidence in one Home Network System implementation: Case study
Integrating External Services in DIME
Safe and Secure Architecture Using Diverse Formal Methods
DIME: A Programming-Less Modeling Environment for Web Applications
Round-trip engineering of reactive systems
G o A t: Attribute-Based Interaction in Google Go
On a Unified View of Modeling and Programming Position Paper
Model-Driven Active Automata Learning with LearnLib Studio
Analysis Techniques for Service Models
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4 th Track Edition
Towards Performance-Aware Engineering of Autonomic Component Ensembles
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models
Towards Incremental Validation of Railway Systems
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins
Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique
Hypothesis Testing for Rare-Event Simulation: Limitations and Possibilities
A Case Study in Model-Based Adaptation of Web Services
A Risk Assessment Framework for Software Testing
A Consolidated View on Specification Languages for Data Analysis Workflows
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining
Evolving Critical Systems - Track Introduction
Agile IT: Thinking in User-Centric Models
Quantitative Modelling and Analysis
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System
Towards a Unified View of Modeling and Programming
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Smart Derivatives: On-Chain Forwards for Digital Assets
Using XML Transformations for Enterprise Architectures
Plasma Lab: A Modular Statistical Model Checking Platform
Formal Functionally Deterministic Scheduling
Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events
Verification of embbeded systems with preemption: a negative result
Executable Documentation: From Documentation Languages to Purpose-Specific Languages
Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits
A Modular Design Framework to Assess Intelligent Trains
Testing Quantum Processes
Parametric Timed Bisimulation
Software that Meets Its Intent
The aeronautical systems development challenges for Airbus
Efficient Static Analysis of Marlowe Contracts
Abstractions for Modeling Complex Systems
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach
Challenges of Timing Verification Tools in the Automotive Domain
Towards a Framework for Scalable Model Checking of Concurrent C Programs
Logic Fragments: Coordinating Entities with Logic Programs
Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins
Writing Robotics Applications with X-Klaim
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007
X-by-Construction - Correctness Meets Probability
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II
Statistical Model Checking: Black or White?
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
Safety and Dependability Analysis of Self-Adaptive Systems
KOROS Initiative: Automatized Throwing and Catching for Material Transportation
Intelligent Adaption Process in Cyber-Physical Production Systems
Semi-automated Workflow Synthesis
Data Science Challenges to Improve Quality Assurance of Internet of Things Applications
User Profiles for Context-Aware Reconfiguration in Software Product Lines
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network
Context-Aware Contracts as a Lingua Franca for Behavioral Specification
Development of Dependable Component-Based Distributed Applications
On the Industrial Application of Critical Software Verification with VerCors
On Testing Message-Passing Components
Concepts and Techniques of an Online 3D Atlas - Challenges in Cartographic 3D Geovisualization
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns
From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics
Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations
Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing
On Technical Debt in Software Testing - Observations from Industry
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
Reliable Smart Contracts
Bitcoin Covenants Unchained
Towards Secure Digital Twins
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)
A Formal Approach to Software Product Families
Monitoring Local and Global Properties of Collective Adaptive Systems
A Unified Approach for Static and Runtime Verification: Framework and Applications
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins
Statistical Model Checking QoS Properties of Systems with SBIP
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems
Formal Executable Models of Cell Signaling Primitives
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification
UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms
Symbolic Execution with CEGAR
Combinatory Logic Synthesizer
An Introduction to Graphical Modeling of CI/CD Workflows with Rig
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Understanding IT Organizations
Scaling Correctness-by-Construction
The Use of Formal Ontology to Specify Context in Ubiquitous Computing
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines
A Distributed Dynamics for WebGraph Decontamination
Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Modular Regression Verification for Reactive Systems
Formal Use of Design Patterns and Refactoring
Logic-Based Explainability: Past, Present and Future
UPPAAL in Practice: Quantitative Verification of a RapidIO Network
Formal Foundations of Consistency in Model-Driven Development
Challenges of Multilingual Program Specification and Analysis
Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data
Covering Arrays Generation Methods Survey
Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation
Variability-Based Design of Services for Smart Transportation Systems
Interest Beyond Violation: On Points-of-Interest in Runtime Verification
Step-Wise Development of Provably Correct Actor Systems
GATE: Gradual Effect Types
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more
Compliance, Functional Safety and Fault Detection by Formal Methods
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code
Asking Why
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap
Abstraction and Genericity in Why3
Experiences with Evolutionary Timing Test of Automotive Software Components
Introduction to Track on Engineering Virtualized Services
Workflow Construction for Service-Oriented Knowledge Discovery
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing
RERS 2018: CTL, LTL, and Reachability
Adaptive Data-driven Predictor of Ship Maneuvering Motion Under Varying Ocean Environments
Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching
Formal Verification in Automotive Industry: Enablers and Obstacles
Specification-Based Monitoring in C++
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions
Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital Twins
Integrated Modeling and Development of Component-Based Embedded Software in Scala
A Linked Data Approach to Sharing Workflows and Workflow Results
Formally Proved Anti-tearing Properties of Embedded C Code
Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses
Static Timing Analysis of Real-Time Operating System Code
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021
Improve Model Checking Efficiency Using Specific Knowledge about the System
Configurable-by-Construction Runtime Monitoring
Verification Techniques for Hybrid Systems
High Service Availability in MaTRICS for the OCS
Native Custom Tokens in the Extended UTXO Model
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model
Epistemic Ensembles
A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways
Formal Methods Meet Machine Learning (F3ML)
Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read
Towards Model-Based Intent-Driven Adaptive Software
Capturing Inter-process Communication for Runtime Verification on Android
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
DSL Implementation for Model-Based Development of Pumps
Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles
DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems
Certificates of Resource Usage on Mobile Telephones
A Formal Model of the Kubernetes Container Framework
Learning-Based Test Programming for Programmers
Risk-Based Vulnerability Testing Using Security Test Patterns
High-Level Program Properties in Frama-C: Definition, Verification and Deduction
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
Capturing Dependencies Within Machine Learning via a Formal Process Model
Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies
Composing Communicating Systems, Synchronously
Requirements Driven Data Warehouse Design: We Can Go Further
Formally Unifying Modeling and Design for Embedded Systems - A Personal View
On the Power of Statistical Model Checking
Back-To-Back Testing of Model-Based Code Generators
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems
DISTiL: DIStributed Industrial Computing Environment for Trustworthy DigiTaL Workflows: A Design Perspective
Software Aspects of Robotic Systems
Linux Driver Verification - (Position Paper)
Runtime Verification for Stream Processing Applications
What Does AI Have to Do with RV? - (Extended Abstract)
Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic
On the Difficulty of Drawing the Line
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain
Marlowe: Financial Contracts on Blockchain
Track Introduction: Scientific Workflows
Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History
A Privacy-Aware Conceptual Model for Handling Personal Data
Finding Idioms in Source Code Using Subtree Counting Techniques
Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
Designing Safe, Reliable Systems Using Scade
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning
DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories
Integrated Modeling Workflow for Security Assurance
Contexts and Context Awareness in View of the Diagram Predicate Framework
Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Fully Abstract Operation Contracts
Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs
The ProC/B-Approach from informal descriptions to formal models
Scalability of Deductive Verification Depends on Method Call Treatment
Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination
Timing Validation of Automotive Software
A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language
A Library and Scripting Language for Tool Independent Simulation Descriptions
Considerations for Healthcare Applications in a Platform as a Service Environment
Exploring a Parallel SCC Algorithm
Simple Gedanken Experiments in Leveraging Applications of Formal Methods
Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)
A Long and Winding Road Towards Modular Synthesis
DeltaCCS: A Core Calculus for Behavioral Change
Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006
Statistical Model Checking of Incomplete Stochastic Systems
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering
Benchmarking Open-Source Static Analyzers for Security Testing for C
Towards a Methodology for Formally Analyzing Federated Identity Management Systems
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
Strategies in Spatio-Temporal Logics for Multi-agent Systems
Evolving Data Space Technologies: Lessons Learned from an IDS Connector Reference Implementation
Optimality-Preserving Reduction of Chemical Reaction Networks
Heterogeneous Semantics and Unifying Theories
Error Handling: From Theory to Practice
OnTrack: The Railway Verification Toolset - Extended Abstract
On the Risk Management and Auditing of SOA Based Business Processes
BDDs on the Run
Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development
Timing Constraints: Theory Meets Practice
Towards Confidentiality-by-Construction
Modelling Coordination in Biological Systems
Temporal Reasoning on Incomplete Paths
Facets of Software Doping
Information Flow Analysis for Go
Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level
A Simple and Flexible Timing Constraint Logic
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
Automating Software Re-engineering: Introduction to the ISoLA 2022 Track
A Liskov Principle for Delta-Oriented Programming
A Non-unified View of Modelling, Specification and Programming
Efficient and Robust Shape Retrieval from Deformable Templates
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Self-adaptation and Evolution by Learning - Description of EternalS Task Force 3
Testing Avionics Software: Is FMI up to the Task?
Formal Modeling of Data. A Case Study for Space Applications
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016
Directed Generation of Test Data for Static Semantics Checker
"Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks."
Selective Presumed Benevolence in Multi-party System Verification
Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach
Increasing the Reusability of Enforcers with Lifecycle Events
Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids
Patterns with Algebraic Properties in BPEL0
Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons Learned
An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,
Temporal Properties of Smart Contracts
WOMM: A Weak Operational Memory Model