yusuke1997/dblp-id-title huggingface dataset:
Probabilistic Modelling and Analysis of a Fish Population
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie
Co-simulation Between Trnsys and Simulink Based on Type155
Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes
Extending Stream X-Machines to Specify and Test Systems with Timeouts
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Paraconsistency for the Working Software Engineer (Extended Abstract)
nfer - A Tool for Event Stream Abstraction
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators
Operational Semantics for Real-Time Processes with Action Refinement
Interdisciplinary Aspects of Cognition
Event-B Patterns and Their Tool Support
Making Formal Methods Work
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems
Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence
Code Biology and Enactivism: Bringing Adaptors to Basic Minds
Formal Analysis of Human-computer Interaction using Model-checking
Stuttering Abstraction for Model Checkin
A General Framework for Architecture Composability
From Failure to Proof: The ProB Disprover for B and Event-B
Robustness Testing of Software Verifiers
Supporting the Software Testing Process through Specification Animation
Probabilistic BDI Agents: Actions, Plans, and Intentions
Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations
Inferring Physical Units in B Models
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors
The Intensional Structure of Epistemic Convictions
Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers
How to Test Program Generators? A Case Study using flex
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security
Modeling and Verification of Temporal Constraints for Web Service Composition
Compositional Verification of Interlocking Systems for Large Stations
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems
Innovation and Sustainability in Higher Education: Lessons Learnt from the Case Study of an Online University
Formalizing Timing Diagram Requirements in Discrete Duration Calculus
Effect-Polymorphic Behaviour Inference for Deadlock Checking
Towards Formalizing Behavioral Substitutability in Component Frameworks
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables
A Co-simulation-Based System Using Vico for Marine Operation
Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability
A Formalism for Conformance Analysis and Its Applications
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems
Mentalistic Stances Towards AI Systems: Beyond the Intentional Stance
Field-Sensitive Program Slicing
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
The Fallacy of Spec-Based Design
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants
PetriCode: A Tool for Template-Based Code Generation from CPN Models
Model Checking of Security-Critical Applications in a Model-Driven Approach
Formalising Control in Robust Spoken Dialogue Systems
A Thread-tag Based Semantics for Sequence Diagrams
Checking Sanity of Software Requirements
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
Using Dominators to Extract Observable Protocol Contexts
On Semantics and Refinement of UML Statecharts: A Coalgebraic View
On Integrating Social and Sensor Networks for Emergency Management
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory
Correlating Structured Inputs and Outputs in Functional Specifications
Arbitrary Radical Upgrades
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations
Requirements Modeling -- Experience from an Insurance Project
Heuristics for Refinement Relations
Coq Implementation of OO Verification Framework VeriJ
A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
TVAL+ : TVLA and Value Analyses Together
Secure Migration of Legacy Applications to the Web
Static Analysis of Programs: A Heap Centric View
Towards Action Refinement for Concurrent Systems with Causal Ambiguity
Formal Verification of Dead Code Elimination in Isabelle/HOL
Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009
From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover
Generating None-Plans in Order to Find Plans
Verified Scalable Parallel Computing with Why3
Task Planning of Cyber-Human Systems
XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain
Learning CSCW Through Fairytales: A Practical Model
Models of Knowledge Transfer for Sustainable Development
Verification of Dynamic Data Tree with mu-calculus Extended with Separation
Formal Methods as a Link between Software Code and Legal Rules
A Web Portal for the Certification of Open Source Software
Models and Communication in the Policy Process
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis
Composing Run-Time Variability Models
A unified description formalism for complex HCI-systems
Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems
Execution and Verification of UML State Machines with Erlang
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)
Efficient Testing of Different Loop Paths
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation
Discern: Towards the Automatic Discovery of Software Contracts
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
An Optimization Approach for Effective Formalized fUML Model Checking
Towards Global and Local Types for Adaptation
Modelling and Knowledge Management for Sustainable Development
Efficient Computation of Dominance in Component Systems (Short Paper)
Generation of Co-simulation Algorithms Subject to Simulator Contracts
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties
Specifying Urgency in Timed I/O Automata
Workflow Enactment Based on a Chemical Metaphor
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India
Certification of Distributed Algorithms Solving Problems with Optimal Substructure
Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study
Exact and Efficient Bayesian Inference for Privacy Risk Quantification
An Experimental Spatio-Temporal Model Checker
Distributed Testing of Multi Input/Output Transition System
Controlling Production Variances in Complex Business Processes
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge
Formal Proofs of Code Generation and Verification Tools
Test Suite Completeness and Partial Models
Building Verification Condition Generators by Compositional Extensions
Synthesize It: From Design by Contract to Meaningful Test Input Data
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving
Behavioral Types for Component-Based Development of Cyber-Physical Systems
Random Testing in Isabelle/HOL
Checking Opacity and Durable Opacity with FDR
Counterexample Classification
Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
A Proposal For Relative Time Petri Nets
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
Object Models with Temporal Constraints
A Formal Model for Work Flows
Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008
Safety Assessment Using Behavior Trees and Model Checking
Conference Chairs
Automated Error-Detection and Repair for Compositional Software Specifications
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis
Preservation of Proof Pbligations for Hybrid Verification Methods
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea
Verification of the WAP Transaction Layer
Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques
Object Oriented Verification Kernels for Secure Java Applications
ABC: Supporting Software Architectures in the Whole Lifecycle
Feature Refinement
On Approximate Diagnosability of Metric Systems
Paraconsistent Reactive Graphs
A Pragmatic Model of Justification for Social Epistemology
A Cloud-Based Execution Framework for Program Analysis
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking
On the Security and Safety of AbU Systems
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper)
Cheap and Small Counterexamples
Formal Derivation of Functional Architectural Design
Towards a Reference Dataset of Microservice-Based Applications
Computing Complete Test Graphs for Hierarchical Systems
ASN1-light: A Verified Message Encoding for Security Protocols
RoboWorld: Where Can My Robot Work?
The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
Formal Modelling and Verification of an Asynchronous DLX Pipeline
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
Software Verification and System Assurance
From SOS to Asynchronously Communicating Actors
Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science
PART _\mathrm PW : From Partial Analysis Results to a Proof Witness
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach
A Concurrent Programming Language with Refined Session Types
Heuristic Sensitivity in Guided Random-Walk Based Model Checking
CL-XAI: Toward Enriched Cognitive Learning with Explainable Artificial Intelligence
A BRDL-Based Framework for Motivators and Emotions
The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker
Runtime Verification with Imperfect Information Through Indistinguishability Relations
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA
Formal Verification of Platoon Control Strategies
Nullness Analysis in Boolean Form
Formal Methods in Energy Informatics
Description Logics for Shape Analysis
Towards a Boosted Route Planner Using Individual Mobility Models
A case study of C source code verification: the Schorr-Waite algorithm
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Explicit Legg-Hutter Intelligence Calculations Which Suggest Non-Archimedean Intelligence
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper)
Relational Interprocedural Verification of Concurrent Programs
Product Automata and Process Algebra
Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL
Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure
A Policy Framework for Regulating External Calls in Smart Contracts
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)
An Algorithm for Simulating Human Selective Attention
Component-Based Design and Analysis: A Case Study
Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Algebraic View Reconciliation
Optimising the ProB Model Checker for B Using Partial Order Reduction
Semantic Memory, Mnemonic Effort and Mnemonic Habit
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B
Let's Prove It Later - Verification at Different Points in Time
An Asynchronous Communication Model for Distributed Concurrent Objects
Flash-Efficient LTL Model Checking with Minimal Counterexamples
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints
A Program Slicer for Java (Tool Paper)
Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper)
Weighted Games for User Journeys
Automatic Maintenance of Association Invariants
SMT-Based Automatic Proof of ASM Model Refinement
A Model for Temporal relations between Object Roles
Abstraction as a Unifying Link for Formal Approaches to Concurrency
Incorporating Data into EFSM Inference
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems
Frama-C - A Software Analysis Perspective
Safe Concurrency for Aggregate Objects with Invariants
Mutation Testing with Hyperproperties
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
A Preliminary Analysis of Learning Awareness in FLOSS Projects
Run-time Composition and Adaptation of Mismatching Behavioural Transactions
Learning Assertions to Verify Linked-List Programs
Frequentist Probability Logic
Are Users More Willing to Use Formally Verified Password Managers?
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches
Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification
Temporal Analytics for Software Usage Models
1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia
Facilitating Program Verification with Dependent Types
Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM
Specification Clones: An Empirical Study of the Structure of Event-B Specifications
QNNRepair: Quantized Neural Network Repair
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
Program Generation Using Simulated Annealing and Model Checking
Investigating Instrumentation Techniques for ESB Runtime Verification
The Unreasonable Ineffectiveness of Security Engineering: An Overview
Parallelized Sequential Composition and Hardware Weak Memory Models
Non-local Choice and Implied Scenarios
Original or Fake? How to Understand the Digital Artworks' Value in the Blockchain
ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols
On the Testability of Properties Patterns
A Denotational Semantics of Solidity in Isabelle/HOL
Model-Based Verification of Safety Contracts
Cosimulation-Based Control Synthesis
Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines
Compositional Feature-Oriented Systems
Extracting Conditional Confidentiality Policies
Automated Synthesis of Protocol Converters with BALM-II
Formalizing a Secure Foreign Function Interface
Learning Decision Trees from Synthetic Data Models for Human Security Behaviour
Use of Verification for Testing and Debugging of Complex Reactive Systems
Timely Specification Repair for Alloy 6
Reasoning About Ignorance and Beliefs
Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection
Securely Optimized (Ethereum) Smart Contracts Using Formal Methods
A Debugger for Probabilistic Programs
Guiding Symbolic Execution with A-Star
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model
Automatic Generation of Functional Mock-Up Units from Formal Specifications
An Extensible Operational Semantics for UML Activity Diagrams
From Birth to Loss of Representations in Artificial Neural Networks
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)
Counting Interface Automata and their Application in Static Analysis of Actor Models
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability
Scientific Understanding and the Explanatory Integration in Cognitive Sciences
Verification of Scheme Plans Using CSP $$||$$ | | B
Secure Smart Contracts with Isabelle/Solidity
Modeling Component Connectors: Synchronisation and Context-Dependency
Specifying and Checking Refinement Relationships in VDM++
Features of Integrated Model-Based Co-modelling and Co-simulation Technology
Developing the UML-B Modelling Tools
A Toolset for Support of Teaching Formal Software Development
Combining Predicate Abstraction with Fixpoint Approximations
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups
Retrenchment and the Atomicity Pattern
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting
Property-Driven Scenario Integration
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution
Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications
Runtime Enforcement for IEC 61499 Applications
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL
Model-Based Robustness Testing in Event-B Using Mutation
A Toolkit for Generating Sentences from Context-Free Grammars
Satisfiability Checking: Theory and Applications
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
Towards Formalizing UML State Diagrams in CSP
An Interdisciplinary Model for Graphical Representation
GrammarForge: Learning Program Input Grammars for Fuzz Testing
Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines
GuideForce: Type-Based Enforcement of Programming Guidelines
Verification of an Off-Line Checker for Priority Queues
Hardness for Explicit State Software Model Checking Benchmarks
Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction
Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design
Test and Training Data Generation for Object Recognition in the Railway Domain
Program Verification Using Change Information
Designing Log Architectures for Legal Evidence
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity
A Strategy for the Formal Composition of Frameworks
Control Code Obfuscation by Abstract Interpretation
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Refining Privacy-Aware Data Flow Diagrams
Proof Reuse for Deductive Program Verification
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis
Binders for Switch Graphs Specification
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers
Formalizing AspectJ Weaving for Static Pointcuts
Relating Session Types and Behavioural Contracts: The Asynchronous Case
A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS
Development of a Driverless Lawn Mower Using Co-simulation
Regret from Cognition to Code
Two Cognitive Systems, Two Implications, and Selection Tasks
A Tool for Verifying Dynamic Properties in B
A Scalable Lock-Free Stack Algorithm and its Verification
JSXM: A Tool for Automated Test Generation
Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Validity in (Co-) Simulation
Mapping between Alloy Specifications and Database Implementations
Trace Partitioning and Local Monitoring for Asynchronous Components
A Case Study on Formally Validating Motion Rules for Autonomous Cars
Towards a Readability Criterion for Humans and Machines
Finding the Causes of Unrealizability of Reactive System Formal Specifications
Combining Trust and Aggregate Computing
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs
A Dynamic Logic for Deductive Verification of Concurrent Programs
A Practical Approach for Closed Systems Formal Verification Using Event-B
Synchronizing Asynchronous Conformance Testing
Quantitative Modelling of Residential Smart Grids
Graph-Based Shape Analysis Beyond Context-Freeness
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
Pivotal Rules Consequence in Action Model Logic
Glass-Box and Black-Box Views on Object-Oriented Specifications
Constrained Training of Recurrent Neural Networks for Automata Learning
Automated Specification Extraction and Analysis with Specstractor
Retrieving Points of Interest from Human Systematic Movements
A transformation framework for building personalized user interfaces for browsing XML content
Managing difference of opinion in semantic structures
Intentions based authoring process from audiovisual resources
Multilingual extraction of semantic indexes
Structured templates for authoring semantically rich documents
Document image analysis for active reading
Navigation issues in semantic peer to peer network
Models for sustaining emergence of practices for hypervideo
Proceedings of the International Workshop On Semantically Aware Document Processing And Indexing, Montpellier, France, May 21-22, 2007
Formal and graphical annotations for digital objects
Automatic playlist composition in a dynamic music landscape
Multimedia document summarization based on a semantic adaptation framework
Engineering multimedia applications on the basis of multi-structured descriptions of audiovisual contents
Scalable Architecture for Allocation of Idle CPUs in a P2P Network
Elevating the Precision of Summarization for Short Text in Social Media using Preprocessing Techniques
Improving Encryption Performance Using MapReduce
Automated Counting of Cells in Breast Cytology Images Using Level Set Method
AHRC: An Optimized Cache Associativity
MTBD: HTTPS Tunnel Detection Based on Multi-dimension Traffic Behaviors Decision
A Cross-Layer Optimization Mechanism for Inter-session Network Coding in Wireless Mesh Network
The New Copy File Command Parser for NVM Devices
Multi Seed Authentication Using S/Key Scheme