yusuke1997/dblp-id-title huggingface dataset:
LTL generalized model checking revisited
Static analysis for concurrent programs with applications to data race detection
Open source container orchestration for Industry 4.0 - requirements and systematic feature analysis
Some advances in tools and algorithms for the construction and analysis of systems
Formally based tool support for model checking Erlang applications
Formal methods for industrial critical systems
Joint forces for memory safety checking revisited
Analysis of non-Markovian repairable fault trees through rare event simulation
Partial Model Checking of Modal Equations: A Survey
A technology transfer journey to a model-driven access control system
Real-time specifications
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns
Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing
Towards rigorous understanding of neural networks via semantics-preserving transformations
Towards UML-based formal specifications of component-based real-time software
Stream runtime verification of real-time event streams with the Striver language
NUSMV: A New Symbolic Model Checker
GSDetector: a tool for automatic detection of bad smells in GRL goal models
Test distribution: a solution for complex network system testing
A case study to evaluate the suitability of graph transformation tools for program refactoring
A correlation framework for the CORBA component model
Local abstraction-refinement for the μ -calculus
ccReact: a rewriting framework for the formal analysis of reaction systems
Sylvan: multi-core framework for decision diagrams
Rule-based runtime verification revisited
Widening techniques for regular tree model checking
Falsification of LTL safety properties in hybrid systems
Specifying and detecting temporal patterns with shape expressions
Dynamic test planning: a study in an industrial context
Automated translation of VDM to JML-annotated Java
Equivalence class verification of the contract net protocol-extension
Analysing Superscalar Processor Architectures with Coloured Petri Nets
Toward a wider use of formal methods for aerospace systems design and verification
Energy characterization of IoT systems through design aspect monitoring
Parameterized model checking for security policy analysis
Interactive visualization of large state spaces
Cooperative verifier-based testing with CoVeriTest
Efficient manipulation of decision diagrams
Requirements Validation: Execution of UML Models with CPN Tools
A code tagging approach to software product line development - An application to satellite communication libraries
A survey of recent advances in SAT-based formal verification
Machine learning-based ambient temperature prediction in radio access network environments
Uppaal SMC tutorial
Formal specification and implementation of an automated pattern-based parallel-code generation framework
Introduction to the special issue for SPIN 2019
MontiCore: a framework for compositional development of domain specific languages
Issues in distributed timed model checking
VeriTech: a framework for translating among model description notations
Introduction to the special section on self-optimizing mechatronic systems
The development of the HiPE system: design and experience report
Component-based system design: analytic real-time interfaces for state-based component implementations
Detecting multiphase linear ranking functions for single-path linear-constraint loops
Lower and upper bounds in zone-based abstractions of timed automata
FairFuzz-TC: a fuzzer targeting rare branches
Selection of formal verification heuristics for parallel execution
Restoring security of evolving software models using graph transformation
Knowledge-based security testing of web applications by logic programming
Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms
A model-driven co-simulation environment for heterogeneous systems
Tactical contract composition for hybrid system component verification
VerifyThis 2012 - A Program Verification Competition
Finding feasible abstract counter-examples
The FSAP/NuSMV-SA Safety Analysis Platform
Model-based optimization of ARINC-653 partition scheduling
Improving state class constructions for CTL* model checking of time Petri nets
Automating deductive verification for weak-memory programs (extended version)
Path-oriented bounded reachability analysis of composed linear hybrid systems
Model-based regression testing by OCL
Rule-based detection of design patterns in program code
From tests to proofs
First three years of the international verification of neural networks competition (VNN-COMP)
Generating interactive documents for domain-specific validation of formal models
Termination proofs for linear simple loops
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction
Statistical model checking for unbounded until formulas
Solving the VerifyThis 2012 challenges with VeriFast
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic
A framework for robust active super tier systems
Liveness with invisible ranking
Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java
An integrated framework for checking the behaviour of fUML models using CSP
An operational semantics for Stateflow
Approaches for the combined use of risk analysis and testing: a systematic literature review
An Event-B model of an automotive adaptive exterior light system
A systematic review of state-based test tools
Mechanized result verification: an industrial application
Verification is experimentation!
Statistical model checking for biological systems
Special Section on "Leveraging Formal Methods"
Complete model-based equivalence class testing
Risk-based testing via active continuous quality control
A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue
Introduction to the special issue of the 19th International Conference on Runtime Verification
Verification and optimization of a PLC control schedule
Approximate verification of concurrent systems using token structures and invariants
Practical experiences in the usage of MIDAS in the logistics domain
Efficient monitoring of safety properties
The software model checker Blast
An agent-based approach to tool integration
Synthesis and stochastic assessment of cost-optimal schedules
Soundness of data-aware, case-centric processes
Modelling and analysing the functional behaviour of TCP's connection management procedures
Parallel probabilistic model checking on general purpose graphics processors
Deductive verification of smart contracts with Dafny
Towards an industrial grade IVE for Java and next generation research platform for JML
Scientific workflows for process mining: building blocks, scenarios, and implementation
Encoding a process algebra using the Event B method
Heuristics for model checking Java programs
Require, test, and trace IT
Model-based testing of apps in real network scenarios
An embeddable virtual machine for state space generation
BDD-based software verification - Applications to event-condition-action systems
Application-controlled memory management in a single address space environment
Model based development of access policies
ProB: an automated analysis toolset for the B method
Checking the reliability of socket based communication software
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities
Logika: the Sireum verification framework
Program model checking as a new trend
What is the best algorithm for MDP model checking?
Property-driven benchmark generation: synthesizing programs of realistic structure
Experiences applying formal approaches in the development of swarm-based space exploration systems
Preface by the section editors
Randomized reachability analysis in UPPAAL: fast error detection in timed systems
Monitoring with verified guarantees
Hybrid automata: from verification to implementation
Generating adaptation rule-specific neural networks
The industrialization of formal methods
$\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems
State Space Reduction Using Partial Order Techniques
Automated model analysis tools and techniques presented at FASE 2019
CADP 2011: a toolbox for the construction and analysis of distributed processes
Enabling continuous integration in a formal methods setting
A low-level memory model and an accompanying reachability predicate
Incremental execution of rule-based model transformation
FDR3: a parallel refinement checker for CSP
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
Program Analysis Tools
Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software
Automated test generation using model checking: an industrial evaluation
CHEOPS: A tool-integration platform for chemical process modelling and simulation
Coloured Petri Nets - Preface by the Section Editor
Graph transformation tool contest 2008
Many-core on-the-fly model checking of safety properties using GPUs
The probabilistic model checker Storm
Towards language-to-language transformation
Theorem proving in technology transfer: the user's point of view
Are BDDs still alive within sequential verification?
ToolDAy: a tool for domain analysis
Formal methods for transport systems
Introductory Paper
Certification of avionic software based on machine learning: the case for formal monotony analysis
CCDL: the composable components description language
Measurement and tracing methods for timing analysis - Independently and in combination with modelling methods
Protocol Verification with the ALDÉBARAN Toolset
Sound and precise static analysis using a generalization of static single assignment and value numbering
OC-PM: analyzing object-centric event logs and process models
Local Model Checking and Protocol Analysis
Covering sharing trees: a compact data structure for parameterized verification
Masterminding change by combining secure system design with security risk assessment
The first reactive synthesis competition (SYNTCOMP 2014)
A study of learning likely data structure properties using machine learning models
Symbolic execution with abstraction
A generic interoperability testing framework and a systematic development process for automated interoperability testing
The Practitioner's Guide to Coloured Petri Nets
Rance Cleaveland: a life for formal methods
Timing analysis of MSC specifications with asynchronous concatenation
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions
Using Lava to design and verify recursive and periodic sorters
History, status, and recent trends of the testing and test control notation version 3 (TTCN-3) - With a brief introduction to selected articles from the TTCN-3 user conference 2011
Interleaving static analysis and LLM prompting with applications to error specification inference
Fair testing and stubborn sets
A qualitative assessment of αRby in the perspective of the supervisory control theory
Bounded model checking of software using SMT solvers instead of SAT solvers
Model-based testing as a service
Special section on testing and security of Web systems
The saturation algorithm for symbolic state-space exploration
A loop acceleration technique to speed up verification of automatically generated plans
Bounded synthesis
The Discourje project: run-time verification of communication protocols in Clojure
On hypothesis testing for statistical model checking
Inductive assertions and operational semantics
Checking JML specifications using an extensible software model checking framework
Efficient distributed SAT and SAT-based distributed Bounded Model Checking
Lightweight and modular resource leak checking (extended version)
Automated reasoning for attributed graph properties
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems
Quantitative properties of featured automata
Formally specifying CARA in Java
Symmetry reductions for model checking of concurrent dynamic software
Web-based interfaces for simulation of coloured Petri net models
Compositional learning of mutually recursive procedural systems
Temporal-logic query checking over finite data streams
Recovery oriented programming: runtime monitoring of safety and liveness
Implementing compositionality for stochastic Petri nets
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries
A process for creating KDM2PSM transformation engines
Formal design and analysis of a gear controller
Creating Executable Models of Influence Nets with Colored Petri Nets
Formal verification of the NASA runway safety monitor
Preface by the section editor
Forest GUMP: a tool for verification and explanation
Using registries to integrate bioinformatics tools and services into workbench environments
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
Challenges of software verification: the past, the present, the future
Spatial logics and model checking for medical imaging
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
Pushdown model checking for malware detection
Model-driven development of reactive information systems: from graph transformation rules to JML contracts
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)
A class library for implementing, testing, and debugging concurrent programs
Distributed functional and load tests for Web services
Model-checking web services business activity protocols
Toward diagrammability and efficiency in event-sequence languages
The CoLiS platform for the analysis of maintainer scripts in Debian software packages
Functional dependencies of C functions via weakest pre-conditions
Quantifying the evolution of TTCN-3 as a language
PAG - An Efficient Program Analyzer Generator
Closed-loop verification of medical devices with model abstraction and refinement
Combining predicate and numeric abstraction for software model checking
A lightweight regular model checking approach for parameterized systems
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification
Automated verification of the FreeRTOS scheduler in Hip/Sleek
Verified software: theories, tools and experiments
Assumption-based distribution of CTL model checking
Model-based testing strategies and their (in)dependence on syntactic model representations
Implementation-level verification of algorithms with KeY
GrGen.NET - The expressive, convenient and fast graph rewrite system
Improving the numerical accuracy of programs by automatic transformation
MoonLight: a lightweight tool for monitoring spatio-temporal properties
A systematic classification of security regression testing approaches
Verification of randomized consensus algorithms under round-rigid adversaries
Learning Moore machines from input-output traces
Scalable distributed on-the-fly symbolic model checking
Improving the effectiveness of system verification
Formal specification and state space analysis of an operational planning process
Zero-suppressed BDDs and their applications
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems
Testing hybrid systems with TTCN-3 embedded - An extension of the TTCN-3 language
Automating regression testing using web-based application similarities
Automated property-based testing from AADL component contracts
Incremental test case generation using bounded model checking: an application to automatic rating
Tools for the construction and analysis of systems
Using Bayesian networks and virtual coverage to hit hard-to-reach events
Data-abstraction refinement: a game semantic approach
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3
Putting it all together - Formal verification of the VAMP
Model-based testing for real
Cloned product variants: from ad-hoc to managed software product lines
Integrating Printed and Online Information
Validation of the ABZ landing gear system using ProB
Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale
Coqoon - An IDE for interactive proof development in Coq
Tools for software verification - Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems
Formalizing interoperability for test case generation purpose
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking
metaSMT: focus on your application and not on solver integration
Correct-by-construction instantiation of abstract scenarios
Analysing a Missile Simulator with Coloured Petri Nets
LearnLib: a framework for extrapolating behavioral models
A light-weight framework for hardware verification
Efficient and expressive bytecode-level instrumentation for Java programs
An abstraction refinement approach combining precise and approximated techniques
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller
Oris: a tool for modeling, verification and evaluation of real-time systems
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
Boolean and Cartesian abstraction for model checking C programs
Healing Web applications through automatic workarounds
Software monitoring with controllable overhead
Modeling a landing gear system in Event-B
Automated workarounds from Java program specifications based on SAT solving
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities
Integrating river basin DSSs with model checking
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications
Graphillion: software library for very large sets of labeled graphs
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫
Reliable benchmarking: requirements and solutions
Towards Model-Driven V&V assessment of railway control systems
Automata-based monitoring for LTL-FO +
Formal verification of conflict detection algorithms
VerifyThis 2015 - A program verification competition
CFL-based methods for approximating interleaved Dyck reachability
CPSDebug: Automatic failure explanation in CPS models
Formal methods in industrial critical systems
Partial-order reduction for parity games and parameterised Boolean equation systems
What's decidable about parametric timed automata?
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
Axiomatising an information flow logic based on partial equivalence relations
Slicing ATL model transformations for scalable deductive verification and fault localization
Introduction to the special issue for SPIN 2021
Live sequence charts applied to hardware requirements specification and verification
Abstract domain adequacy
Model Checking: A Hardware Design Perspective
Efficient BDDs for bounded arithmetic constraints
Parallel reachability analysis of hybrid systems in XSpeed
Special section on coloured Petri nets
Introduction to the special section on advances in test automation: the evolution of TTCN-3
An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners
The power of typed affine decision structures: a case study
Model generation for quantified formulas with application to test data generation
The Electronic Tool Integration Platform: Concepts and Design
Multi-level privacy analysis of business processes: the Pleak toolset
A framework for distributing object-oriented designs
A Verification Tool Seveloper's Vade Mecum
Scalable online first-order monitoring
On porting software visualization tools to the web
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C
Plain random test generation with PRTest
Higher-level techniques for hardware description and synthesis
Model-checking multi-threaded distributed Java programs
On the expressiveness of MTL in the pointwise and continuous semantics
Specification and validation of a concurrent system: an educational project
Parameterized verification through view abstraction
Synthesizing switching logic using constraint solving
Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System
A framework for counterexample generation and exploration
From testing to anti-product development
Development of a verified Erlang program for resource locking
Thoth - A publish/subscribe architecture for peer-to-peer tool integration
Synthesis of circular compositional program proofs via abduction
Aspect-oriented Component Composition in PacoSuite Through Invasive Composition Adapters
An automotive case study
Applying supervisory control synthesis to priced featured automata and energy problems
A verification approach to applied system security
Static generation of UML sequence diagrams
Comparing controlled system synthesis and suppression enforcement
Automated implementation of complex distributed algorithms specified in the IOA language
KRONOS: A Verification Tool for Real-Time Systems
Sound statistical model checking for MDP using partial order and confluence reduction
Online efficient predictive safety analysis of multithreaded programs
Model checking: recent improvements and applications
Pattern-based verification of ROS 2 applications using UPPAAL
On the applicability of hybrid systems safety verification tools from the automotive perspective
Evaluation of Kermeta for solving graph-based problems
Directed model checking with distance-preserving abstractions
An automated framework for verifying or refuting trace properties of extended finite state machines
A calculus for modular loop acceleration and non-termination proofs
Test sequence generation and model checking using dynamic transition relations
Rigorous embedded design: challenges and perspectives
Type-based initialization analysis of a synchronous dataflow language
Platitudes and attitudes
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers
Model checking C source code for embedded systems
Introduction to the special section on runtime verification
Comparison of SPIN and VIS for protocol verification
Timed-automata based schedulability analysis for distributed firm real-time systems: a case study
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
Finding concurrency-related bugs using random isolation
Real-Time System = Discrete System + Clock Variables
The ALL-TIMES project: introduction and overview
Efficient verification of security protocols using partial-order reductions
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system
Spatio-temporal model checking of vehicular movement in public transport systems
Using model checking to identify errors in intrusion detection signatures
IC3 software model checking
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013
Regular model checking
A verification tool for ERLANG
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars
On the road with RTLola
Modelling and analysis using GROOVE
Quantitative and qualitative analysis of SysML activity diagrams
A logic-based incremental approach to graph repair featuring delta preservation
A case study in class library verification: Java's vector class
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance
Exploiting structure in LTL synthesis