yusuke1997/dblp-id-title huggingface dataset:
Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study
File Parsing Vulnerability Detection with Symbolic Execution
Improved Incremental Verification for Neural Networks
Modeling and Refining the Service-Oriented Requirement
Proving Model Transformations
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge
Resource-Constrained Workflow Modeling
Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice
How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems
Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations
Symmetry in Process Algebra
Transforming RoboSim Models into UPPAAL
Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B
PDL over Accelerated Labeled Transition Systems
An integrated framework for verifying multiple care pathways
RepassDroid: Automatic Detection of Android Malware Based on Essential Permissions and Semantic Features of Sensitive APIs
Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications
SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses
Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach
Verifying OSEK/VDX OS Design Using Its Formal Specification
Parametrizing Program Analysis
Bayesian Model-Based Prediction of Service Level Agreement Violations for Cloud Services
DUMS: A Dynamical Updatable Monitoring System for Desktop PCs Used for Distributed Computing
Frequency Linear-time Temporal Logic
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development
Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach
A Formal Engineering Approach to Product Family Modeling
A Symbolic Algorithm for Shortest EG Witness Generation
Distributed Mediator
Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B
Formal Verification of a Keystore
Designs with Angelic Nondeterminism
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Symbolic Model Checking for Propositional Projection Temporal Logic
Mining Diamonds in Labelled Transition Systems
An Automatic Reasoning Mechanism for NFR Goal Models
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification
Formal Verification of Netlog Protocols
A Generic Model for Confinement and its Application
Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs
Behind Clint and Hoare's goto Proof Rule
Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK
Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems
Formal Specification of Hybrid MARTE Statecharts
Behaviour Recognition Using Chronicles
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
Towards Conformance Testing of Choreography Based on Scenario
Unified Modeling of Active and Reactive Components for Real-Time Systems
Verifying BPEL-Like Programs with Hoare Logic
Representing Aspects in Design
An Approach to Handling Failure Recovery in Service Composition and Its Analysis
Verifying Semistructured Data Normalization Using SWRL
Lightweight Method-Level Energy Consumption Estimation for Android Applications
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks
Dynamic Environment Simulation for Database Performance Evaluation
Model Checking: A Coalgebraic Approach
Goal-independent Semantics for Path Dependent Analysis of Prolog Programs
Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis
A Simple Model for Certifying Assembly Programs with First-Class Function Pointers
Feature-oriented Design of Visual Analytics System for Interpretable Deep Learning based Intrusion Detection
Automated Verification Using Unified Control Flows
CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features
Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
Real-time MTL with durations as SMT with applications to schedulability analysis
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?
COMPASS: An Agent for MLIR Compilation Pass Pipeline Generation
A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems
Focus Game for Projection Temporal Logic
Incremental Construction of Greibach Normal Form
Bisimulation for Lattice-valued Transition Systems
A Type System for SPARDL
Asynchronous Sessions with Implicit Functions and Messages
Queuing analysis and performance evaluation of workflow through WFQN
State-Taint Analysis for Detecting Resource Bugs
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego
Verified Transformation of Continuation-Passing Style into Static Single Assignment Form
Conformance Validation between Choreography and Orchestration
Data Resources in Dynamic Environments
Formal development process of safety-critical embedded human machine interface systems
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Towards a specification theory for fuzzy modal logic
A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols
Strong Preservation by Model Deformation
The Complexity of Evaluating Nfer
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks
Defect Report Severity Prediction Based on Genetic Algorithms and Convolutional Neural Network
WLeidenRDF: RDF Data Query Method based on Semantic-Enhanced Graph-Clustering Algorithm
Polychronous Automata
A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation
Event and Strategy Analytics
Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness
Constructing Benchmarks for Supporting Explainable Evaluations of Static Application Security Testing Tools
Behaviour-Aware Matching of Cloud Applications
Java Goes TLA+
Formal Analysis of AODV Using Rely-Guarantee
Formal verification of user-level real-time property patterns
Software Complexity Reduction by Automated Refactoring Schema
Cost-Utility Analysis in Probabilistic Models
Complexity of Distributed Petri Net Synthesis
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata
An Improved Recursive Algorithm for Parity Games
Unified Modeling and Analysis based on Petri nets and Pi calculus
OAT: An Optimized Android Testing Framework Based on Reinforcement Learning
Open Logic Based on Partial-Ordered Partition Model
Refinement Algebra with Explicit Probabilism
An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity Time
Executing Model Checking Counterexamples in Simulink
A Certifying Compiler for Clike Subset of C Language
Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification
Specification, Verification and Implementation of Business Processes Using CSP
Specification-based Test Generation and Optimization Using Model Checking
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus
Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains
Reasoning about Channel Passing in Choreography
Constraint-Based Policy Negotiation and Enforcement for Telco Services
A Conceptual Framework to Integrate Fault Prediction Sub-Process for Software Product Lines
Gradual Typing Performance, Micro Configurations and Macro Perspectives
Proving Partial-Correctness and Invariance Properties of Transition-System Models
Non-Intrusive MC/DC Measurement Based on Traces
A Formal Derivation of Grover's Quantum Search Algorithm
Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems
Intrathread Method Orders Based Adaptive Testing of Concurrent Objects
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude
Optimizing backbone filtering
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System
Formal Modelling and Verification of the RTPS Behavior Module
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE Detection
An Object Type Graph System
UML Model Refactoring with Emphasis on Behavior Preservation
Verifying the Implementation of an Operating System Scheduler
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model
A Generative Approach to Searching Algorithmic Programs Development
Towards Automated Software Verification Using Model Checking Techniques
Configuration of Services Based on Virtualization
Design of a Certifying Compiler Supporting Proof of Program Safety
A Proof System for HRML with Extended Hoare Logic
Aspect Orientation Based Test Case Selection Strategy for Service Composition
DeepCDCL: A CDCL-based Neural Network Verification Framework
On Statistical Model Checking with PLASMA
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking
Enforcing Constraints on Life Cycles of Business Artifacts
Implementing Higher-Order Control in Java
View-Based Axiomatic Reasoning for PSO
Recognising the Capacities of Dynamic Reconfiguration for the QoS Assurance of Running Systems in Concurrent and Parallel Environments
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking
MTCD: An Efficient Cloning Detection Technique Based on Method Table
Verifying Refinement of Probabilistic Contracts Using Timed Automata
On Testing 1-Safe Petri Nets
Categorical Reasoning about Meta-models
Measuring the Survivability of Object-Oriented Software
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Aspect-Oriented Semantic Framework for Executable Models
Automatic fine-grained locking generation for shared data structures
Making Program Logics Intelligible
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B
Verifying OO Programs by Linking Algebraic and Abstract Specifications
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs
Dynamic Solution of Linear Constraints for Test Case Generation
On the semantics of temporal specifications of component-behavior for dynamic architectures
A Complete Axiomatization of Propositional Projection Temporal Logic
Decomposition and Composition of Sequence Diagrams
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism
Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
Automatic Specification-Based Testing: Challenges and Possibilities
Symmetry Reduced Model Checking for B
A Comparative Study of Neural Network Techniques for Automatic Software Vulnerability Detection
A Suspension-Trace Semantics for CSP
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes
International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020
Evaluation of SAT-based Bounded Model Checking of ACTL Properties
Detecting Speculative Data Flow Vulnerabilities Using Weakest Precondition Reasoning
Fuzzing for Stateful Protocol Implementations: Are We There Yet?
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study
10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016
Large-scale Detection of Privacy Leaks for BAT Browsers Extensions in China
A Character-Level Convolutional Neural Network for Predicting Exploitability of Vulnerability
Choreography Scenario-Based Test Data Generation
Complete Contracts through Specification Drivers
A Succinct and Efficient Implementation of a 2^32 BDD Package
Class Diagrams with Equated Association Chains
Pushing Requirements Changes through to Changes in Specifications
An Effective Approach to Measuring and Assessing the Risk of Android Application
Neuron Activation Frequency Based Test Case Prioritization
A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving
Undesirable Aspect Interactions: A Prevention Policy
When Even the Interface Evolves..
Mixed Simulation of Multi-valued Models
2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018
Supporting Algorithm Analysis with Symbolic Execution in Alk
An Efficient Resolution Based Algorithm for SAT
A Native Approach to Modeling Timed Behavior in the Pi-Calculus
Model-Based Test Generation Using Evolutional Symbolic Grammar
Understanding Ineffective Events and Reducing Test Sequences for Android Applications
Semantics for Communicating Actors with Interdependent Real-Time Deadlines
A Logical Framework for Software Testing
Featured Games
Program Repair as Sound Optimization of Broken Programs
On model construction for modal mu-calculus
Modeling Fault Tolerant Services in Service-Oriented Architecture
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems
Test Case Generation Using PDA
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks
Modeling and Prototyping Business Processes in AutoPA
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis
Droidlens: Robust and Fine-Grained Detection for Android Code Smells
Automatic Conversion and Verification System Based on AADL Scheduling Model
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing
Connectors as Designs: The Time Dimension
A HOL Theory of the Differential for Matrix Functions
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications
5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011
Telling Lies in Process Algebra
Symbolic Model Checking APSL
Asynchronous Test Equivalence over Timed Processes
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets
A Relational Model for Confined Separation Logic
From Verification to Specification Inference
Improving Encoding Efficiency for Bounded Model Checking
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations
Verified Validation for Affine Scheduling in Polyhedral Compilation
Assembly program verification for multiprocessors with relaxed memory model using SMT solver
A MDE Based Approach for Bridging Formal Models
A Memoized Strategy for Preference Logic Programs
Overview of TASE 2012 Talk on Search Based Software Engineering
On Automatic Verification of Self-Stabilizing Population Protocols
Formalizing Time4sys using parametric timed automata
Improve Semantic Web Services Discovery through Similarity Search in Metric Space
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing
Safety Verification for Neural Networks Based on Set-Boundary Analysis
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata
Agile Validation of Higher Order Transformations Using F-Alloy
Approximate Bisimulation for Metric Doubly Labeled Transition System
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks
The Art of Developing Autonomic Systems - The ASSL Approach
Detecting Vulnerabilities via Explicitly Leveraging Vulnerability Features on Program Slices
Foundational certification of data-flow analyses
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space
Environmental Simulation of Real-Time Systems with Nested Interrupts
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems
Modeling and Validation of PLC-Controlled Systems: A Case Study
2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019
A Language-Based Causal Model for Safety
Slicing Assisted Program Verification: An Empirical Study
2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014
Inferring Loop Invariants for Multi-Path Loops
Bounded Model Checking of Compositional Processes
Towards Expressive Specification and Efficient Model Checking
FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models
Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs
A wp Characterization of Jump Statements
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification
Semantics of Metamodels in UML
An Empirical Study in Software Verification Tools
Compositional Abstraction Refinement for Timed Systems
Sound Test-Suites for Cyber-Physical Systems
Towards an Axiomatic Verification System for JavaScript
Varieties of Static Analyzers: A Comparison with ASTREE
A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions
From Traces to Proofs: Proving Concurrent Programs Safe
Bisimulations for Open Processes in Higher Order p-Calculus
A Fundamental Permission Interpretation for Ownership Types
Dynamics of Control
Practical Theory of Computation on Structures
Probabilistic Model of System Survivability
Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China
An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics
A Tool for Estimating Memory Usage
Low complexity and large interactions are possible in Strategy logic
Requirements-Driven Self-Repairing against Environmental Failures
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features
Stepwise Development of Paraconsistent Processes
The Scheme of Security Requirement Acquisition Based on Knowledge Graph
An Extension to Pointer Logic for Verification
A Taxonomy of Code Changes Occurring within a Statement or a Signature
Verification of Population Ring Protocols in PAT
MARS: Metamodel Recovery from Multi-tiered Models Using Grammar Inference
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC
VMDV: A 3D visualization tool for modeling, demonstration, and verification
Decomposing Models Through Dependency Graphs
Alleviating the Impact of Coincidental Correctness on the Effectiveness of SFL by Clustering Test Cases
Verifying Self-stabilizing Population Protocols with Coq
Test Selection Criteria for Modal Specifications of Reactive Systems
Formally Verifying Sequence Diagrams for Safety Critical Systems
Optimizing Quantum Programs Against Decoherence: Delaying Qubits into Quantum Superposition
Software Reliability Forecasting: Singular Spectrum Analysis and ARIMA Hybrid Model
Improving Responsiveness of Hard Real-Time Embedded Systems
Behaviour Inference for Deadlock Checking
Engineering Multi-view Models for Model-Driven Engineering
A Logical Framework for Monitoring and Evolving Software Components
An Abstract Interpretation-Based Data Leakage Static Analysis
Exploring Design Alternatives for Replicated RAMP Transactions Using Maude
Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types
Branch Obfuscation Using "Black Boxes"
A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling
Integration of Linear Constraints with a Temporal Logic Programming Language
An Axiomatic Approach to BigrTiMo
Dynamic Verification of C11 Concurrency over Multi Copy Atomics
Advances of Proof Scores in CafeOBJ : Invited Paper
Modeling and Verifying for Frameset-Based Web Applications
Dynamic Verifying The Properties of The Simple Subset of PSL
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information
Regression Test Cases Generation Based on Automatic Model Revision
Probabilistic Model Checking of Pipe protocol
Foundational Typed Assembly Language with Certified Garbage Collection
Axiomatic Temporal Logic Programs Verification
Test Data Generation for Derived Types in C Program
A Denotational Semantics for Dynamic Architectures
Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic
Semantics of Real-Time Trigger-Response Properties in Event-B
A Multidimensional Model for Mum Effect in Offshore Outsourcing
An Approach to Modelling and Evaluating AGG Based Reliable Software Systems
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China
A Logical Approach for the Schedulability Analysis of CCSL
Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications
Heap Memory Requirements Analysis via Separation Logic
Identifying Minimal Changes in the Zone Abstract Domain
Streaming State Space: A Method of Distributed Model Verification
A Bigraphical Model of WSBPEL
Program Verification: a 70+- Year History
Process Rewrite Systems for Software Model Checking
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System
Collaborative Verification of Uninterpreted Programs
G-BLAST: BLAST Manager in an Heterogeneous Distributed Environment
Environment Abstraction with State Clustering and Parameter Truncating
Hypergraph Representation of Lambda-Terms
Moverness for Locks and Transactions
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style
SeededFuzz: Selecting and Generating Seeds for Directed Fuzzing
State Visibility and Communication in Unifying Theories of Programming
Dependent Assertion Logic for Modular Software Verification
Verification and Performance Analysis for Embedded Systems
Towards a Program Logic for C11 Release-Sequences
Stack Bound Inference for Abstract Java Bytecode
On Various Abstract Understandings of Abstract Interpretation
MSDetector: A Static PHP Webshell Detection System Based on Deep-Learning
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic
A Term Rewriting Approach to Analyze High Level Petri Nets
Safe and Infinite Resource Scheduling Using Energy Timed Automata
A Formal Diagrammatic Approach to Timed Workflow Modelling
Specifying and Verifying PLC Systems with TLA+
Multi-Valued Model Checking via Groebner Basis Approach
Verifying Opacity of a Modified PSTM
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets
Security Vulnerabilities Detection Through Assertion-Based Approach
Program Slicing Stored XSS Bugs in Web Application
An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction
Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China
Modeling and Analyzing the (mu)TESLA Protocol Using CSP
A Framework for Off-Line Conformance Testing of Timed Connectors
Transformation of BPEL Processes to Petri Nets
Formalization and Verification of AUTOSAR OS Standard's Memory Protection
Verifying Chips Design at RTL Level
Exploring Topological Structure of Boolean Expressions for Test Data Selection