yusuke1997/dblp-id-title huggingface dataset:
A Statistically Customisable Web Benchmarking Tool
Local Reasoning about Data Update
Modular Synthesis of Timed Circuits using Partial Order Reduction
Terminating Tableau Calculi for Hybrid Logics Extending K
Failures, finiteness and full abstraction
A Taxonomy of Infinite State Processes
Securing Ad Hoc Storage through Probabilistic Cooperation Assessment
The control component of open mechanized reasoning systems
Specifying Proof Systems in Linear Logic with Subexponentials
Formal Security Analysis for Ad-Hoc Networks
Design Challenges for a Differential-Power-Analysis Aware GALS-based AES Crypto ASIC
Comparing Operational Models of Name-Passing Process Calculi
Secrecy in Programming-Language Semantics
Reducts Versus Constructs: an Experimental Evaluation
Rule-Based Programming with Diaplan
Investigating The Algebraic Structure of Dihomotopy Types
Coinductive Field of Exact Real Numbers and General Corecursion
Transaction Scripts: Making Implicit Scenarios Explicit
Pattern Unification with Sequence Variables, Flexible Arity Symbols
Architecture Normalization for Component-based Systems
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Cloning and Expanding Graph Transformation Rules for Refactoring
Typed Closure Conversion for Recursively-Defined Functions
Combining Techniques to Reduce State Space and Prove Strong Properties
TreeKs: A Functor to Make Numerical Abstract Domains Scalable
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
Semantics for Local Computational Effects
Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis
Explicit-Symbolic Modelling for Formal Verification
Parameterized Theories and Views in Full Maude 2.0
Membrane Computing and Brane Calculi (Some Personal Notes)
SSEA: A System for Studying the Effectiveness of Animations
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
Can Refinement be Automated?
TILC: The Interactive Lambda-Calculus Tracer
A Concern-based Technique for Architecture Modelling Using the UML Package Merge
A Fault Taxonomy for Component-Based Software
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001
On Type Inference in the Intersection Type Discipline
Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees
Families of Symmetries as Efficient Models of Resource Binding
A Strict-Observational Interface Theory for Analysing Service Orchestrations
On the Formal Verification of Middleware Behavioral Properties
Towards Testing Product Line Architectures
Contraction of the ITCPN State Space
Model checking with abstract types
Object-oriented specifications of distributed systems in the mu-Calculus and Maude
The Methods of Approximation and Lifting in Real Computation
A hierarchy of probabilistic system types
Formalizing Operational Semantic Specifications in Logic
A Tool for Analysing Logics
Justifying Equality
Monoidal Indeterminates and Categories of Possible Worlds
An Algebraic Theory Of Boundary Crossing Transitions
Abstract Syntax: Substitution and Binders: Invited Address
Complexity of Blowup Problems: Extended Abstract
Tabular verification and refinement
Discretized Fractional Calculus with a Series of Chebyshev Polynomial
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
High Performance Static Analysis for Industry
A Coalgebraic Perspective on Monotone Modal Logic
Mobility Types for Mobile Processes in Mobile Ambients
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
Multiple Synchrony in MSC
On the Expressiveness of Mobile Synchronizing Petri Nets
Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking
Dynamic Consistency in Process Algebra: From Paradigm to ACP
A Metamodel-Based OCL-Compiler for UML and MOF
The Compact Dynamic Bus Station
Reductions and Saturation Reductions of (Abstract) Knowledge Bases
Vector Symmetry Reduction
An Automated Approach to Cloud Performance Benchmarking
Multidimensional Software Monitoring Applied to ERP
The STSLib Project: Towards a Formal Component Model Based on STS
A Calculus for "Environment-Aware" Computation
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Probability, Truth and Flow Graph
Domain theory in learning processes
Process Calculi and Life Science
A Calculus of Components with Dynamic Type-Checking
Scott induction and equational proofs
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations
Concurrent Symbolic Verification of Liveness Properties for Interleaved Models
Process Algebra and Information Flow
A Type-theoretic Description of Action Calculi
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
On the Minimum Eccentricity Isometric Cycle Problem
Generalized Scott Topology on Sets with Families of Pre-orders
A Proof Dedicated Meta-Language
Analysis of the MPEG-2 Encoding Algorithm with ROSA1
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
Specifying Graph-like Diagrams with DIAGEN
Dataflow Architectures for GALS
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems
Verification of Fine-grain Concurrent Programs
GETGRATS: A summary of scientific results (with annotated bibliography)
Refining Emergent Properties
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
Stepwise Refinement of Processes
Relational Analysis and Precision via Probabilistic Abstract Interpretation
Algebra and Sequent Calculus for Epistemic Actions
Idempotents in Dagger Categories: (Extended Abstract)
Model Checking: A Complexity-Theoretic Perspective (invited talk)
Recommendation Retrieval in Reputation Assessment for Peer-to-Peer Systems
Application Security Models for Mobile Agent Systems
BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning
Some Remarks on Synchronization, Games and Planar Automata
Checking global graph properties by means of local computations: the majority problem
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks
A Model Checking-based Method for Verifying Web Application Design
Experiments in Cost Analysis of Java Bytecode
Adding Mobility to Software Architectures
ConSpec - A Formal Language for Policy Specification
Approximate Relational Hoare Logic for Continuous Random Samplings
Event Structures for Interrupt Process Algebras
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
Portable Resource Control in Java: Application to Mobile Agent Security
Languages for Coalgebras on Datafunctors
On Block Structures in Quantum Computation
A Hybridization of Irreflexive Modal Logics
UML Modeling for Regression Testing of Component Based Systems
Coverage-biased Random Exploration of Models
Reachability in Timed Counter Systems
Reachability Analysis via Orthogonal Sets of Patterns
GeoThms - a Web System for Euclidean Constructive Geometry
Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem
Formalizing Homogeneous Language Embeddings
The Abstract Domain of Parallelotopes
Fragments-based Model Reduction: Some Case Studies
Writing Constructive Proofs Yielding Efficient Extracted Programs
A Denotational Semantics for Circus
Towards SOS Meta-Theory for Language-Based Security
Verification of A Key Chain Based TTP Transparent CEM Protocol
Efficient Reduction Techniques for Systems with Many Components
Induced Topologies on the Poset of Finitely Generated Saturated Sets
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes
Anchoring Modularity in HTML
Type-Directed Compilation for Multicore Programming
Why Trust is Bad for Security
Method to Identify Corrections of Defects on Product Line Models
iRho: the Software: [System Description]
Refactoring Alloy Specifications
Partial and Complete Processes in Multiparty Sessions
Visualizing Geometrical Statements with GeoView
Inductive Behavioral Proofs by Unhiding
Typed Logical Variables in Haskell
On the Integration of Connectionist and Logic-Based Systems
Quasicontinuous Domains and the Smyth Powerdomain
Type Theory Should Eat Itself
Monitoring, Checking, and Steering of Real-Time Systems
A direct symbolic approach to model checking pushdown systems
Efficient Automated Trace Analysis: Examples with Morphine
On Relating and Integrating Two Trust Management Frameworks
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint
The Dagstuhl Middle Metamodel: A Schema For Reverse Engineering
A Coalgebraic Semantics for Epistemic Programs
TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters
Language Parametric Module Management for IDEs
Interaction Nets with McCarthy's amb
Formal Models for Informal GUI Designs
Intensionality of modal logic for Robust Ambient Calculus
Hyperbolic Julia Sets are Poly-Time Computable
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
Newton's method and the Computational Complexity of the Fundamental Theorem of Algebra
The Bicategory-Theoretic Solution of Recursive Domain Equations
Generic Trace Theory
Bi-continuous valuations
Continuous Testing in Eclipse
Architectural Prototyping: From CCS to .Net
Modal Expressiveness of Graph Properties
Summarized Dimensions Revisited
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
A Single Proof of Classical Behaviour in da Costa's C n Systems
Linking Semantic Models to Support CSP || B Consistency Checking
Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets
Fade to Grey: Tuning Static Program Analysis
An Efficient Solution for Model Checking Graph Transformation Systems
On the Expressiveness of Chi, Update, and Fusion calculi
History and Developments
Pullback rewriting and applications
A Denotational Approach to the Static Analysis of Cryptographic Processes
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
Cryptographic Security of Reactive Systems
Bisimulation and Simulation Relations for Markov Chains
Time Separation of Events: An Inverse Method
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs
The complexity space of a valued linearly ordered set
Refactoring: Current Research and Future Trends
New Evaluation Commands for Maude Within Full Maude
Controlling rewriting by rewriting
Towards Proof Generating Compilers
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette
Type Checking Circus Specifications
Lessons from a Bibliography Program's Reimplementation
A System Architecture for Context-Aware Service Discovery
Variable Neighborhood Descent Branching applied to the Multi-Way Number Partitioning Problem
A Call Abstraction for Component Coordination
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols
Bounded Model Checking for Timed Automata
LotrecScheme
Synthesis of Optimal Strategies Using HyTech
Towards A Game Theoretic Understanding of Ad-Hoc Routing
Modeling Group Communication Protocols Using Multiset Term Rewriting
Matching of Bigraphs
Discounting Infinite Games But How and Why?
Towards Test Purpose Generation from CTL Properties for Reactive Systems
An Effective Coalgebraic Bisimulation Proof Method
Partial Order Reduction for Probabilistic Branching Time
Using Coloured Petri Nets to Compare Mobile Agent Design Patterns
Some Undecidable Approximations of TRSs
Synchronization and Arbitration in GALS
Towards Attributed Graphs in Groove: Work in Progress
Reo Based Interaction Model
Logic programs as specifications in the inductive verification of logic programs
Algebras of the Extended Probabilistic Powerdomain Monad
(In)Efficiency and Reasonable Cost Models
On the Canonical Representation of Order 3 Discrete Phase Type Distributions
A First Set of Design Patterns for Algorithm Animation
Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
Bytecode Rewriting in Tom
A Type-theoretic Reconstruction of the Visitor Pattern
Formal Specification of a Web Services Protocol
Monads, Effects and Transformations
PSPACE-hardness of Two Graph Coloring Games
Flexible Communication of Agents based on FIPA-ACL
Exploiting Design Structure in Model Checking
A Framework for Fair Communicating Processes
A Model Checking Approach to Protocol Conversion
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
Switching Graphs
Refactoring of Crosscutting Concerns with Metaphor-Based Heuristics
Elimination of Local Variables from Definite Logic Programs
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
Graph reduction, and how to avoid it
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking
The variety of variables in computer-aided real-time programming
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
Refinement and the Z schema calculus
An Interactive Driver for Goal-directed Proof Strategies
Transformation for Refining Unraveled Conditional Term Rewriting Systems
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures
Tool Supported Test Frameworks in TTCN-3
Describing Secure Interfaces with Interface Automata
A Software Interface Between the Narrative Language and Bio-PEPA
Simulating Algebraic Specification Genericity on Languages with Initial Semantics
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Coalgebraic Reasoning about Classes in Object-Oriented Languages
Diagram Chase in Relational System Development
On the Complexity of Finding Paths in a Two-Dimensional Domain II: Piecewise Straight-Line Paths
Under-approximation of Reachability in Multivalued Asynchronous Networks
On the Cauchy Completeness of the Constructive Cauchy Reals
Typed Event Structures and the pi -Calculus: Extended Abstract
Barbs and Congruences for Safe Mobile Ambients
Diffusion Approximation Model of Multiserver Stations with Losses
Concurrency in Biological Modeling: Behavior, Execution and Visualization
A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in
The Implication Problem of Functional Dependencies in Complex-value Databases
Modeling concurrent systems specified in a temporal concurrent constraint language-I
Shared Hash Tables in Parallel Model Checking
On-line Chain Partitioning as a Model for Real-time Scheduling
Integrating the Semantics of Deterministic Multi-layered Communication Systems
Towards Model-Driven Testing
Digital homotopy with obstacles
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
Handling Left-Quadratic Rules When Completing Tree Automata
Abstract Process Structures
Fast and Flexible Compression for Web Search Engines
Concurrency for Graph Grammars in a Petri net shell
Model Based Testing of a Network-on-Chip Component
Liveness in Interaction Systems
Matching typed and untyped realizability
Higher Dimensional Categories: Induction on Extensivity
Resource Access Control in Systems of Mobile Agents
Computerizing Mathematical Text with MathLang
Statechart Modeling with Fujaba
Verification of Quantum Protocols with a Probabilistic Model-Checker
A Resource Analysis of the π-calculus
Geometric Aspects of Multiagent Systems
An Interactive Derivation Viewer
A Dual Language Approach to the Development of Time-Critical Systems
A Pure Object-Oriented Embedding of Attribute Grammars
Graph Transformations for the Specification of Access Control Policies
Extending Algebraic Operations to D-Completions
Satisfiability of Dolev-Yao Constraints
A Superposition Operator for the Refinement of Algebraic Models
Verification of Spatial and Temporal Modalities in Biochemical Systems
Computability of Solutions of Operator Equations
A Component Model for Architectural Programming
Formal Verification of Graph Grammars using Mathematical Induction
Graph Transformation Semantics for a QVT Language
A Mathematical Model of Dialog
Software Components: a Formal Semantics Based on Coloured Petri Nets
A Z Approach in Validating ORA-SS Data Models
Hiproofs: A Hierarchical Notion of Proof Tree
Exploiting Parallelism in Coalgebraic Logic Programming
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
Bimonoidal Structure of Probability Monads
From Partial Orders with Projections to Domains
Team Automata for Security: - A Survey -
On the Complexity of RSRL
Rewriting Techniques in the Constraint Solver
Towards an Automated Deployment Planner for Composition of Web Services as Software Components
Graph Transformation with Incremental Updates
Efficient and Type-Safe Generic Data Storage
Clustering for Monitoring Software Systems Maintainability Evolution
A topological approach to distributed computing
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Combining Monitors for Runtime System Verification
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra
Building Interpreters with Rewriting Strategies
Interactive Programming of Reactive Systems
Validated Proof-Producing Decision Procedures
Data Reverse Engineering of Legacy Databases to Object Oriented Conceptual Schemas
Some algebraic laws for spans
Specification of Logic Programming Languages from Reusable Semantic Building Blocks
The Sequent Calculus of Skew Monoidal Categories
Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA
Observing Internet Worm and Virus Attacks with a Small Network Telescope
On the Expressive Power of Schedulers in Distributed Probabilistic Systems
On the Real-state Processing of Regular Operations and The Sakoda-Sipser Problem
Generalizing Topological Set Operators
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A Multi-Adjoint Approach to Similarity-Based Unification
Reasoning about efficiency within a probabilistic µ-calculus
Automated Verification of Function Block Based Industrial Control Systems
Temporal Assertions using AspectJ
Continuous-Time Probabilistic KLAIM
The Generalized Dependency Constrained Spanning Tree Problem
A Case Study in Parallel Verification of Component-Based Systems
Adaptive Detection of Design Flaws
Technical Report: Computation on the Extended Complex Plane and Conformal Mapping of Multiply-connected Domains
Engineering Automation for Computer Based Systems
Bisimilarity of processes with finite-state systems
Towards an XML-based Bytecode Level Transformation Framework
A Set-Theoretical Approach for the Induction of Inheritance Hierarchies
Exploration-exploitation Trade-off in a Treasure Hunting Game
Compatibility Between Syntax and Semantics of Graph Grammars
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Falsifying Safety Properties Through Games on Over-approximating Models
Towards a Programming Model for Building Reliable Systems with Distributed State
Monadic Type Systems: Pure Type Systems for Impure Settings
The development of interactive algorithms for the Mathematical Environment
Bound Analysis for Whiley Programs
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java
Automatic Verification of Combined Specifications: An Overview
Synchronization Algebras with Mobility for Graph Transformations
Strong Joinability Analysis for Graph Transformation Systems in CHR
K Overview and SIMPLE Case Study
From Error to Error: Logic Debugging in the Many-Core Era
Modular Verification of Interactive Systems with an Application to Biology
Conformal Field Theory as a Nuclear Functor
Towards Context Independent Extra-functional Properties Descriptor for Components
Bi-inductive Structural Semantics: (Extended Abstract)
A Predicate/State Transformer Semantics for Bayesian Learning
An Incremental Model for Concurrent Objects
Fuzzy Set Abstraction
CTL * Model Checking on a Shared-Memory Architecture
Formal Meta-level Analysis Framework for Quantum Programming Languages
Bisimulation trees and the decidability of weak bisimulations
Yet Another Bijection Between Sequent Calculus and Natural Deduction
Polar Type Inference with Intersection Types and omega
Inequational Deduction as Term Graph Rewriting
Towards a Generic BPMS User Portal Definition for the Execution of Business Processes
Soft Linear Logic and Polynomial Complexity Classes
Performance Analysis of a Software Retrieval Service
Combining the Box Structure Development Method and CSP for Software Development
Amb Breaks Well-Pointedness, Ground Amb Doesn't
The Two-Phase Commitment Protocol in an Extended pi-Calculus
Declarative N. Programming: A logical view
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation
Mothers of Pipelines
ESUIF: An Open Esterel Compiler
On the Effective Existence of Schauder Bases: (Extended Abstract)
Studying provability in implicational intuitionistic logic the formula tree approach
Refactoring-aware versioning in Eclipse
A monadic semantics for core Curry
Model-Checking Games for Typed lambda-Calculi
On the Formal Specification and Derivation of Relational Database Applications
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Latency-Insensitive Design: Retry Relay-Station and Fusion Shell
Timed P Automata
Distributed Reactive XML
ZEUS: A Distributed Timed Model-Checker Based on KRONOS
Formality, Evolution, and Model-driven Software Engineering
Towards an Integrated View on Architecture and its Evolution
A Model Slicing Method for Workflow Verification
Formal ReSpecT in the A&A Perspective
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended R ebeca
Automata Games for Multiple-model Checking
A Framework for Generating AV Content on-the-fly
A Scalable Evidence Based Self-Managing Framework for Trust Management
Evaluation of Advanced Data Centre Power Management Strategies
Introducing Test Automation and Test-Driven Development: An Experience Report
Towards a Common Semantic Foundation for Use Cases and Task Models
Lattices of Irreducibly-derived Closed Sets
An Overview of Semantic Web Services Composition Approaches
The OMRS project: State of the art
Interactive Behaviour Between the Dynamic Arrival Process of Complex Traffic Source and a Bottleneck Queue
An Abstract Machine for a Higher-Order Distributed Process Calculus
When Model-based Testing Fails
A categorical approach to unification of generalised terms
Validating More Loop Optimizations
Discrete event systems in rewriting logic
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees
From Active Names to pi-calculus Rewriting Rules
How to Brew-up a Refinement Ordering
Monadic Encapsulation of Effects: a Revised Approach