yusuke1997/dblp-id-title huggingface dataset:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
A Randomized Algorithm for BBCSPs in the Prover-Verifier Model
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
Heterogeneous Timed Machines
Class-Diagrams for Abstract Data Types
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Behavioural Models for FMI Co-simulations
Domain Theory: Practice and Theories A Discussion of Possible Research Topics
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
Qsimulation V2.0: An Optimized Quantum Simulator
From Program Logics Towards Language Logics
Specifying Software Connectors
A Resource Aware Computational Interpretation for Herbelin's Syntax
WP Semantics and Behavioral Subtyping
Invariants and Well-Foundedness in Program Algebra
Correctness of Object Oriented Models by Extended Type Inference
A Categorical Approach to Synthetic Chemistry
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages
Outfix-Free Regular Languages and Prime Outfix-Free Decomposition
Undecidability Results for Multi-Lane Spatial Logic
Soundly Proving B Method Formulæ Using Typed Sequent Calculus
The PlusCal Algorithm Language
Implementing Application-Specific Object-Oriented Theories in HOL
Languages and Process Calculi for Network Aware Programming - Short Summary -
Modeling Product Lines with Kripke Structures and Modal Logic
Linear Context Free Languages
Distributed Computing for Emerging Smart Networks - First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers
Structural Rules and Algebraic Properties of Intersection Types
First Steps Towards Cumulative Inductive Types in CIC
Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems
Verifying a Hotel Key Card System
Upside-Down Transformation in SOL/Connection Tableaux and Its Application
A Summary of the Tutorials at ICTAC 2004
A Calculus for Attribute-Based Memory Updates
Building Extended Canonizers by Graph-Based Deduction
Specifying Properties of Dynamic Architectures Using Configuration Traces
Modelling and Analysing Cognition and Interaction
Material Flow Abstraction of Manufacturing Systems
Counterexample-Preserving Reduction for Symbolic Model Checking
Simplifying Process Parameters by Unfolding Algebraic Data Types
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau
Transmission Protocols for Instruction Streams
Probabilistic Datatypes
Proving ATL* Properties of Infinite-State Systems
Aspect-Oriented Development of Trustworthy Component-based Systems
Theoretical Aspects of Computing - ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
Energy Efficient Handshake Algorithm for Wireless Sensor Networks
A Deadlock-Free Semantics for Shared Memory Concurrency
Modal Interface Theories for Communication-Safe Component Assemblies
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
From Universal Logic to Computer Science, and Back
Context-Free Languages of Countable Words
Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
A Probabilistic Logic for pTiMo
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving
Input-Output Model Programs
Converging from Branching to Linear Metrics on Markov Chains
LTL to Smaller Self-Loop Alternating Automata and Back
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions
Verification of Multi-agent Systems with Timeouts for Migration and Communication
Jump Complexity of Deterministic Finite Automata with Translucent Letters
Refinement of Structured Interactive Systems
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration
A New Approach to Determinisation Using Bit-Parallelism
Thread-Modular Verification Is Cartesian Abstract Interpretation
Energy Efficient Target Coverage in Wireless Sensor Networks Using Adaptive Learning
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
Preference and Non-deterministic Choice
Verification by Construction of Distributed Algorithms
Stepwise Development of Simulink Models Using the Refinement Calculus Framework
Proof Nets and the Linear Substitution Calculus
A Formal Framework for Ontology Integration Based on a Default Extension to DDL
Recasting Constraint Automata into Büchi Automata
Weighted Register Automata and Weighted Logic on Data Words
Integrating Variants of DC
Constructing Cycles in the Simplex Method for DPLL(T)
Symbolic Analysis Tools for CSP
Decomposing Controllers into Non-conflicting Distributed Controllers
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements
Unifying Heterogeneous State-Spaces with Lenses
Certifying Choreography Compilation
Active Learning of Symbolic Mealy Automata
VANETs Routing Protocols Survey: Classifications, Optimization Methods and New Trends
Maximum Marking Problems with Accumulative Weight Functions
ProofScript: Proof Scripting for the Masses
Verification of Concurrent Programs on Weak Memory Models
Quantitative Weak Linearisation
Denotational Semantics for Symbolic Execution
Towards a User Interface Description Language Based on Bigraphs
The Landscape of Computing Symmetric n-Variable Functions with 2n Cards
On Equality Predicates in Algebraic Specification Languages
The Complexity of Boolean State Separation
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing
A Theory of Bounded Fair Scheduling
Deterministic Regular Expressions with Interleaving
Real Time Reactive Programming in Lucid Enriched with Contexts
Double Applicative Functors
A Framework for Incorporating Trust into Formal Systems Development
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors
Infinitely Often Testing - (Extended Abstract)
Verifying Linear Duration Constraints of Timed Automata
An Efficient Fault-Tolerant Scheduling Approach with Energy Minimization for Hard Real-Time Embedded Systems
Emulating Primality with Multiset Representations of Natural Numbers
On the Expressive Power of QLTL
Probabilistic Recursion Theory and Implicit Computational Complexity
On a New Quantization Algorithm for Secondary User Scheduling in 5G Network
Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism
Structural Refinement for the Modal nu-Calculus
An Algebra of Petri Nets with Arc-Based Time Restrictions
Towards a Unifying Logical Framework for Neural Networks
Learning Cover Context-Free Grammars from Structural Data
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
Switched Systems in Coq for Modeling Periodic Controllers
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition
Codes and Length-Increasing Transitive Binary Relations
A Theory of Pointers for the UTP
Disconnection Rules are Complete for Chemical Reactions
Functional Choreographic Programming
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers
Towards the Complexity Analysis of Programming Language Proof Methods
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols
Lean4Less: Eliminating Definitional Equalities from Lean via an Extensional-to-Intensional Translation
ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
The Spiral of Silence in Multi-agent Models for Opinion Formation
Generating Armstrong ABoxes for ALC ALC TBoxes
On Superposition-Based Satisfiability Procedures and Their Combination
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
Mobile Membranes: Computability and Complexity
Asynchronous Announcements in a Public Channel
Prioritized slotted-Circus
Quantitative Temporal Logic Mechanized in HOL
Propositional Dynamic Logic for Petri Nets with Iteration
On Refinements of Boolean and Parametric Modal Transition Systems
An Extended cCSP with Stable Failures Semantics
The Use of Mathematics in Software Development - (Extended Abstract)
Using Fairness Constraints in Process-Algebraic Verification
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms
The Three Platonic Models of Divergence-Strict CSP
Using Semantics Specified in Maude to Generate Test Cases
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
A Rely-Guarantee-Based Simulation for Cooperative Semantics
Laws of Monadic Error Handling
On Cool Congruence Formats for Weak Bisimulations
Relaxing Goodness Is Still Good
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
An Algebraic Approach for Codesign
Parametric Deadlock-Freeness Checking Timed Automata
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures
On Characterization, Definability and ω-Saturated Models
Definite Expression Aliasing Analysis for Java Bytecode
Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems
A Compositional Hierarchical Monitoring Automaton Construction for LTL
Using Design Patterns in Formal Methods: An Event-B Approach
On the Hairpin Completion of Regular Languages
Normalising Lustre Preserves Security
Representation and Reasoning on RBAC: A Description Logic Approach
Atomic Components
On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations
Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control
Advances in Quantitative Verification for Ubiquitous Computing
Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings
Axiomatizing Weak Ready Simulation Semantics over BCCSP
Linguistic Mechanisms for Context-Aware Security
POST: A Case Study for an Incremental Development in rCOS
Local XOR Unification: Definitions, Algorithms and Application to Cryptography
The Arithmetic of Recursively Run-Length Compressed Natural Numbers
Non-termination Sets of Simple Linear Loops
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators
Multi-rate System Design Through Integrating Synchronous Components
Learning Attack Trees by Genetic Algorithms
A Framework for Instantiating Pedagogic mLearning Objects Applications
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems
Finding Resource Bounds in the Presence of Explicit Deallocation
Covarieties of Coalgebras: Comonads and Coequations
Modal Process Rewrite Systems
Controlling Process Modularity in Mobile Computing
A Probabilistic Semantics for the Pure \lambda -Calculus
Ensuring Reachability by Design
On Computational Aspects of Ordered Matching Problems
Layer by Layer - Combining Monads
Verifying Lock-Freedom Using Well-Founded Orders
Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Taming Concurrency for Verification Using Multiparty Session Types
Stronger Reduction Criteria for Local First Search
On the Expressiveness of Symmetric Communication
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages
Testing of Abstract Components
Algebraic Semantics for Compensable Transactions
A Cure for Stuttering Parity Games
On Asynchronous Multiparty Session Types for Federated Learning
Symbolically Bounding the Drift in Time-Constrained MSC Graphs
A Note on Monitors and Büchi Automata
An Approach to Integration Testing Based on Data Flow Specifications
Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs
Compositionality of Fixpoint Logic with Chop
FORMULA 2.0: A Language for Formal Specifications
A Divide & Conquer Approach to Conditional Stable Model Checking
Splicing Array Grammar Systems
Regular Expressions with Numerical Constraints and Automata with Counters
Towards MC/DC Coverage of Properties Specification Patterns
A Metalanguage for Guarded Iteration
On Concurrent Program Algebra and Demonic Automata
Facing Uncertainty in AI: From Formal Verification To Synthesis
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)
The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers
Runtime Enforcement with Event Reordering
Denotational and Algebraic Semantics for the CaIT Calculus
Multi-perspective Correctness of Programs
Generalized Parikh Matrices for Tracking Subsequence Occurrences
Reachability Games and Parity Games
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems
Deriving Inverse Operators for Modal Logic
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Algorithms for Checking Intersection Non-emptiness of Regular Expressions
Solving of Regular Equations Revisited
Quasi-interpretation Synthesis by Decomposition
Symbolic Model Checking of Finite Precision Timed Automata
A Topological Approach of the Web Classification
Bisimulations and Logics for Higher-Dimensional Automata
A Sound Observational Semantics for Modal Transition Systems
Finitary Fairness in Action Systems
On Two Characterizations of Feature Models
Proof-Producing Program Analysis
Object-Centric Process Mining: An Introduction
Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems
Challenges in Increasing Tool Support for Programming
Duration Calculus: A Real-Time Semantic for B
Petri Nets and Semilinear Sets (Extended Abstract)
Interactive Matching Logic Proofs in Coq
Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity
Spatio-temporal Hybrid Automata for Cyber-Physical Systems
Tracking Down the Origins of Ambiguity in Context-Free Grammars
On Unary Fragments of MTL and TPTL over Timed Words
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
Complexity Results on Register Context-Free Grammars and Register Tree Automata
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs
Specifying and Analyzing the Kademlia Protocol in Maude
Formal Methods Adoption in Industry: An Experience Report
Context-Free Grammars for Deterministic Regular Expressions with Interleaving
Verification Constraint Problems with Strengthening
Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs
Type Safety for Isabelle/Solidity
Efficient AND Protocols Resistant to Maliciously Revealing a Single Card
Newton Series, Coinductively
Non-preemptive Semantics for Data-Race-Free Programs
A Formal Proof Generator from Semi-formal Proof Documents
Higher-Order Dynamics in Event Structures
The Secret Art of Computer Programming
Learning Closed Signal Flow Graphs
Bounded Model Checking for Partial Kripke Structures
ECBC: A High Performance Educational Certificate Blockchain with Efficient Query
Formal Modelling of Separation Kernel Components
A Verified Implementation of B + -Trees in Isabelle/HOL
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks
Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading
A Systematic Literature Review of Studies on Road Congestion Modelling
Switched Probabilistic I/O Automata
Towards a Calculus for Dynamic Architectures
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
Solving the Expression Problem in C++, á la LMS
Reactive Synthesis from Visibly Register Pushdown Automata
A Mathematical Game Semantics of Concurrency and Nondeterminism
A Theory of Proc-Omata - and Proof Methods for Process Architectures
Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Timed Monitoring and Timed Monitorability
Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients
Prime Decomposition Problem for Several Kinds of Regular Codes
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
The Timer Cascade: Functional Modelling and Real Time Calculi
Formal Modelling, Analysis and Verification of Hybrid Systems
IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata
Minimal Spanning Set for Coverage Testing of Interactive Systems
VeriMon: A Formally Verified Monitoring Tool
A Clock-Based Framework for Construction of Hybrid Systems
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
Spatio-Temporal Domains: An Overview
Virtual Time and Timeout in Client-Server Networks - (Extended Abstract)
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm
Using Dynamic Bayesian Networks to Solve Road Traffic Congestion in the Sfax City
Hybrid Automata as Coalgebras
Store Locally, Prove Globally
Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
Modular Soundness Checking of Feature Model Evolution Plans
Externalized and Internalized Notions of Behavioral Refinement
A Logical Characterization of Efficiency Preorders
Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains
Tutorial on Formal Methods for Distributed and Cooperative Systems
Fast Computations on Ordered Nominal Sets
Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings
A Matching Logic Foundation for Alk
CSP and Kripke Structures
Convex Language Semantics for Nondeterministic Probabilistic Automata
Bisimulations for a Distributed Higher Order pi -Calculus
Verification with Common Knowledge of Rationality for Graph Games
The Proof Technique of Unique Solutions of Contractions
Random Generators for Dependent Types
Distributed Time-Asynchronous Automata
Realisability of Global Models of Interaction
On the Stability Semantics of Combinational Programs
rCOS: Defining Meanings of Component-Based Software Architectures
Spatio-temporal Model Checking for Mobile Real-Time Systems
Qualitative-Quantitative Reasoning: Thinking Informally About Formal Things
A Generalisation of a Relational Structures Model of Concurrency
A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2)
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements
Proof Theory of a Multi-Lane Spatial Logic
Verifying OWL and ORL Ontologies in PVS
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
Data-Distributions in PowerList Theory
A Combinatorial Study of Async/Await Processes
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings
Inclusion Test Algorithms for One-Unambiguous Regular Expressions
A Proof Method for Local Sufficient Completeness of Term Rewriting Systems
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing
Cruise Control in Hybrid Event-B
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice
Refinement of Kripke Models for Dynamics
A Conformance Checker Tool CSPConCheck
AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems
Composing Transformations to Optimize Linear Code
Constrained Reachability of Process Rewrite Systems
Domain Analysis and Description: A Tutorial
A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle
Symbolic Worst Case Execution Times
Reversibility in Process Calculi with Nondeterminism and Probabilities
Embedding Functions into Disjunctive Logic Programs
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
Reasoning Algebraically About Refinement on TSO Architectures
Schedulers and Finishers: On Generating the Behaviours of an Event Structure
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules
Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm
A Robust Interpretation of Duration Calculus
Semantics of a Relational λ-Calculus
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
Monoidal Multiplexing
Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Closure and Decision Properties for Higher-Dimensional Automata
Complete Calculi for Structured Specifications in Fork Algebra
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling
Generating C Code from LOGS Specifications
Monotonic Abstraction in Action
Modelling Interactions: Digital and Physical
Layer Systems for Confluence - Formalized
Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems
Reactive Designs of Interrupts in Circus Time
Set Invariance for Assume-Guarantee Contracts in Cyber-Physical Systems Design - - Extended Abstract -
Solving First Order Formulae of Pseudo-Regular Theory
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic
Event Analytics
Information Flow Is Linear Refinement of Constancy
Explicit Auditing
A Complete and Compact Propositional Deontic Logic
A Comparative Study of Vehicle Detection Methods in a Video Sequence
A Logical Descriptor for Regular Languages via Stone Duality
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
A Petri Net Translation of pi -Calculus Terms
Verification of Linear Duration Invariants by Model Checking CTL Properties
Context-Free Sequences
On Typing Information Flow
Runners for Interleaving Algebraic Effects
Expressiveness via Intensionality and Concurrency
Without Loss of Satisfaction
Failures: Their Definition, Modelling and Analysis
Intersection Types for the Resource Control Lambda Calculi
Automatic Conflict Detection on Contracts
On Probabilistic Distributed Strategies
Type Safety for FJ and FGJ
Non-interleaving Semantics with Causality for Nondeterministic Dataflow
Formalizing the Debugging Process in Haskell
Analysis of Bayesian Networks via Prob-Solvable Loops
Linking Semantic Models
Taylor Series Revisited
BCARET Model Checking for Malware Detection
Efficient Reactive Synthesis Using Mode Decomposition
Inherent Causal Orderings of Partial Order Scenarios