yusuke1997/dblp-id-title huggingface dataset:
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
Interval Duration Logic: Expressiveness and Decidability
Computing with Contexts: A simple approach
A Model and Analysis of the AKAP Scaffold
Formal Model-Driven Design of Distributed Algorithms
The Complexity of Random Ordered Structures
Symbolic Model-based Test Selection
Approximation Algorithms for Sorting Permutations by Length-Weighted Short Rearrangements
Compositional Specification of Parallel Components Using Circus
Exploiting Linearity in Sharing Analysis of Object-oriented Programs
The Upper Interval Topology, Property M and Compactness
Composition of Structured Process Specifications
Co-Algebraic Models for Quantitative Spatial Logics
Comparing Meseguer's Rewriting Logic with the Logic CRWL
An actor rewriting theory
Confluence Thanks to Extensional Determinism
Time Aware System Refinement
Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation
Uniformly Computable Aspects of Inner Functions
Modal Predicates and Co-equations
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties
Panoptes: An Exploration Tool for Formal Proofs
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language
A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars
Domain-Specific Optimisation with User-Defined Rules in CodeBoost
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL
Towards Testing and Analysis of Systems that Use Serialization
Colouring the Normalized Laplacian
Proof Transformation via Interpretation Functions: Results, Problems and Applications
On the Computational Representation of Classical Logical Connectives
System Description: Delphin - A Functional Programming Language for Deductive Systems
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
On the Impact of Formal Methods in the SOA
Instantaneous Transitions in Esterel
Verified Code Generation for Embedded Systems
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction
Top-secret Multi-Agent Systems
Parallel Processes with Implicit Computational Capital
Formal Semantics and Analysis of Component Connectors in Reo
On the Expressiveness of Linda-like Concurrent Languages
Context Management for Adaptive Information Systems
Modelling of Biochemical Reactions by Stochastic Automata Networks
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
JIT-Based Cost Analysis for Dynamic Program Transformations
On Graphs for Intuitionistic Modal Logics
A Dozen Instructions Make Java Bytecode
A Presheaf Model of Parametric Type Theory
A Declarative Debugger for Maude Functional Modules
Isotropy of Algebraic Theories
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees
Uniform Completion versus Ideal Completion of Posets with Projections
A Composite Web Service Supporting User Context to Provide an Adapted Remote Control of High Technology Instruments
On Logical and Concurrent Equivalences
Modular Modelling in Synthetic Biology: Light-Based Communication in E. coli
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
Visualizing Proof Search for Theorem Prover Development
Multi-Clock Latency-Insensitive Architecture and Wrapper Synthesis
An Optimal Inverse Laplace Transform Method Without Positive and Negative Overshoot - An Integral Based Interpretation
Automatic Formal Synthesis of Hardware from Higher Order Logic
Conditional Densities of Regular Languages
Distributed Symbolic Bounded Property Checking
Analysis of Television and Cinema Productions using Mean Field Models
A Logical Model of the Dynamics of Peer Pressure
Uniform Domains and Uniform Spaces: (Abstract)
Formal Modeling Of Middleware-based Distributed Systems
Typechecking Safe Process Synchronization
Reducing Complex CSP Models to Traces via Priority
Dynamic Semantics of Plurals DPLQ*
On Coloring a Class of Claw-free Graphs: To the memory of Frédéric Maffray
Behaviour Protocols for Interacting Stateful Components
CC(X): Semantic Combination of Congruence Closure with Solvable Theories
Stochastic Modelling of the Kai-based Circadian Clock
Barbed Model-Driven Software Development: A Case Study
Mining Propositional Simplification Proofs for Small Validating Clauses
Rates of Convergence of Recursively Defined Sequences
On the omega-language Expressive Power of Extended Petri Nets
The Expressiveness of CSP With Priority
Techniques for Security Checking: Non-Interference vs Control Flow Analysis
Combining Model Reductions
A Web Service Architecture for Enforcing Access Control Policies
Algorithmic Debugging of Java Programs
Modeling Fresh Names in the π-calculus Using Abstractions
Verifying invariants by approximate image computation
Topological Construction of Parameterized Bisimulation Limit
CHR: A Constructive Relevant Natural-deduction Logic
Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments
From Applicative to Environmental Bisimulation
Algorithmic Techniques for Maintaining Shortest Routes in Dynamic Networks
A Secret-Sharing Protocol Modelled in Maude
Structural Operational Semantics and Modal Logic, Revisited
Interacting Extended State Diagrams
Inorder traversal of splay trees
Partial Traces on Additive Categories
Layered map reasoning: An experimental approach put to trial on sets
Timed CSP: A Retrospective
Strategies as Concurrent Processes
A name-free account of action calculi
Deciding Whether a Grid is a Topological Subgraph of a Planar Graph is NP-Complete
Modeling and Analysis of Non-functional Properties in Component-based Systems
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
A Graph Theoretical Approach To The Shunting Problem
Lambada, Haskell as a Better Java
Automatic Analysis of a Non-Repudiation Protocol
Exponentiation of Scott Formal Topologies
Dynamic Evaluation Tree for Presenting Expression Evaluations Visually
Semantic Domains for Combining Probability and Non-Determinism
Some Results on Poset Models Consisting of Compact Saturated Subsets
Lazy Rewriting and Context-Sensitive Rewriting
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
An Abstract Way to Define Rewriting Logic
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Timed Specification For Web Services Compatibility Analysis
Model-Theoretic Conservative Extension for Definitional Theories
Towards translating embedded Curry to C
Toy Quantum Categories (Extended Abstract)
Dependency Management in Software Component Deployment
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Abstractions of Euler Diagrams
An Overview of Synchronous Message-Passing and Topology
Some Experience on the Software Engineering of Abstract Interpretation Tools
Modeling Agent Systems with Distributed Transformation Units
A Change-based Approach to Software Evolution
Extending Java to dynamic object behaviors
Quantum Programs With Classical Output Streams: (Extended Abstract)
Policies of System Level Pipeline Modeling
Failure Analysis Modelling in an Infrastructure as a Service (Iaas) Environment
A Tool for Term Rewrite Systems and Tree Automata
A Natural Deduction System for Keisler's Quantification
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
What is Itanium Memory Consistency from the Programmer's Point of View?
Fragments of Monadic Second-Order Logics Over Word Structures
Extracting a DPLL Algorithm
Automatic Verification of Safety Rules for a Subway Control Software
Coalgebraic Representation Theory of Fractals
Integrating a SAT Solver with an LCF-style Theorem Prover
Token-Passing Nets: Call-by-Need for Free
Control Flow Analysis of Generalised Boolean Networks
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
On Dialogue Games and Graph Games
Variant Narrowing and Equational Unification
An AGG Application Supporting Visual Reasoning
Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach
Denotational models for unbounded nondeterminism
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs
Issues in Integrating Schemas for Reverse Engineering
Model-checking of infinite graphs defined by graph grammars
Conditional Monte Carlo With Intermediate Estimations for Simulation of Markovian Systems
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis
Undecidable Control Conditions in Graph Transformation Units
Believing the Integrity of a System: (Invited Talk)
Implicit Propagation in Structural Operational Semantics
A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS
Synchronous Estelle: Just Another Synchronous Language?
Quantum Arrows in Haskell
Transformation and Verification of Executable UML Models
Type-checking Balloon Types
Lowness Properties and Approximations of the Jump
Foreword and Dedication
Checking Protocol Compatibility using Maude
Tiles for concurrent and located calculi?
Rewrite Systems with Constraints
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language
Non-Interference Control Synthesis for Security Timed Automata
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study
A new representation for exact real numbers
Rewriting-Based Verification of Authentication Protocols
The 2D Subarray Polytope
Map Theory: From Well-Foundation to Antifoundation
Higher-order Algebras and Coalgebras from Parameterized Endofunctors
Aggressive Online Deadline Scheduling
Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic
Timed Process Algebras
A Classification of Time and/or Probability Dependent Security Properties
Memory Requirements of Java Bytecode Verification on Limited Devices
A Note on the Inversion Join for Polyhedral Analysis
Jordan Curves with Polynomial Inverse Moduli of Continuity
Principles of Maude
A Framework to Generate Synthetic Multi-label Datasets
Deciding Framed Bisimilarity
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions
Systematic Component Adaptation
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Implementing Relational Specifications in a Constraint Functional Logic Language
Adequacy and Complete Axiomatization for Timed Modal Logic
Expander2: Program Verification Between Interaction and Automation
A core language for rewriting
Imperative LF Meta-Programming
Direct Models for the Computational Lambda Calculus
Modelling and Validating a multiple-configuration railway signalling system using SDL
Programming Errors in Traversal Programs Over Structured Data
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming
Meet Precontinuous Posets
Terminal sequences for accessible endofunctors
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations
Automated Techniques for Surviving (Otherwise) Fatal Software Errors
Regular Model Checking Using Inference of Regular Languages
Exogenous Probabilistic Computation Tree Logic
Modality via Iterated Enrichment
Behavioral Refinement of Graph Transformation-Based Models
Fibrational Modal Type Theory
A Structural Approach for Modelling Performance of Systems Using Skeletons
Recursive Program Schemes and Context-Free Monads
Matching Systems for Concurrent Calculi
A Tableau Method for the Lambek Calculus based on a Matrix Characterization
Equational Coalgebraic Logic
Shaped Hierarchical Architectural Design
The Quantum Separability Problem for Gaussian States
Capability-Passing Processes
Metareasoning about Security Protocols using Distributed Temporal Logic
Dynamic Slicing Techniques for Petri Nets
Checking Strong Open Congruence in Chi -Calculus
An Algebraic Approach for Compiling Real-Time Programs
Modelling Biological Compartments in Bio-PEPA
Stochastic Semantics of Signaling as a Composition of Agent-view Automata
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions
Effectively Absolute Continuity and Effective Jordan Decomposability
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract)
On Products of Transition Systems
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language
Describing the Immune System Using Enhanced Mobile Membranes
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
From Reversible to Irreversible Computations
Rijndael for Sensor Networks: Is Speed the Main Issue?
Animation and Interactive Programming: A Practical Approach
Galois Connections in Categorial Type Logic
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
Web Accessibility Evaluation Tools: A Survey and Some Improvements
Synchronous Multiparty Session Types
Towards a Process Algebra for Shared Processors
Model-driven Transformation-based Generation of Java Stress Tests
Reduction Semantics and Formal Analysis of Orc Programs
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
Cartesian Integral Categories and Contextual Integral Categories
Taut Monads, Dynamic Logic and Determinism
Coequational Logic for Finitary Functors
Refining the Undecidability Border of Weak Bisimilarity
Checking Finite Traces using Alternating Automata
Representing Model Theory in a Type-Theoretical Logical Framework
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions
Exploring Users' Preferences in a Fuzzy Setting
A notion of classical pure type system
A Spatial Extension to the pi Calculus
Model Checking Merged Program Traces
Abstractions for Model-Based Testing
Integrating Textual and Graphical Modelling Languages
Case Study: Simulation of a LAN
Cryptographic Pattern Matching
On the Non-sequential Nature of Domain Models of Real-number Computation
Second Generation Object-Oriented Development
Automatically Verifying Concurrent Queue Algorithms
Schnorr Randomness
Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering
A Component-based Approach to Embedded Software Design
Information based reasoning about security protocols
First-order Semantics for Higher-order Processes
Sparsity Preserving Algorithms for Octagons
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation
JOLIE: a Java Orchestration Language Interpreter Engine
Iterative Algebras for a Base
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures
Defining Standard Prolog in Rewriting Logic
Two Ways to Common Knowledge
Properties of General Semantic Operators Determined by Logic-Based Systems
Towards Symbolic Analysis of Visual Modeling Languages
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic
On the specification of software adaptation
Functionally-Generalised MOQA Operations
Functional Extensions to the Boost Metaprogram Library
Computing Over-Approximations with Bounded Model Checking
Approximation Simply Characterized
Reachability sets of parameterized rings as regular languages
Verifying Multithreaded Recursive Programs with Integer Variables
A Bayesian Model for Event-based Trust
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Computing Uniform Bounds
Platform Independent Timing of Java Virtual Machine Bytecode Instructions
On Computing the Path Number of a Graph
Refactoring in maintenance and development of Z specifications
Tickling Java with a Feather
Quantifying over Quantifiers
Interaction in Normative Multi-Agent Systems
Context-Based Constraints in Security: Motivations and First Approach
Formalized Meta-Theory of Sequent Calculi for Substructural Logics
An Environment for the Development of Concurrent Object-Based Applications
A Visual Technique for Web Pages Comparison
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?
Visual Patterns Associated to Abstract Trees
Algebraic semantics of ER-models in the context of the calculus of relations
Object-Oriented Structure Refinement - A Graph Transformational Approach
Multi-Level Composition for Software Federations
Two-level Lambda-calculus
Agent based mathematical reasoning
Towards a Programming Language in Cellular Computing
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
Access-Based Localization for Octagons
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System
Universal Quantum Computation with Abelian Anyon Models
Towards Realistic Modeling of Time-Table Information through the Time-Dependent Approach
Effective Symbolic Dynamics
Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination
A Tool Support for Reusing ELAN Rule-Based Components
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis
Global and Local Graph Modifiers
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
Grail: a functional form for imperative mobile code
On the Expressiveness of Movement in Pure Mobile Ambients
A Design for Type-Directed Programming in Java
Model checking UML state machines and collaborations
Coinductive Models of Finite Computing Agents
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs
Extending The Unified Process With Composition
Contractible Coherence Spaces and Maximal Maps
Some Conjectures Concerning Complexity of PL subdivisions
Visual Impairment Simulator Based on the Hadamard Product
A Rewriting Logic Framework for Soft Constraints
A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems
MathLang: Experience-driven Development of a New Mathematical Language
YMCA: - Why Markov Chain Algebra? -
On Architecting Software Fault Tolerance using Abstractions
Basic Results for Two Types of High-Level Replacement Systems
On the Transformation of SystemC to AsmL Using Abstract Interpretation
Performance Evaluation of Replication Policies in Microservice Based Architectures
On Expressivity and Compositionality in Logics for Coalgebras
On the Construction of Monitors for Temporal Logic Properties
Tracing the executions of concurrent programs
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F
Slicing Synchronous Reactive Programs
The S3MS.NET Run Time Monitor: Tool Demonstration
A reflective extension of ELAN
Library Concepts for Model Reuse
Static Analysis for Stack Inspection
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Stochastic Modelling and Optimisation of Internet Auction Processes
GPU Parallel Visibility Algorithm for a Set of Segments Using Merge Path
Model-Checking View-Based Partial Specifications
Of wlp and CSP
Typing Correspondence Assertions for Communication Protocols
Interrupt Verification via Thread Verification
Abstract Interpretation Based Verification of Logic Programs
Only the Best Can Make It: Optimal Component Selection
The Grammar Deployment Kit - System Demonstration
Representation of FS-domains Based on Closure Spaces
Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security
On a Logic for Coalitional Games with Priced-Resource Agents
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems
A Rewriting Semantics for a Software Architecture Description Language
Granularity and the development of concurrent programs
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
An Interpretation of CCS into Ludics
Graphical Calculus for Quantum Key Distribution (Extended Abstract)
Tank Monitoring: A pAMN Case Study
Computing SyncCharts Reactions
Arrows, like Monads, are Monoids
Graph Based Debugging with Fujaba
Membrane Systems with Marked Membranes
The compiler as a validation and evaluation tool
Soft component adaptation
Enforcing policies with private guardians
Recursion and Computability over Topological Structures
A Natural Weak Limit Space with Admissible Representation which is not a Limit Space
On The Expressiveness of Timed Concurrent Constraint Programming
A Tool for Programming with Interaction Nets
A Methodological Approach to Choose Components in Development and Evolution Processes
On the Contribution of a tau
Transforming Application Compositions with XSLTs
An Algebraic Approach to Refinement with Fair Choice
Monitoring External Resources in Java MIDP
Fusing a Transformation Language with an Open Compiler
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Compressing Propositional Refutations
Fuzziness in Information Systems
Distribution of a Simple Shared Dataspace Architecture
Multiparty Contract Signing Over a Reliable Network
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
Model Checking Quantitative Linear Time Logic
On a modal lambda calculus for S4
Data independent verification of crypto-protocols
Case Study: Model Transformations for Time-triggered Languages
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking
Can addresses be types? (A case study: objects with delegation)
Model-Based Built-In Tests
Reachability Analysis of Linear Systems with Stepwise Constant Inputs
Verifying a Behavioural Logic for Graph Transformation Systems
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers
Ilog JViews Graph Layout: A Java library for highly demanding graph-based applications
Monads and Adjunctions for Global Exceptions
Towards a Classical Linear lambda-calculus
A Case Study in JML-Assisted Software Development
Simulation Refinement for Concurrency Verification
An Algorithmic Construction of Quantum Circuits of High Descriptive Complexity
On linguistic aspects of integration of computer mathematical knowledge
A Comparison of Three Strategies to Rule Induction from Data with Numerical Attributes
Information Filtering and Information Retrieval with the Web Filtering Toolbar
Model Checking Russian Cards
Resource Graphs and Countermodels in Resource Logics
Towards a Hierarchy of Negative Test Operators for Generative Communication
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting
OclType - A Type or Metatype ?
A new 3D 12-subiteration thinning algorithm based on P-simple points
An Adaptation-based Approach to Incrementally Build Component Systems
Completeness Classes of Equilogical Spaces
Guarded Operations, Refinement and Simulation
The Length of Subset Reachability in Nondeterministic Automata
Using Template Haskell for Abstract Interpretation
Coordination as an Architectural Aspect
Domain representations of topological spaces