yusuke1997/dblp-id-title huggingface dataset:
Development Policy Analysis in Mali: Sustainable Growth Prospects
Jose: Aspects for Design by Contract80-89
Hierarchical Learning of Generative Automaton Models from Sequential Data
Using Open Source Projects in Higher Education: A Two-Way Certification Framework
IKOS: A Framework for Static Analysis Based on Abstract Interpretation
Open Source Software Process: A Potential Catalyst for Major Changes in Electronic Health Record Systems
LTL Parameter Synthesis of Parametric Timed Automata
Models and Temporal Logics for Timed Component Connectors
Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
A Multi-Agent Depth Bounded Boolean Logic
Using Maude to Model Motivation in Human Behaviour
Sound Symbolic Linking in the Presence of Preprocessing
User Queries for Specification Refinement Treating Shared Aspect Join Points
Robot Nudgers. What About Transparency?
Formal Verification of ASM Designs Using the MDG Tool
An FMI-Based Initialization Plugin for INTO-CPS Maestro 2
Generation of Service Wrapper Protocols from Choreography Specifications
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification
Context-Bounded Model Checking of LTL Properties for ANSI-C Software
Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations
Modelling Train Driver Behaviour in Railway Co-simulations
Overflow and Roundoff Error Analysis via Model Checking
On a Process Algebraic Representation of Sequence Diagrams
A Formal Study of Backward Compatible Dynamic Software Updates
Automatic Failure Explanation in CPS Models
Statically Checking REST API Consumers
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation
Refactoring of Multi-instance BPMN Processes with Time and Resources
Distributed Coordinated Adaptation of Cloud-Based Applications
Parallel Partial Order Reduction with Topological Sort Proviso
Static Enforcement of Service Deadlines
Active Model Learning of Stochastic Reactive Systems
Harnessing Disruptive Innovation in Formal Verification
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences
A Computability Perspective on Self-Modifying Programs
Challenges for Integrating Humans into Vehicular Cyber-Physical Systems
Putting Detectors in Their Place
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
Tagging Make Local Testing of Message-Passing Systems Feasible
Specification-based testing for refinement
WeVerca: Web Applications Verification for PHP
Cross-Architecture Lifter Synthesis
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car
Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming
A Formal Modeling Approach for Portable Low-Level OS Functionality
From Requirements to Design: Formalizing the Key Steps
Towards a Proof Framework for Information Systems with Weak Consistency
Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
From Model Checking to a Temporal Proof for Partial Models
Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum
Behavior Engineering - A Scalable Modeling and Analysis Method
Refinements for Open Automata
Unexpectedness and Bayes' Rule
A New Fuzzy Approach to Transition and Bisimulation Systems
Stability-Based Adaptation of Asynchronously Communicating Software
Logics for Dynamic Graph Games
DrPython-WEB: A Tool to Help Teaching Well-Written Python Programs
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions
Using Relational Verification for Program Slicing
Multi-objective Search for Effective Testing of Cyber-Physical Systems
From (Incomplete) TOSCA Specifications to Running Applications, with Docker
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems
Specification-Based Testing for Software Product Lines
A Diagnosis Framework for Critical Systems Verification (Short Paper)
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications
Upper Bound Computation of Information Leakages for Unbounded Recursion
Evaluating Zero-Cost Active Learning for Object Detection
A Partial-Correctness Semantics for Modelling Assembler Programs
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter
Student Performance Prediction and Optimal Course Selection: An MDP Approach
Formalising Design Patterns in Predicate Logic
Model-Checking the Implementation of Consent
Neural Network Verification Using Residual Reasoning
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears
The Rôle of Abstract Interpretation in Formal Methods
Modeling Peer-to-Peer Service Goals in UML
Exploring the Role of Logic and Formal Methods in Information Systems Education
Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Runtime Enforcement with Reordering, Healing, and Suppression
A Formalisation of Java Strings for Program Specification and Verification
Partially Bounded Context-Aware Verification
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Right or Wrong - Understanding How Users Write Software Models in Alloy
Verification-Based Test Case Generation for Full Feasible Branch Coverage
Executive Cognitive Control of Free Choices
Ensuring Faultless Communication Behaviour in A Commercial Cloud
ProMoVer: Modular Verification of Temporal Safety Properties
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations
Model Checking RAISE Applicative Specifications
Run-Time Verification of Coboxes
Resilience of Systems Under Maximum Component Deviations
Quality Monitoring Procedure in Additive Material Extrusion Using Machine Learning
Linearizability and Causality
How to Verify Dynamic Properties of Information Systems
Do-it-Yourself FMU Generation
Reachability Analysis of Upper-Stack Manipulating Binary Code
Verification of Solid State Interlocking Programs
Exception Safety for C#
Taming Mobile Processes Using Types
Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems
Personal Identity and False Memories
Recovery from DoS Attacks in MIPv6: Modeling and Validation
Static Detection of Implementation Errors Using Formal Code Specification
Execution-Time Opacity Control for Timed Automata
Compositional Reasoning about Shared Futures
Semantic Properties of mu-Charts
Hybrid Information Flow Control for Low-Level Code
Modular Modelling of Software Product Lines with Feature Nets
Multi-purpose Syntax Definition with SDF3
Program Transformation Based on Symbolic Execution and Deduction
The Rhapsody UML Verification Environment
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs
Verification of PLC Properties Based on Formal Semantics in Coq
Private Memory Confers No Advantage
OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities
Integrating Object-Oriented Design and Deductive Verification of Software
Robot as Embodied Agent? A Phenomenological Critique
Innovation and Sustainability in Education
Clinical Cognitive Sciences
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems
Efficient Formal Verification for the Linux Kernel
On Compatibility and Behavioural Substitutability of Component Protocols
Lightweight Nontermination Inference with CHCs
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles
Runtime Verification of Component-Based Systems
Tools for CSP
Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization
Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains
Validating the Meta-Theory of Programming Languages (Short Paper)
Minuska: Towards a Formally Verified Programming Language Framework
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries
An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation
Learning from Mistakes in an Open Source Software Course
What Belongs to Context? - A Definition, a Criterion and a Method for Deciding on What Context-Aware Systems Should Sense and Adapt to
A Generalized Model-Based Test Generation Method
Back-annotation of Simulation Traces with Change-Driven Model Transformations
Testing Web Service Orchestrators in Context: A Symbolic Approach
Reverse Hoare Logic
"Fly Me to the Moon": Verification of Aerospace Systems
Twenty-Five Years of Formal Methods and Railways: What Next?
Building an Extensible Textual Framework for the Rodin Platform
Retrenchment Tutorial
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification
Open Source Discovery, Adoption, and Use: An Informal Perspective
Difference Verification with Conditions
Code Coverage Aware Test Generation Using Constraint Solver
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking
Distributed Implementation of Systems with Multiparty Interactions and Priorities
Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study
Disciplining Orchestration and Conversation in Service-Oriented Computing
Testing conformance on Stochastic Stream X-Machines
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
Symbolic Verification of Infinite Systems using a Finite Union of DFAs
A Configuration Approach for IMA Systems
SMT-Constrained Symbolic Execution for Eclipse CDT/Codan
Research Challenges in Modelling Ecosystems
Rapid Prototyping of a Semantically Well Founded Circus Model Checker
Model Checking Simulation Rules for Linearizability
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
Proving Correctness of JavaCard DL Taclets using Bali
A Timed Mobility Semantics Based on Rewriting Strategies
Verified Functional Iterators Using the FoCaLiZe Environment
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification
Developing Model-Checking Mechanisms for ASSL: An Experience Report
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B
Incentive Stackelberg Mean-Payoff Games
Test Model Coverage Analysis Under Uncertainty
Counterexample Simplification for Liveness Property Violation
Modeling Heterogeneous Real-time Components in BIP
An Active Learning Approach to Synthesizing Program Contracts
Formal Methods Communities of Practice: A Survey of Personal Experience
A Trust Logic for the Varieties of Trust
Refinement via Interpretation
Invariants on Demand
{log} as a Test Case Generator for the Test Template Framework
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
A Case Study in Formal Analysis of System Requirements
Sound C Code Decompilation for a Subset of x86-64 Binaries
Formal Modeling and Analysis of an IETF Multicast Protocol
Problem Oriented Software Engineering: A design-theoretic framework for software engineering
Sound Control-Flow Graph Extraction for Java Programs with Exceptions
Checking Interface Interaction Protocols Using Aspect-Oriented Programming
Specifying Data-Flow Requirements for the Automated Composition of Web Services
A Formal Modeling Language for Smart Contracts
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs
Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology
High-Fidelity Modeling & Co-simulation with π sc HyFlow
A Rigorous Approach to Requirements Validation
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox
Asynchronous Cooperative Contracts for Cooperative Scheduling
Towards the Performance Analysis of Elastic Systems with e-Motions
Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time
Mobile Augmented Reality with Audio - Supporting Fieldwork of Cultural Sciences Students in Florence
A Conceptual Framework for Production Process Parameter Optimization with Modular Hybrid Simulations
Software Evolution with a Typeful Version Control System
Axiomatisation of Solidity Memory and Storage
On the Morphic Problem in Artificial Neural Networks
Behavior Trees: From Systems Engineering to Software Engineering
P revent : A Predictive Run-Time Verification Framework Using Statistical Learning
Precise Analysis of Memory Consumption using Program Logics
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams
Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data
Implementing Tactics of Refinement in CRefine
Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
A Two-Phase Static Analysis for Reliable Adaptation
Filtering Retrenchments into Refinements
Forecasting Algae Growth in Photo-Bioreactors Using Attention LSTMs
When a Formal Model Rhymes with a Graphical Notation
Abstract Interpretation in Code Security
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
A Low-Overhead, Value-Tracking Approach to Information Flow Security
Refactoring Proofs with Tactician
Sequential Pattern Mining for ICT Risk Assessment and Prevention
Towards a Taxonomy of Microservices Architectures
Time and Data-Aware Analysis of Graphical Service Models in Reo
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information
A Complete Generative Label Model for Lattice-Based Access Control Models
A Programming Model for the Orchestration of Web Services
In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)
Hybrid Specification of Reactive Systems: An Institutional Approach
Bridging the Gap between Interaction- and Process-Oriented Choreographies
Runtime Verification of Contracts with Themulus
Verification of Aspectual Composition in Feature-Modeling
Behaviour and Reasoning Description Language (BRDL)
A Formalization of Heisenbugs and Their Causes
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques
Cognitive Learning with a Robot: The Case of Script Acquisition
Program Verification for Exception Handling on Active Objects Using Futures
Quantitative Anonymity Evaluation of Voting Protocols
A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks
A Refinement Approach to Analyse Critical Cyber-Physical Systems
VPA-Based Aspects: Better Support for AOP over Protocols
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
Observable Semantics for Characterising Consistency Between Heterogeneous Models
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
A Computational Model of Internet Addiction Phenomena in Social Networks
Proving Termination by Divergence
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Light-Weight Theorem Proving for Debugging and Verifying Units of Code
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
Testing Privacy Policies Using Models
Tightening a Contract Refinement
Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation
Online Enumeration of All Minimal Inductive Validity Cores
Creative Classrooms: A Systemic Approach for Mainstreaming ICT-Enabled Innovation for Learning in Europe
A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries
Monte Carlo Tree Search for Finding Costly Paths in Programs
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction
Model Checking Visual Specification of Requirements
Completeness of Separation Logic with Inductive Definitions for Program Verification
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems
An Integrated Specification Framework for Embedded Systems
Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation
A Formal Model of Context-Awareness and Context-Dependency
Verifying the Mondex Case Study
Identifying Failure Causalities in Multi-component Applications
Debugging Support in Atelier B
From Software Specifications to Constraint Programming
Quantifying the Similarity of Non-bisimilar Labelled Transition Systems
Information Flow Control-by-Construction for an Object-Oriented Language
Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality
More Flexible Object Invariants with Less Specification Overhead
Measuring the Intelligence of an Idealized Mechanical Knowing Agent
Completeness of Pointer Program Verification by Separation Logic
Isabelle/DOF: Design and Implementation
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
Software Refinement with Perfect Developer
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
The Context of Object Computation (extended abstract)
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
A Thread-Safe Library for Binary Decision Diagrams
Towards Domain Refinement for UML/OCL Bounded Verification
Configurable Proof Obligations in the Frog Toolkit
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
Programming Sagas in SOCK
From Featured Transition Systems to Modal Transition Systems with Variability Constraints
A Typing System for Privacy
CoCoSpec: A Mode-Aware Contract Language for Reactive Systems
Inquiry-Based Science Education in Secondary School Informatics - Challenges and Rewards
A Framework for Translating Legal Knowledge into Administrative Processes: Dynamic Adaption of Business Processes
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security
Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
Model-Based Testing Under Parametric Variability of Uncertain Beliefs
Architecting Specifications for Test Case Generation
Facets of Openness in a Serious Game: Opening up Format, Content, Software and Hardware
On the Generation of Invalid Objects for Inferring More Precise Class Invariants
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence
Describing and Executing Random Reactive Systems
On the Comparison of Learned Classifiers
Paving the Way for Reinforcement Learning in Smart Grid Co-simulations
Soundness and Completeness of the NRB Verification Logic
A Depth-Bounded Semantics for Becoming Informed
Behavioural Types Inspired by Cellular Thresholds
LTL Model Checking under Fairness in ProB
Computing Conditional Probabilities: Implementation and Evaluation
Decoupled Fitness Criteria for Reactive Systems
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract)
Validating Traces of Distributed Programs Against TLA + Specifications
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services
Facilitating Component Reusability in Embedded Systems with GPUs
Laws of Object-Orientation with Reference Semantics
Automatically Proving Concurrent Programs Correct
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
Composing Context Sensitive Analysis
Fuzzy Description Logics for Component Selection in Software Design
Using Z in the Development and Maintenance of Computational Models of Real-World Systems
Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
Translating Event-B Machines to Database Applications
The Boogie Verification Debugger (Tool Paper)
Markov Blankets for Sustainability
TACoS: A Tool for MTL Controller Synthesis
Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids
Checking Extended CTL properties Using Guarded Quotient Structures
Ontology-Based Automatic Model Transformations
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers
Scalable Verification of Markov Decision Processes
An Operational Semantics for Yul
A Synchronous Process Calculus for Service Costs
Tutorial: Automated Formal Methods with PVS, SAL, and Yices
Towards a UML Profile for Domain-Driven Design of Microservice Architectures
Automatic Derivation of Platform Noninterference Properties
Refinement-Based Verification of Communicating Unstructured Code
Formalizing the Framework Design Language F-UML
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking
A Systematic Approach to Atomicity Decomposition in Event-B
Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications
Formal Specification using Interaction Diagrams
Ivette: A Modern GUI for Frama-C
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL
Ranged Program Analysis via Instrumentation
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems
Modeling Self-adaptive Fog Systems Using Bigraphs
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers
A Formal Privacy Policy Framework for Social Networks
Automated Element-Wise Reasoning with Sets
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK
Behavioral Consistency Validation of UML Diagrams
IOCO as a Simulation
A Transformation Approach for Multiform Time Requirements
Towards Mobile Processes in Unifying Theories
Pragmatic Consistency Management in Industrial Requirements Specifications
A Framework for Component-based Construction Extended Abstract
A PVS Based Framework for Validating Compiler Optimizations
Fostering Safe Behaviors via Metaphor-Based Nudging Technologies
Assessing the Quality of B Models
Towards Knowledge Modeling for Sustainable Transport
Higher-Order Arrows for Path-Dependent Many-Valued Systems
Behavioral Compatibility of Active Components