yusuke1997/dblp-id-title huggingface dataset:
A Polynomial-time Approximation Scheme for the MAXSPACE Advertisement Problem
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
Some Logical and Automata-Theoretic Aspects of Product Behaviours
A Generalized Deadlock-Free Process Calculus
Classical Realizability in the CPS Target Language
Mechanizing Focused Linear Logic in Coq
On the Unavoidability of Oriented Trees
Combining Product Lines and Model-Based Development
Testing Self-Similar Networks
Protocol Composition Logic (PCL)
GXL to GraphML and Vice Versa with XSLT
Controlling Control Flow in Web Applications
Deciding the Security of Protocols with Commuting Public Key Encryption
Tiles, rewriting rules and CCS
Calibration of a Queueing Model of RAID Systems
Incremental Parametric Development of Greedy Algorithms
Extending Constructive Logic Negation with Types
Translation and Optimization in the Verification of Real-Time Systems
Directed Bigraphs
Revisiting Interactive Markov Chains
On Necessary and Sufficient Conditions for Proto-cell Stationary Growth
The Affine Hull of a Binary Automaton is Computable in Polynomial Time
Remarks on Testing Probabilistic Processes
Diacritical Companions
Formal Attributes Traceability in Modular Language Development Frameworks
Statistical Independence as Linear Independence
A formal approach to object-oriented software engineering
Approximated Reachability on Hybrid Automata: Falsification meets Certification
Some properties of intercategorial entailment
Refinement Patterns for UML
Structural Operational Semantics with First-Order Logic
A Framework for Stochastic System Modelling and Analysis: Work in Progress
Communication via Mobile Vesicles in Brane Calculi
Visualization of Spatial Data Structures on Different Levels of Abstraction
Modifications of Expansion Trees for Weak Bisimulation in BPA
Sheaves, Objects, and Distributed Systems
Syntactic Language Extension via an Algebra of Languages and Transformations
Formal Verification of the NASA Runway Safety Monitor
Admissibility of Cut in Coalgebraic Logics
A Coalgebraic Theory of Reactive Systems
Formal Cellular Machinery
The practice of cryptographic protocol verification
A Trust- and Property-based Access Control Model
Correspondence Assertions for Process Synchronization in Concurrent Communications
Flow Analytic Type System for Array Bound Checks
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Locality of Corner Transformation for Multidimensional Spatial Access Methods
Strong Update, Disposal, and Encapsulation in Bunched Typing
Towards a Megamodel to Model Software Evolution Through Transformations
Graphs with Girth at Least 8 are b-continuous
Limit Preservation from Naturality
Coalgebraising Subsequential Transducers
From Algebras and Coalgebras to Dialgebras
Integrated Java Bytecode Verification
The Importance of Being Formal
Fully Bounded Polyhedral Analysis of Integers with Wrapping
Compositional Operational Semantics of a UML-Kernel-Model Language
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory
A Conference Reviewing System in Mobile Maude
On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference
On Challenges for a Graphical Transformation Notation and the UMLX Approach
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications
Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence
Closure of Tree Automata Languages under Innermost Rewriting
From Predicates to Programs: The Semantics of a Method Language
Reducing Symmetries to Generate Easier SAT Instances
Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach
Complete Elgot Monads and Coalgebraic Resumptions
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol
Term Collections in lambda and rho-calculi
Symbolic and Abstract Interpretation for C/C++ Programs
Polynomial-Time Under-Approximation of Winning Regions in Parity Games
Spartacus: A Tableau Prover for Hybrid Logic
Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering
Analysing Password Protocol Security Against Off-line Dictionary Attacks
Invited talk: Tri-Directional Type Checking
The Sketch of a Polymorphic Symphony
Strategies for Solving Constraints in Type and Effect Systems
Energy-aware Management of Customer Streams
Correctness of a region-based binding-time analysis
Supporting Function Calls within PELCR
The N-Body Problem in LOTOS
Model checking of causal knowledge formulas
Predicate Abstraction for Dense Real-Time System
Computing Invariants with Transformers: Experimental Scalability and Accuracy
Preface: Volume 85, Issue 2
Schnorr Trivial Reals: A construction
Towards a Rewriting Semantics for a Software Architecture Description Language
Characterizations of Supercontinuous Posets via Scott S-sets and the S-essential Topology
Operational Semantics for Functional Logic Languages
A Model to Guide Dynamic Adaptation Planning in Self-Adaptive Systems
Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus
On the Dominance of Decompositions in Models and their Aspect-Oriented Implementations
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0
Bialgebras in Rel
Agile Modelling of Cellular Signalling (Invited Paper)
Proving Correctness of an Efficient Abstraction for Interrupt Handling
Algebra Transformation Systems as a Unifying Framework
Analysing the Robustness of Surfing Circuits
An RDF Query Language based on Logic Programming
Lazy Database Access with Persistent Predicates
Stone Coalgebras
Specifying real-time systems in rewriting logic
A Logic for Virtual Memory
A Trace Logic for Local Security Properties
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Reconstruction of Type Information from Java Bytecode for Component Compatibility
From Focalization of Logic to the Logic of Focalization
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
Classification of the Computable Approximations by Divergence Boundings
A Logic for Application Level QoS
Bridges from Language to Logic: Concepts, Contexts and Ontologies
C σ -unique Dcpos and Non-maximality of the Class of Dominated Dcpos Regarding Γ-faithfulness
Epistemic Logics with Structured Knowledge
Incompleteness of Behavioral Logics
Model-based Runtime Verification Framework
Generalized Mignotte's Sequences Over Polynomial Rings
Semi-local Model of Computations on Graphs to Break the Local Symmetry: Work in Progress
A Quantified Logic of Evidence
Inductive Reasoning and Programming Visualization, an Experiment Proposal
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities
Pervasive Load-Time Transformation for Transparently Distributed Java
Transforming equality logic to propositional logic
Prototyping System Requirements Model
Comparing Under and Over-Approximations of LTL Properties for Model Checking
Quasi-continuous Yoneda Complete Quasi-Metric Space
Towards an awareness-based semantics for security protocol analysis
Coinduction for recursive data types: partial orders, metric spaces and Omega-categories
On the Difference Hierarchy in Countably Based T 0 -Spaces
A Component Model for Separation of Control Flow from Computation in Component-Based Systems
Convincing Proofs for Program Certification
Intersection Types for Light Affine Lambda Calculus
Sweeping in Abstract Interpretation
Functional Elimination of Phi-instructions
The supremum asymmetric norm on sequence algebras: a general framework to measure complexity distances
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic
Formal Sequentialization of Distributed Systems via Program Rewriting
A Categorical Theory of Patches
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators
A Stack-Slicing Algorithm for Multi-Core Model Checking
Verification of Peer-to-peer Algorithms: A Case Study
Separation Logic Semantics for Communicating Processes
A Formal Approach for Analysis and Testing of Reliable Embedded Systems
Proving Component Interoperability with B Refinement
New Developments in Environment Machines
Computable Riesz Representation for Locally Compact Hausdorff Spaces
Identifying Codes in the Complementary Prism of Cycles
The Kantorovich Metric in Computer Science: A Brief Survey
Coalgebraic Semantics for Positive Modal Logic
Experiments with Non-Termination Analysis for Java Bytecode
An Abstract Equivalence Notion for Object Models
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism
Maude as a metalanguage
A Model in kappa for DNA Addition
MultiS: A Context-Server for Pervasive Computing
The Gaston Tool for Frequent Subgraph Mining
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
Towards the Construction of Attack Resistant and Efficient Overlay Streaming Topologies
A User-editable C 1 -Continuous 2.5D Space Deformation Method For 3D Models
An Interval-based Abstraction for Quantifying Information Flow
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
On the Relationship Between Boolean and Fuzzy Cellular Automata
VOTE: Group Editors Analyzing Tool: System Description
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
Parallel Multithreaded Satisfiability Solver: Design and Implementation
Model-Based Testing 2010: Short Abstracts
Generalized Coiteration Schemata
Towards the verification of real-time systems in avionics: the Cotre approach
Process Semantics for UML Component Specifications to Assess Inheritance
Proof Search for the First-Order Connection Calculus in Maude
A Categorical Model of the Fusion Calculus
Effectivity and Density in Domains: A Survey
Structure and Properties of Traces for Functional Programs
On Paraconsistent Extensions of C 1
Stochastic Pruning and Its Application for Fast Estimation of the Expected Total Output of Complex Systems
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars
Concurrent semantics for the pi-calculus
Combining Local and Global Model Checking
Modelling of Service-Oriented Architectures with UML
Coordination Models Orc and Reo Compared
Dynamic Shortest Paths Containers
A Behavioural Pseudometric based on lambda-Bisimilarity
Neural Nets via Forward State Transformation and Backward Loss Transformation
A Semantics of Realisability for the Classical Propositional Natural Deduction
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas
A Federated Layer to Integrate Heterogeneous Knowledge
A Game Theoretic Approach to the Analysis of Dynamic Networks
Reasoning About Context-Awareness in the Presence of Mobility
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Validation and automatic test generation on UML models: the AGATHA approach
State of the Practice in Algorithmic Debugging
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits
Proof-search and proof nets in Mixed Linear Logic
A Rewriting Logic Implementation of Erlang
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
Strongly Semicontinuous Lattices
System NEL is Undecidable
Modelling the GSM Handover Protocol in CommUnity
A Formalisation of Nominal α-equivalence with A and AC Function Symbols
A Lightweight Approach to Customizable Composition Operators for Java-like Classes
Open-Source Model Checking
To be or not to be ...lazy (In a Parallel Context)
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags
Memory Representations in Rewriting Logic Semantics Definitions
A Calculus for Generation, Verification and Refinement of BPEL Specifications
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
An Integer Programming Approach for the 2-class Single-group Classification Problem
The Geometry of Timed PV Programs
Vulnerabilities in Anonymous Credential Systems
An Invasive Composition System for Local-to-Global Transformations
Specification and Generation of Environment for Model Checking of Software Components
Place bisimulation equivalences for design of concurrent and sequential systems
Self Management and the Future of Software Design
Specification and Verification using Message Sequence Charts
Minimal Information Disclosure in a Centralized Authorization System
Model-Based Safety-Cases for Software-Intensive Systems
On Generative Parallel Composition
Specification in CTL+Past, verification in CTL
Isolating Resource Consumption in Linear Logic Proof Search
On the Security of Security Software: Invited Position Paper
A Component Framework Based on High-Level Replacement Systems
Data Privacy in Tuple Space Based Mobile Agent Systems
Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Verifying Test-Hypotheses: An Experiment in Test and Proof
Towards Composition Management for Component-based Peer-to-Peer Architectures
Machine-Verifiable Responsiveness
A Study on the Practicality of Poly-Controlled Partial Evaluation
Architectural Connectors for Sequence Diagrams
The Complexity of Local Proof Search in Linear Logic
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures
Realizability Models for Type Theories
Cartesian Monoids
Automatic Generation of Prediction Questions during Program Visualization
Abstract Families of Abstract Categorial Languages
Conditional Term Graph Rewriting with Indirect Sharing
Data Field Haskell
Non-deterministic Effects in a Realizability Model
Translating Combinatory Reduction Systems into the Rewriting Calculus
Dynamic aspects of visual modelling languages
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
Checking Event-Based Specifications in Java Systems
Design for Testability for Highly Reconfigurable Component-Based Systems
An Abstract Machine for the Stochastic Bioambient calculus
Systematic Development of Concurrent Object-Oriented Programs
Rewriting Logic as a Framework for Generic Verification Tools
Specification of Real-Time Systems in UML
A Reflective Higher-order Calculus
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
Formal Concepts for an Integrated Internal Model of the UML
A Coalgebraic Approach to Kleene Algebra with Tests
Narrowing-based simulation of term rewriting systems with extra variables
Bio-PEPA for Epidemiological Models
Translating Stochastic CLS into Maude
Much Ado About Nothing?
Coordination as a Service: Ontological and Formal Foundation
The Typed Bohm Theorem
On the Maximum Betweenness Improvement Problem
Typed Transformations of Typed Grammars: The Left Corner Transform
Modeling of Event-based Communication in Component-based Architectures: State-of-the-Art and Future Directions
Mechanising the Alphabetised Relational Calculus
Topological Duality in Semantics
An Adaptive Algorithm for Rule Learning: Case Study and Preliminary Results
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
Combining Aspect-Oriented and Strategic Programming
Distance and Measurement in Domain Theory
Domain-Specific Languages for Composable Editor Plugins
Combining Partitions in SecSpaces
Implementing a Distributed Mobile Calculus Using the IMC Framework
A Design of Automatic Visualizations for Divide-and-Conquer Algorithms
Proof assistance for refinement in type theory
On Caterpillars of Game Chromatic Number 4
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples
From Fairness to Chance
Translating Double Dispatch into Single Dispatch
Towards the Integration of Visual and Formal Models for GUI Testing
Effectivity on Continuous Functions in Topological Spaces
On the Relationship Between Web Services Security and Traditional Protocols
Maude as a Platform for Designing and Implementing Deep Inference Systems
Preface - Software Engineering to our Planning Horizon
Modular Checking with Model Checking
Hypergeometric Functions in Exact Geometric Computation
On denotational completeness
The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces
Recursive Coalgebras from Comonads
Improving Fault-based Conformance Testing
A Testing Equivalence for Reactive Probabilistic Processes
A Grainless Semantics for Parallel Programs with Shared Mutable Data
Bounded Model Checking with Parametric Data Structures
Distributed timed automata
Preferential Reasoning for Modal Logics
On the Expressiveness of Pure Mobile Ambients
About Fast and TReX Accelerations
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads
Translating Controlled Graph Grammars to Ordinary Graph Grammars
Detecting Similar Areas of Knowledge Using Semantic and Data Mining Technologies
Model-Based Verification and Validation of Properties
Simulation and Synthesis of Deduction Calculi
Clusters, Concepts, and Pseudometrics
Hierarchies of Function Classes Defined by the First-Value Operator: (Extended Abstract)
Memoryless Strategies for Stochastic Games via Domain Theory
Emergent Properties Do Not Refine
Case Studies in the Specification and Analysis of Protocols in Maude
Two-dimensional linear algebra
Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality
On proving syntactic properties of CPS programs
Computing the Clique-width of Cactus Graphs
A graphical approach to relational reasoning
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion
Total Domination in Regular Graphs
Handling Non-linear Operations in the Value Analysis of COSTA
Strong Normalization through Intersection Types and Memory
Management of Railroad Impedances for Shortest Path-based Routing
An Action Environment
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
Security Policies as Membranes in Systems for Global Computing
Generic axiomatized digital surface-structures
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification
Stochastic Ambient Calculus
s 2 -C-continuous Poset
Fair Pi
Some properties of non-orthogonal term graph rewriting systems
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking
Using ATL for Checking Models
Performance of a Second Order Electrostatic Particle-in-Cell Algorithm on Modern Many-Core Architectures
Using CafeOBJ to Mechanise Refactoring Proofs and Application
Making the Most of BMC Counterexamples
A Fully Abstract Model for Mobile Ambients
Coarse-graining the Dynamics of Ideal Branched Polymers
Applying ELAN Strategies in Simulating Processors over Simple Architectures
States of Knowledge
Performing integrated system tests using Malicious Component Insertion
On Equivalences for a Class of Timed Regular Expressions
A Logical Framework for Grounding-based Dialogue Analysis
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs
Separating concerns in a high-level component-based context
On the structure of Mizar types
Deduction, Strategies, and Rewriting
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars
Retraction notice to "Semantic Domains for Combining Probability and Non-Determinism" [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104]
On Grainless Footprint Semantics for Shared-memory Programs
Exploiting product forms solution techniques in multiformalism modeling
The constructive maximal point space
Computing the Maximum Agreement of Phylogenetic Networks
Approximations of Modal Logic K
Flexible Bytecode for Linking in .NET
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search
Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
Constraints, Adjunctions and (Co)algebras
Call-by-need reduction for membership conditional term rewriting Systems
Non-deterministic Semantics in Polynomial Format
Final Semantics for Decorated Traces
Model-based Dynamic Control of Speculative Forays in Parallel Computation
Automatic Complexity Analysis for Programs Extracted from Coq Proof
A Programming Language for the Interval Geometric Machine
Software Model Checking Based on Game Semantics and CSP
Towards the Modularization of C++ Concept Maps
Comparing Notions of Hierarchical Graph Transformation
Model-checking Timed Temporal Logics
Web Services and Interoperability for the Maude Termination Tool
Cascade Products and Temporal Logics on Finite Trees
Categorical Models for Simply Typed Resource Calculi
Simulations as Homotopies
Multi-model Short-term Prediction Schema for mHealth Empowering Asthma Self-management
Type Soundness for Path Polymorphism
Distributed logic objects: A fragment of rewriting logic and its implementation
lambda-calculus and Quantitative Program Analysis: (Extended Abstract)
On Concurrent Games with Payoff
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
Reasoning about B+ Trees with Operational Semantics and Separation Logic
Reporting Failures in Functional Logic Programs
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Real-Time Verification Techniques for Untimed Systems
Event B Development of a Synchronous AADL Scheduler
Knowledge as Strategic Ability
Incremental Induction of Decision Rules from Dominance-based Rough Approximations
A Type Inference Algorithm for Secure Ambients
Specification and programming (by graph transformation)
The Interval Domain: A Matchmaker for aCTL and aPCTL
Digital straightness
Computing Solutions of Symmetric Hyperbolic Systems of PDE's
Big Integers and Complexity Issues in Exact Real Arithmetic
Interoperability Technology Assessment
Formal Checklists for Remote Agent Dependability
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity
Flow-sensitive Leakage Analysis in Mobile Ambients
COCOVILA - Compiler-Compiler for Visual Languages
Specifying Properties of Concurrent Computations in CLF
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
The Station Location Problem on Two Intersecting Lines
Abstraction and Model Checking of Core Erlang Programs in Maude
Fixing the semantics of some concurrent object-oriented concepts
Interprocedural Pointer Analysis in Goanna
Evaluating Complex MAC Protocols for Sensor Networks with APMC
Programmable Type Systems for Domain Specific Languages
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types
Lowness Properties of Reals and Hyper-Immunity
Quality of Service Conflict During Web Service Monitoring: A Case Study
Describing Non-Deterministic Reactive Systems by Means of Regular Expressions
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
A New Version of GTXL : An Exchange Format for Graph Transformation Systems
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
A Quantum Representation for Involution Groups
Transparent First-class Futures and Distributed Components
Stochastic Lambek Categorial Grammars
Graph-Based Tools (GraBaTs 2002)
A Distributed Pi-Calculus with Local Areas of Communication
The Reverse Problem of Range Query
Model-checking the Secure Release of a Time-locked Secret over a Network
A Type System for the Safe Instantiation of Components
A Selective CPS Transformation
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Bounded Model Checking with SNF, Alternating Automata, and Bu"chi Automata
Distributed Backup through Information Dispersal
The Impact of Linearity Information on the Performance of TyCO
On Quantitative Analysis of Probabilistic Protocols
A Metrized Duality Theorem for Markov Processes