yusuke1997/dblp-id-title huggingface dataset:
Medvedev Degrees of Generalized R.E. separating Classes
Termination and Cost Analysis with COSTA and its User Interfaces
Static Slicing of Rewrite Systems
Runtime Verification for Biochemical Programs
Testing Applicability of Virtual Stochastic Sensors for Non-Intrusive Appliance Load Monitoring
Anti-Ramsey Threshold of Cycles for Sparse Graphs
Context-Sensitive Visibility
A Logic for Ambiguous Description
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos
BabyJ: from object based to class based programming via types
Improved Distributed Algorithms for SCC Decomposition
A Calculus for Data Mapping
Pedagogical Effectiveness of Engagement Levels - A Survey of Successful Experiences
Distributed Verification of Multi-threaded C++ Programs
A Logical Characterisation of Static Equivalence
Algebraic Structure of Web Services
Compositionality of Model Transformations
Improving the Context-sensitive Dependency Graph
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
An Adaptive High-Performance Service Architecture
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
Experience with Abstraction-carrying Code
Two Notions of Sequential Computability of a Function with Jumps
Coalgebras and Modal Logic
Coalition Description Logic with Individuals
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
Advanced Arithmetic for the Digital Computer, Design of Arithmetic Units
Stably Compact Spaces and Closed Relations
Compressing BMC Encodings with QBF
A Calculus of Tactics and Its Operational Semantics
Formalizing Adaptation On-the-Fly
Abstract Regular Tree Model Checking
Physical Traces: Quantum vs. Classical Information Processing
Combined Effects of Frequency Quantization and Additive Input Noise in a First-order Digital PLL
Inference of Session Types From Control Flow
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe
Analytical Modeling for Operating System Schedulers on NUMA Systems
A Proposal for Disequality Constraints in Curry
Parameterized Transformation Units
Systematic Model-Based Testing of Embedded Automotive Software
Guaranteeing Correctness Properties of a Java Card Applet
On Coalgebras over Algebras
Symbolic Model Checking of Software
Admissible Representations of Probability Measures
Automatic Generation of Language-based Tools
Realization of Coinductive Types
Beta-binders for Biological Quantitative Experiments
Tool Modeling with Fujaba
Multi-paradigm Models as Source for Automated Test Construction
Semantics for Algebraic Operations
Optimisation Validation
Analysing Biochemical Oscillation through Probabilistic Model Checking
An Approach for the Specification, Verification and Synthesis of Secure Systems
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems
Why Aspect-Oriented Software Development And Model-Driven Development Are Not The Same - A Position Paper
Copying Subgraphs Within Model Repositories
Automatically Proving Up-to Bisimulation
Strength Induction in a Haskell Program Verifier
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL
On the Serializability of Transactions in JavaSpaces
A Modal Logic for pi-Calculus and Model Checking Algorithm
XML-based Specification of Diagram Editors
Syndetic Modelling: Computer Science Meets Cognitive Psychology
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Graphical Verification of a Spatial Logic for the pi -calculus
Road Traffic Regulation
Even-power of Cycles With Many Vertices are Type 1 Total Colorable
Trust Mass, Volume and Density - a Novel Approach to Reasoning about Trust
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
Using Bytecode Instruction Counting as Portable CPU Consumption Metric
A three-dimensional uniquely parsable array grammar that generates and parses cubes
SoftMC 2003: Workshop on Software Model Checking
State Spaces - The Locale Way
A Probabilistic Reputation Algorithm for Decentralized Multi-Agent Environments
Modal Tools for Separation and Refinement
Configurations of Web Services
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Refinement and Development of Programs from Relational Specifications
Rough Set Based Automatic Classification of Musical Instrument Sounds
Program Transformations under Dynamic Security Policies
UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure
SEMAGRAPH: the theory and practice of term graph rewriting
An Algebraic Account of References in Game Semantics
The Cook-Berger problem - A guide to the solution
Towards a General Solution to Drawing Area-Proportional Euler Diagrams
Correct Answers for First Order Logic
Generic Pickling and Minimization
A Space-Aware Bytecode Verifier for Java Cards
Coherent Banach Spaces: a continuous denotational semantics
Development Life-cycle of Critical Software Under FoCaL
Object Closure Conversion
Efficient Constraint/Generator Removal from Double Description of Polyhedra
A Semantical Framework for the Orchestration and Choreography of Web Services
Relational Concurrent Refinement with Internal Operations
An Input/Output Semantics for Distributed Program Equivalence Reasoning
Uniform Solution of Parity Games on Prefix-Recognizable Graphs
Measuring a Java Test Suite Coverage Using JML Specifications
Automatic derivation of the irrationality of e
A Process Algebra for Reasoning About Quantum Security
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns
The Petri Net Baukasten - Second Installment
Full Abstraction Without Synchronization Primitives
A Foundation for Space-Safe Transformations of Call-by-Need Programs
Modeling Software Evolution by Treating History as a First Class Entity
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis
The Invariant Set Hypothesis: A New Geometric Framework for the Foundations of Quantum Theory and the Role Played by Gravity
Concurrent Separation Logic and Operational Semantics
Learning along a Channel: the Expectation part of Expectation-Maximisation
Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Refinement Quantified Logics of Knowledge
Formalisms for mobile resource control
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions
A comparison of refinement orderings and their associated simulation rules
Rewrite-Based Satisfiability Procedures for Recursive Data Structures
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications
An Evaluation of the Effortless Approach to Build Algorithm Animations with WinHIPE
Programming Languages For Interactive Computing
A Calculus for Reconfiguration: (Extended abstract)
A Congruence Format for Name-passing Calculi
Bi-rewriting rewriting logic
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus
Intelligent Reconfiguration of Dynamic Distributed Components
Tinycals: Step by Step Tacticals
Towards Secrecy for Rewriting in Weakly Adhesive Categories
Information Leakage Detection in Boundary Ambients
Monitoring Interfaces for Faults
Secure Information Sharing in a Virtual Multi-Agency Team Environment
Computing the Topological Entropy of Shifts
Proof Checking Technology for Satisfiability Modulo Theories
Forum as a Logic Programming Language
Alias verification for Fortran code optimization
DES: A Deductive Database System
About the Garden of Eden Theorems for Cellular Automata in the Hyperbolic Plane
Additive Consolidation with Maximal Change
SAT-based Verification for Timed Component Connectors
Morphisms of Open Games
A Calculus of Global Interaction based on Session Types
Relating State-Based and Process-Based Concurrency through Linear Logic
A Categorical Semantics of Higher Order Store
Imprecise Exceptions, Co-Inductively
Attacking fair-exchange protocols: parallel models vs trace models
LSC Verification for UML Models with Unbounded Creation and Destruction
The Power of Writing, a Pebble Hierarchy and a Narrative for the Teaching of Automata Theory
Generating Java Compiler Optimizers Using Bidirectional CTL
Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work
Proper Multi-Type Display Calculi for Rough Algebras
Computation of Wave Fronts on a Disk I: Numerical Experiments
Why the Usual Candidates of Reducibility Do Not Work for the Symmetric lamba-my -calculus
Formalizing Abstract Computability: Turing Categories in Coq
Defining Formalisms for Performance Evaluation With SIMTHESys
Broadcast Calculus Interpreted in CCS upto Bisimulation
Linear Logic for Taxonomical Networks and Database Updates
An Observational Model for Spatial Logics
Complete Laziness: a Natural Semantics
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
Assembling Components using SysML with Non-Functional Requirements
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study
Unfolding of Parametric Boolean Networks
Transactions for Software Model Checking
Online train disposition: to wait or not to wait?
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language
Simple canonical representation of rational numbers
A Rule-based Method to Match Software Patterns Against UML Models
An Operational Domain-theoretic Treatment of Recursive Types
AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages
Return Value Prediction meets Information Theory
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine
Expressiveness of Probabilistic pi
Stochastic-based Semantics Of Attack-Defense Trees For Security Assessment
Fast matching in combinations of regular equational theories
Simulation and Formal Analysis of Workflow Models
Adaptation for Hierarchical Components and Services
Partial order reductions for failures refinement
Locating Self-Organization at the Edge of Chaos
Model Checking Biological Oscillators
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
Automated Formalisation for Verification of Diagrammatic Models
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map
Augmented Risk Analysis
Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories
Spatial pattern discovering by learning the isomorphic subgraph from multiple attributed relation graphs
Towards Verification of Well-Formed Transactions in Java Card Bytecode
A Topos-Theoretic Approach to Counterfactual Logic
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice
Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks
Some New Approaches in Functional Programming Using Algebras and Coalgebras
Invariants for Non-Hierarchical Object Structures
Parity-OBDDs - a BDD structure for Probabilistic Verification
Confluence in Probabilistic Rewriting
Minerva : A Component-based Framework for Active Documents
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels
Monte Carlo Methods for Process Algebra
How Incomputable is the Separable Hahn-Banach Theorem?
Powersets, Fixed Points, and Lambda Calculus
Narrating Formal Proof (Work in Progress)
View-Augmented Abstractions
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming
Extending Lustre with Timeout Automata
Formal Relationships Between Geometrical and Classical Models for Concurrency
Macros for Interaction Nets: A Conservative Extension of Interaction Nets
A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine
Efficient Compilation of Array Iterators for Lustre
Using Circus for Safety-critical Applications
ELAN: A logical framework based on computational systems
Realizing XML Driven Algorithm Visualization
Object Oriented Concepts Identification from Formal B Specifications
Modal Logics for Cryptographic Processes
Assertion-level Proof Representation with Under-Specification
Outer Joins in a Deductive Database System
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses
Modeling and Model Checking Web Services
Requirements, specifications, and minimal refinement
The Generic Structure Editor
Collecting Statistics over Runtime Executions
Adding Recursion to Dpi: (Extended Abstract)
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
Complementarity of Error Detection Techniques
A Solver for Modal Fixpoint Logics
Lightweight Specification-based Testing of Memory Cards: A Case Study
Tactics and parameters
How to Specify a Graph Transformation Approach - A Meta Model for Fujaba
Towards Computability over Effectively Enumerable Topological Spaces
Typing rule-based transformations over topological collections
Specification and Verification of Protocols With Time Constraints
A New Machine-checked Proof of Strong Normalisation for Display Logic
Model checking Erlang programs - abstracting the context-free structure
Formalization of Universal Algebra in Agda
Term Sequent Logic
Requirements-Driven Verification of Web Services
Syntactic Cut-elimination for Common Knowledge
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic
Tiling Transactions in Rewriting Logic
Flexibility and Interoperability in CORBA Security
The Polymorphic Imperative: a Generic Approach to In-place Update
SaveCCM: An Analysable Component Model for Real-Time Systems
Improved Invariant Generation for Tvoc
A Cappable Almost Everywhere Dominating Computably Enumerable Degree
A Formally Verified Register Allocation Framework
An Automata-based Approach for CTL * With Constraints
Intersection and Union Types in the lambda-my-my/tilde-calculus
The Amsterdam Toolkit for Language Archaeology
Petri nets with generalized algebra: a comparison
The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools
Policy-based Coordination in PAGODA: A Case Study
Constructing Induction Rules for Deductive Synthesis Proofs
The Theory of Contexts for First Order and Higher Order Abstract Syntax
Modelling Local Variables: Possible Worlds and Object Spaces
Translations of Vocabularies in Systems of Communicating Agents
Outermost ground termination
A Symbolic Semantics for a Calculus for Service-Oriented Computing
Towards an Integrated Graph Based Semantics for UML
Feasible functionals and intersection of ramified types
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?: Auf Deutsch: Welche Art mathematischer Argumentation darf die Informatikwissenschaft einem Softwareimplementierer auf jeden Fall zumuten?
The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable
On Finite-time Computability Preserving Conversions
Formal Semantics of OCL Messages
Economy and economics in the logic of theory change
Free Theorems and Runtime Type Representations
Mathematical Knowledge Management Symposium 2003
Integrating Algorithm Visualization Systems
Category Classification and Topic Discovery of Japanese and English News Articles
The continuous functionals of finite types over the reals
Collecting and Analyzing Data from Distributed Control Programs
Test Scenario Generation from Natural Language Requirements Descriptions based on Petri-Nets
The Monte Carlo EM method for the parameter estimation of biological models
Derivation of a Scalable Lock-Free Stack Algorithm
OnDemandOBJ: A Laboratory for Strategy Annotations
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
The Differential Scheme for Models of Computation
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
Semantics of UML 2.0 Interactions with Variabilities
Symbolic State Exploration
Component-Based Applications: A Dynamic Reconfiguration Approach with Fault Tolerance Support
A Note On the Turing Degrees of Divergence Bounded Computable Reals
Correct Execution of Reconfiguration for Stateful Components
Formal Specification and Verification of Multi-Agent Systems
Abstract Graph Transformation
Abstraction and Probabilities for Hybrid Logics
A Novel Stochastic Game Via the Quantitative mu -calculus
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
A Monad for Randomized Algorithms
Typed Mobile Ambients in Maude
Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks
Facet-generating Procedures for the Maximum-impact Coloring Polytope
Higher-order associative commutative pattern matching for component retrieval
Graph reduction: a retrospective
Work in Progress: Automatic Generation of Algorithm Animations for Lecture Slides
Wrap Your Objects Safely
Ambient Graph Rewriting
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
A Term Rewriting Technique for Decision Graphs
Correctness of Classical Compiler Optimizations using CTL
Practical Program Extraction from Classical Proofs
Inferring Context-Free Grammars for Domain-Specific Languages
Comparing Abstraction Refinement Algorithms
Multi-Core BDD Operations for Symbolic Reachability
A New Approach to Upward-Closed Set Backward Reachability Analysis
Undecidable Properties on Length-Two String Rewriting Systems
Towards a Symbolic Interpretation of Approximate Reasoning
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Reflection in general logics, rewriting logic, and Maude
Measuring and Evaluating Parallel State-Space Exploration Algorithms
A Concurrent Model for Linear Logic
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Labelled Markov Processes as Generalised Stochastic Relations
Dynamic Assertions Using TXP
Test Case Generation by Contract Mutation in Spec#
Weaknesses of Margulis and Ramanujan-Margulis low-density parity-check cCodes
Some axiomatic results in synthetic domain theory
A protocol for distributed cooperative work
Future Path-components in Directed Topology
Remarks on Elementary Linear Logic
Affective Information Processing and Recognizing Human Emotion
Analogy and Formal Languages
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language
Infinitary Howe's Method
Using duality to solve domain equations
Linear Structures for Concurrency in Probabilistic Programming Languages
IWIM Semantics via Fibred Automata
Structural Encoding of Static Single Assignment Form
Scheduling Aircraft Using Constraint Satisfaction
From Bohm's Theorem to Observational Equivalences: an Informal Account
Toward Translating Design Constraints to Run-Time Assertions
Towards an Efficient Prover for the C 1 Paraconsistent Logic
Formal Specification and Verification of Complex Systems
A Generic Framework for Connector Architectures based on Components and Transformations
Assumption-Commitment Support for CSP Model Checking
Termination Criteria for DPO Transformations with Injective Matches
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
A Functional Programming Framework for Latency Insensitive Protocol Validation
Representation of Partial Traces
Analysis of a BMAP/D/1-Timer Multiplexer
Observation systems
An Abstract Interpretation Toolkit for mu CRL
The Vital Processor Interlocking
Performance Certification of Software Components
Enhancements of a clock-controlled running key generator
Towards Information Flow Properties for Distributed Systems
A Certifying Square Root and Division Elimination
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Probabilistic Verification and Approximation
A Simple Calculus for Proteins and Cells
Reliable Composite Web Services Execution: Towards a Dynamic Recovery Decision
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations
Building Reputations for Internet Clients
Composition Theorems for Generalized Sum and Recursively Defined Types
Preface and Foreword
Dialogue Systems for Intelligent Human Computer Interactions
Formalization and Verification of REST on HTTP Using CSP
Reversibility and Models for Concurrency
Rationale Behind the Design of the EduVisor Software Visualization Component
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel
Flat Committed Join in Join
Transfer Principles for Reasoning About Concurrent Programs
The space of maximal elements in a compact domain
A Natural Implementation of Plural Semantics in Maude
Architectural Unit Testing
Adapting The Directed Grid Theorem into an FPT Algorithm
A Coalgebraic Representation of Reduction by Cone of Influence
Visualizing Program Analysis with the Soot-Eclipse Plugin
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
Multi lingual sequent calculus and coherent spaces
Relational Parametricity for Control Considered as a Computational Effect
Secure Node Discovery in Ad-hoc Networks and Applications
Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace
A New Proposal for Debugging Datalog Programs
Fresco: Flexible and Reliable Evolution System for Components
Behavioural Types for Service Integration: Achievements and Challenges
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk
UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus
Security and Trust in IT Business Outsourcing: a Manifesto
Automath and Pure Type Systems
A Tool for the Integration of Constraint Solving in Spreadsheets
Bicategorical Semantics for Nondeterministic Computation
On the Decision Table with Maximal Number of Reducts
Domain-specific Semantics and Data Refinement of Object Models
Specifying Coalgebras with Modal Logic
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work
Aspect-Oriented Coordination
Axiomatics for Data Refinement in Call by Value Programming Languages
BAT 2 XML: XML-based Java Bytecode Representation
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD
A Verified Shared Capability Model
Encoding Distributed Process Calculi into LMNtal
The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
The TM System for Repairing Non-Theorems
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
Coalgebras for Binary Methods
Cyber Assistance for Situtated Human Information Processing Overview of the invited talk
Hybrid Tableaux for the Difference Modality
Developing Java Card Applications with B
Using Euler Diagrams in Traditional Library Environments
Relational Abstract Domain of Weighted Hexagons
On Formal Specification of Software Components and Systems
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
Cooperation of constraint solvers: using the new process control facilities of ELAN
Policy Analysis and Verification by Graph Transformation Tools
Semantic analysis of concurrent ML by abstract model-checking