yusuke1997/dblp-id-title huggingface dataset:
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
Software Assurance Research Infusion: The NASA Experience
An Approach for Extended Swarm Formation Flight with Drones: tt PROTEASE 2.0
Designing Distributed Control with Hybrid Active Objects
Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems
Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
Formalization of the AADL Run-Time Services
Towards a Logic for Inferring Properties of Event Streams
The Future of Programming andModelling: A Vision
The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents
Towards Formal Design of FDIR Components with AI
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing
Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules
Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks
Verifying parametrized, featured networks by abstraction
Programming of CAS Systems by Relying on Attribute-Based Communication
Flexible Monitor Deployment for Runtime Verification of Large Scale Software
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL
Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)
Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream Engineering, Visualisation, and Analytics, in Smart Factories
Model-Based Code-Generators and Compilers - Track Introduction
Service Component Architectures in Robotics: The SCA-Orocos Integration
Model-Based Testing as a Service for IoT Platforms
Real-Coded Quantum Inspired Evolution Algorithm Applied to Engineering Optimization Problems
Towards Using Reo for Compliance-Aware Business Process Modeling
Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors
Programming with Actors in Java 8
Harnessing Theories for Tool Support
Extending Source Code Generators for Evidence-Based Software Certification
Towards More Adaptive Voice Applications
Meta-Level Reuse for Mastering Domain Specialization
Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant
Automated Inference of Models for Black Box Systems Based on Interface Descriptions
A Hoare Logic with Regular Behavioral Specifications
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
DReAM: Dynamic Reconfigurable Architecture Modeling
Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery
A Process Algebraic View of In/Out Prisoners
Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform
Modeling Quality of Services in Service Oriented Environments
Distributing the Challenge of Model Checking Interlocking Control Tables
EZPetri: A Petri net interchange framework for Eclipse based on PNML
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application
Modelling and Testing of Real Systems
Attuning Adaptation Rules via a Rule-Specific Neural Network
A Formal Analysis of Bluetooth Device Discovery
Dynamic Information-Flow Analysis for Multi-threaded Applications
Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 Protein
Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods
A Broader View on Verification: From Static to Runtime and Back (Track Summary)
Probabilistic Mission Planning and Analysis for Multi-agent Systems
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines
Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges
Pitfalls in Applying Model Learning to Industrial Legacy Software
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract
Recognizing Traffic Jams with Hovering Data Clouds
Deductively Verified Program Models for Software Model Checking
Verifying Real-World Software with Contracts for Concurrency
New worst-case analysis technique for real-time transactions
A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection
Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition
TraceVis: Towards Visualization for Deep Statistical Model Checking
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
A Model-Based Approach to Combining Static and Dynamic Verification Techniques
Analyzing the Security in the GSM Radio Network Using Attack Jungles
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
Safety and Response-Time Analysis of an Automotive Accident Assistance Service
Towards Software Performance by Construction
Mitigating Security Risks Through Attack Strategies Exploration
Automata Learning Meets Shielding
Towards Hybrid-AI in Imaging Using VoxLogicA
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70 th Birthday
The Meaning of Adaptation: Mastering the Unforeseen?
Model Checker Aided Design of a Controller for a Wafer Scanner
Model-Based Testing and Model Inference
Measuring Convergence Inertia: Online Learning in Self-adaptive Systems with Context Shifts
Verification of an avionic system using timed model checking
On Threat Model Repair
Unifying Modelling and Programming: A Systems Biology Perspective
RailCabs and Birds in Julia - Context-Role Ensemble Engineering in Practice
Opportunities and Challenges in Monitoring Cyber-Physical Systems Security
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction
Migrating Monitors + ABE: A Suitable Combination for Secure IoT?
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol
Discrete Models of Continuous Behavior of Collective Adaptive Systems
Definition of Modeling vs. Programming Languages
Verified Software Units for Simple DFA Modules and Objects in C
Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions
Modelling the Transition to Distributed Ledgers
A Role-Based Language for Collaborative Robot Applications
Towards the Typing of Resource Deployment
Model-Based Testing of Railway Interlocking Systems
Adaptive Autonomous Systems - From the System's Architecture to Testing
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings
Klaim in the Making
Safer Refactorings
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink
Task Forces in the EternalS Coordination Action
Finding API usage rule violations in Windows device drivers using Static Driver Verifier
Towards Drone Flocking Using Relative Distance Measurements
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
Runtime Verification of Correct-by-Construction Driving Maneuvers
Improving Verification Process in Driverless Metro Systems: The MBAT Project
A Core Language for Separate Variability Modeling
ByMC: Byzantine Model Checker
SmartTies - Management of Safety-Critical Developments
Programming Multi-robot Systems with X-KLAIM
The Evolving Conscious Agent, I
An Ontological Pivot Model to Interoperate Heterogeneous User Requirements
Language Equivalence from Nondeterministic to Weighted Automata - and Back
Dependability Analysis and Verification for Connected Systems
Comparing AWS Deployments Using Model-Based Predictions
Towards AI-Assisted Correctness-by-Construction Software Development
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
Functional Verification of Smart Contracts via Strong Data Integrity
A Unified Model for Analysis of Real-Time Properties
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV
Relay Placement Problem in Smart Grid Deployment
Using Model Selection and Reduction to Develop an Empirical Model to Predict Energy Consumption of a CNC Machine
Towards Living Canvases
Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families
Towards a Connector Algebra
Increasing Users' Trust on Personal Assistance Software Using a Domain-Neutral High-Level User Model
Compiler-Support for Robust Multi-core Computing
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
A Component-Based Access Control Monitor
A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
Avionic Software Verification by Abstract Interpretation
From Modeling to Model-Based Programming
Formal Methods for Intelligent Transportation Systems
Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems
Tools in Scientific Workflow Composition
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification
Towards a Formal Testing Theory for Quantum Processes
Towards Functional Requirements Analytics
Towards Interactive Compilation Models
Formally Verified Self-adaptation of an Incubator Digital Twin
Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns
Product Line Engineering Applied to CBTC Systems Development
Evaluation and Reproducibility of Program Analysis (Track Introduction)
Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges
Computing Must and May Alias to Detect Null Pointer Dereference
Data Driven Testing of Open Source Software
Model Checking Hybrid Systems - (Invited Talk)
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol)
Domain-Specificity as Enabler for Global Organization aLignment and Decision
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
Towards a Digital Twin - Modelling an Agricultural Vehicle
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester
TriCo - Triple Co-piloting of Implementation, Specification and Tests
Blocking Advertisements on Android Devices Using Monitoring Techniques
Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs
Design Languages: A Necessary New Generation of Computer Languages
The Modest State of Learning, Sampling, and Verifying Strategies
Automatic Generation of Path Conditions for Timed Systems
System Architecture Evaluation Using Modular Performance Analysis - A Case Study
Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project
Learning-Based Software Testing: A Tutorial
Statistical Model Checking of Cooperative Autonomous Driving Systems
The Worst Case Execution Time Tool Challenge 2006: The External Test
The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS
Prototype-Driven Development of Web Applications with DyWA
Formal Analysis of Lending Pools in Decentralized Finance
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures
Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects
A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes
The Identification of registers in RTL Structures for the Test Application
Programming vs. That Thing Subject Matter Experts Do
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach
Epistemic Ensembles in Semantic and Symbolic Environments
Dynamic Security Specification Through Autonomic Component Ensembles
Modelling Coordination and Compensation
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM ++ Experience (Abstract)
Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix
Combining Subgroup Discovery and Permutation Testing to Reduce Reduncancy
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations
Threats to Instrument Validity Within "in Silico" Research: Software Engineering to the Rescue
Behavioral Specification Based Runtime Monitors for OSGi Services
A Logic for the Statistical Model Checking of Dynamic Software Architectures
Program Verification by Reduction to Semi-algebraic Systems Solving
Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking
Intersymbolic AI - Interlinking Symbolic AI and Subsymbolic AI
Introduction to the Track on Variability Modeling for Scalable Software Evolution
Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
Is Machine Learning Model Checking Privacy Preserving?
Accurate Theorem Proving for Program Verification
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond
On Slicing Software Product Line Signatures
Evaluating Tools for Software Verification (Track Introduction)
Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING
Bringing Effortless Refinement of Data Layouts to Cogent
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems
Conflict Detection in Delta-Oriented Programming
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers
Towards Real-Time Aggregate Computing
Counterexample-Guided Prefix Refinement Analysis for Program Verification
Object Detection and Classification for Domestic Robots
An Interface Theory for Program Verification
Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary)
Programming Safe Robotics Systems: Challenges and Advances
Deductive Verification of Unmodified Linux Kernel Library Functions
Formally Proving Compositionality in Industrial Systems with Informal Specifications
Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data
Engineering Collectives of Self-driving Vehicles: The SOTA Approach
Processes and Data Integration in the Networked Healthcare
REDLIB for the Formal Verification of Embedded Systems
Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
Can AI Help with the Formalization of Railway Cybersecurity Requirements?
Exploring Consensus Robustness in Swarms with Disruptive Individuals
On the Use of Static Checking in the Verification of Interlocking Systems
Digital Twins for Organ Preservation Devices
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
On the Specification and Enforcement of Privacy-Preserving Contractual Agreements
Safer Parallelization
Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing
OWL-DL Domain-Models as Abstract Workflows
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution
Automated Learning Setups in Automata Learning
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior
Shaping Future Service Environments with the Cloud and Internet of Things: Networking Challenges and Service Evolution
Statistical Model Checking of Processor Systems in Various Interrupt Scenarios
Reasoning about Airport Security Regulations Using the Focal Environment
Deductive Verification of Legacy Code
Automated Spatial Data Processing and Refining
Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method
Modular, Correct Compilation with Automatic Soundness Proofs
A Vision for Behavioural Model-Driven Validation of Software Product Lines
Optimizing the System Observability Level for Diagnosability
Modeling and Reasoning about Service Behaviors and Their Compositions
Rigorous System Design Flow for Autonomous Systems
DIME Days (ISoLA 2022 Track Introduction)
ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction
A Case Study of Policy Synthesis for Swarm Robotics
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit
A Use-Case Driven Approach to Formal Service-Oriented Modelling
Models as Documents, Documents as Models
Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems
Processes and Data Integration in the Networked Healthcare - (Track Introduction)
Agile Business Engineering: From Transformation Towards ContinuousInnovation
What Is a Trace? A Runtime Verification Perspective
QuAK: Quantitative Automata Kit
Towards Modular Verification of Software Product Lines with mCRL2
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees
Why Programming Must Be Supported by Modeling and How
Representing Knowledge in Robotic Systems with KnowLang
Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons
Navigating the Requirements Jungle
3DLife: Bringing the Media Internet to Life
Modeling and Analyzing Diversity - Description of EternalS Task Force 1
Design and Verification of Systems with Exogenous Coordination Using Vereofy
Automating Software Re-engineering - Introduction to the ISoLA 2020 Track
Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS)
Challenges in Fault-Tolerant Distributed Runtime Verification
Partial Flow Analysis with oRange
Domain-Specific Business Modeling with the Business Model Developer
Bringing Aggregate Programming Towards the Cloud
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
Contract-Based Slicing
A Notion of Equivalence for Refactorings with Abstract Execution
Formal Specification and Verification of Task Time Constraints for Real-Time Systems
Analysing Message Sequence Graph Specifications
A Theory of Mediators for Eternal Connectors
Automated Verification of Web Sites Using Partial Rewriting
Refactoring and Active Object Languages
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference
A Framework for Analyzing and Testing the Performance of Software Services
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation
Model-Checking Temporal Properties of Real-Time HTL Programs
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept
Rehasport: The Challenge of Small Margin Healthcare Accounting
Organic Computing - Addressing Complexity by Controlled Self-Organization
SMT-Based Verification of Solidity Smart Contracts
Learning Techniques for Software Verification and Validation
Verification of Printer Datapaths Using Timed Automata
Towards Resource-Optimal Routing Plans for Real-Time Traffic
On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice
Formal Validation and ERTMS Simulation
Workflow Composition and Enactment Using jORCA
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering
Towards Adding Variety to Simplicity
Animating Event B Models by Formal Data Models
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching
Local Spaces in Soft Concurrent Constraint Programming Oriented to Security
Flocks of Birds: A Quantitative Evaluation
On Model-Based Performance Analysis of Collective Adaptive Systems
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
Railway Switch Control Modeling in European Train Control System Level 3
Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages
The WCET Analysis Tool CalcWcet167
Towards the Formal Analysis of Algorithmic Requirements
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II
Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions
Runtime Verification as Documentation
Function-as-a-Service Allocation Policies Made Formal
On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle
Medical Cyber-Physical Systems - (Track Introduction)
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification
Approximating Euclidean by Imprecise Markov Decision Processes
Static Code Verification Through Process Models
Formal Approaches for Modeling and Analysis of Business Process Collaborations
New Distribution Paradigms for Railway Interlocking
Fixing Classification: A Viewpoint-Based Approach
SPARDL: A Requirement Modeling Language for Periodic Control System
Implementation of Privacy Calculus and Its Type Checking in Maude
Statistical Model Checking: Past, Present, and Future
Systems Security Modeling and Analysis at IMT Lucca
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study
Guaranteeing Privacy-Observing Data Exchange
Systems Modeling and Programming in a Unified Environment Based on Julia
Effective and Efficient Customization Through Lean Trans-Departmental Configuration
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty
Tracking Behavioral Constraints during Object-Oriented Software Evolution
Requirements for Ontology Based Design Project Assessment
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking
Towards Reorientation with a Humanoid Robot
Decreasing Maintenance Costs by Introducing Formal Models and Analysis of Real-Time Systems in Industrial Settings
Organizing the World's Machine Learning Information
Rigorous Engineering of Collective Adaptive Systems Track Introduction
Efficient Localization for Robot Soccer Using Pattern Matching
Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments
Inferring Compact Models of Communication Protocol Entities
A Compositional Framework to Derive Product Line Behavioural Descriptions
Deployment Variability in Delta-Oriented Models
Slang: The Sireum Programming Language