yusuke1997/dblp-id-title huggingface dataset:
Fractional Hedonic Games With a Limited Number of Coalitions
On Balancing of a Direct Product
On the Pseudorandomness of Parry-Bertrand Automatic Sequences
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems
Weighted Coloring: Further Complexity and Approximability Results
Completing Wheeler Automata
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks
On Topologies for (Hyper)Properties
On the Bisimulation Hierarchy of State-to-Function Transition Systems
Stability of Special Graph Classes
Towards Compact and Tractable Automaten-Based Representations of Time Granularities
Synchronizing Automata and Independent Systems of Words
Quantum Algorithm for Ensemble Learning
The essence of static and dynamic bindings
On Balancing Energy Consumption in Multi-Interface Networks (short paper)
The Maze Generation Problem is NP-complete
On Modal Logic Association Rule Mining
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete
Global Types for Agent Interaction Protocols (short paper)
Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs
A LTS Semantics of Ambients via Graph Synchronization with Mobility
Top-k Overlapping Densest Subgraphs: Approximation and Complexity
Generating Constrained Lattice Paths in a Grid Related to Counting Cycles
Optimization of a Compiler from PDDL to Picat (Short Paper)
Pickup and Delivery for Moving Objects on Broken Lines
(Eternal) Vertex Cover Number of Infinite and Finite Grid Graphs (short paper)
Hardness of MSA with Selective Column Scoring
Cooperative Truck-Drone Scheduling Approach for Last-Mile Deliveries
Two-Dimensional Dyck Words (short paper) (text not included)
Information Flow Security and Recursive Systems
Extended ω-Regular Languages and Interval Temporal Logic
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
Flexible Interpolated-Binary Search over Sorted Sets
Proof-Search in Hilbert Calculi
Engineering shortest-path algorithms for dynamic networks
Clustering Classical Data with Quantum k-Means
Optimal placement of storage nodes in a wireless sensor network
A Complete Formulation of Generalized Affine Equivalence
Some Properties of the Rate Functions of Large Deviations for Symbol Statistics
Logspace computability and regressive machines
Complexity of Layered Binary Search Trees with Relaxed Balance
An Executable Formal Java Virtual Machine Thread Model
Efficient Code Caching for an Embedded Dynamic Adaptive Compiler
Proceedings of the 3rd Virtual Machine Research and Technology Symposium, May 6-7, 2004, San Jose, CA, USA
JaRTS: A Portable Implementation of Real-Time Core Extensions for Java
Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing
The Virtual Processor: Fast, Architecture-Neutral Dynamic Code Generation
Targeting Dynamic Compilation for Embedded Environments
Hot-Swapping Between a Mark&Sweep and a Mark&Compact Garbage Collector in a Generational Environment
On the Software Virtual Machine for the Real Hardware Stack Machine
Kaffemik - a distributed JVM featuring a single address space
Keynote Address: Virtual Machines: Past, Present, and Future
JVM Susceptibility to Memory Errors
Java Just-in-Time Compiler and Virtual Machine Improvements for Server and Middleware Applications
More Efficient Network Class Loading Through Bundling
Using Hardware Performance Monitors to Understand the Behavior of Java Applications
Implementing JNI in Java for Jalapeño
MCI-Java: A Modified Java Virtual Machine Approach to Multiple Code Inheritance
Towards Dynamic Interprocedural Analysis in JVMs
A Real-Time Garbage Collector for Embedded Applications in CLI
Deterministic Execution of Java's Primitive Bytecode Operations
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, August 1-2, 2002, San Francisco, CA, USA
Experiences Porting the Jikes RVM to Linux/IA32
vBlades: Optimized Paravirtualization for the Itanium Processor Family
The HotSpot Serviceability Agent: An Out-of-Process High-Level Debugger for a Java TM Virtual Machine
Kernel Plugins: When a VM Is Too Much
An Opcode Level Energy Consumption Model for a Java Virtual Machine
OpenJIT 2: The Design and Implementation of Application Framework for JIT Compilers
An Empirical Study of Method In-lining for a Java Just-in-Time Compiler
Optimizing Precision Overhead for x86 Processors
Stress-testing Control Structures for Dynamic Dispatch in Java
Concurrent Remembered Set Refinement in Generational Garbage Collection
State Capture and Resource Control for Java: The Design and Implementation of the Aroma Virtual Machine
A Virtual Machine Generator for Heterogeneous Smart Spaces
Energy Behavior of Java Applications from the Memory Perspective
JaRec: Record/Replay for Multi-threaded Java Programs
To Collect or Not to Collect? Machine Learning for Memory Management
sEc: A Portable Interpreter Optimizing Technique for Embedded Java Virtual Machine
Keynote Slides
Cross-Architectural Performance Portability of a Java Virtual Machine Implementation
Java, Peer-to-Peer, and Accountability: Building Blocks for Distributed Cycle Sharing
Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USA
A Lightweight Java Virtual Machine for a Stack-Based Microprocessor
LIL: An Architecture-Neutral Language for Virtual-Machine Stubs
A Java Compiler for Many Memory Models
Detecting Data Races Using Dynamic Escape Analysis Based on Read Barrier
Solaris Zones: Operating System Support for Server Consolidation
Adaptive Garbage Collection for Battery-Operated Environments
Dynamic Type Checking in Jalapeño
The Mono VM
Supporting Binary Compatibility with Static Compilation
One-Click Distribution of Preconfigured Linux Runtime State
Towards Virtual Networks for Virtual Machine Grid Computing
A Just-in-Time Compiler for Memory-Constrained Low-Power Devices
Automatic Persistent Memory Management for the Spotless Java Virtual Machine on the Palm Connected Organizer
SableVM: A Research Framework for the Efficient Execution of Java Bytecode
A Modular and Extensible JVM Infrastructure
Towards Scalable Multiprocessor Virtual Machines
Parallel Garbage Collection for Shared Memory Multiprocessors
Can a Shape Analysis Work at Run-time?
The Java HotSpot Server Compiler
Mostly Accurate Stack Scanning
Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders
TRaDe: A Topological Approach to On-the-Fly Race Detection in Java Programs
Implementing Fast Java Monitors with Relaxed-Locks
OpenADN: mobile apps on global clouds using software defined networking
Vision: mClouds - computing on clouds of mobile devices
Vision: a lightweight computing model for fine-grained cloud computing
Cloudlets: bringing the cloud to the mobile user
PowerVisor: a battery virtualization scheme for smartphones
Synchronizing state with strong similarity between local and remote systems
Cloud2Bubble: enhancing quality of experience in mobile cloud computing settings
Proceeding of the fourth ACM workshop on Mobile cloud computing and services, MCS 2013, Taipei, Taiwan, June 25-28, 2013
Adaptive code offloading for mobile cloud applications: exploiting fuzzy sets and evidence-based learning
Vision: mapping the world in 3d through first-person vision devices with mercator
VISION: cloud-powered sight for all: showing the cloud what you see
Advancing the state of mobile cloud computing
Mobile cloud messaging supported by XMPP primitives
The role of cloudlets in hostile environments
Proceedings of the third ACM workshop on Mobile cloud computing and services, MCS 2012, Low Wood Bay, Lake District, UK, 25 June 2012
On Persistent Reachability in Petri Nets
Combining Structural and Symbolic Methods for the Verification of Concurrent Systems
Cut-Offs with Network Invariants
From Petri Nets with Shared Variables to ITL
The Model Checking View to Clock Gating and Operand Isolation
The Resource Allocation Problem in Software Applications: A Petri Net Perspective
10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010
Introducing Fairness into Compositional Verification via Unidirectional Counters
BAM: BioAmbient machine
Guided Model Checking with a Bayesian Meta-heuristic
Closed loop state space analysis and simulation for Cognitive Systems
On the Practicality and Desirability of Highly-concurrent, Mostly-functional Programming
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study
Improved Parallel Composition of Labelled Petri Nets
Modular construction of finite and complete prefixes of Petri net unfoldings
4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada
Verifying Performance of Supervised Plants
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators
Arrays and Contracts for the Specification and Analysis of Regular Systems
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
Automating Synthesis of Asynchronous Communication Mechanisms
An Algebra of Pareto Points
Controlling Speculative Design Processes Using Rich Component Models
Flat Arbiters
Throughput Analysis of Synchronous Data Flow Graphs
Power and Energy Normalized Speedup Models for Heterogeneous Many Core Computing
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
Calculating Place Capacity for Petri Nets Using Unfoldings
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method
Bounded Model Checking of an MITL Fragment for Timed Automata
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Reduction of Order Structures
polyDD: Towards a Framework Generalizing Decision Diagrams
Synchronous + Concurrent + Sequential = Earlier than + Not later than
Improved Decomposition of STGs
On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units
Specification Enforcing Refinement for Convertibility Verification
Efficient Model Checking of PSL Safety Properties
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
Reveal Your Faults: It's Only Fair!
High-level Synthesis for Highly Concurrent Hardware Systems
Refinement Checking Parameterised Quorum Systems
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic
Lock Optimization for Hoare Monitors in Real-Time Systems
Modeling and Mining of Collarobative Learnflows
Using edge-triggering in the asynchronous synthesis of write-after-read operations
Co-Optimizing Core Allocation, Mapping and DVFS in Streaming Programs with Moldable Tasks for Energy Efficient Execution on Manycore Architectures
A GALS Language for Dynamic Distributed and Reactive Programs
RAPORT - a knowledge support system for administrative workflow processes
Nets-Within-Nets Paradigm and Grid Computing
Analysis of Performance Limitations in Multithreaded Multiprocessor Architectures
AutoFOCUS and the MoDe Tool
QoS-driven service selection and composition
Abstract Model Checking and Refinement of Temporal Logic in aSPIN
Comparison of Methods for Supervisory Control and Submodule Construction
Preserving Partial Order Runs in Parametric Time Petri Nets
Verification of Concurrent Systems with Parametric Delays Using Octahedra
All Linear-Time Congruences for Finite LTSs and Familiar Operators
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
Compositional Verification of Integrity for Digital Stream Signature Protocols
Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Multi-valued Abstraction Using Lattice Operations
Minimal Counterexamples in O(n log n) Memory and O(n^2) Time
Symbolically Aligning Observed and Modelled Behaviour
Time Arc Petri Nets and Their Analysis
A True Concurrency Semantics for ET-LOTOS
A Petri Net Meta-Model to Develop Software Components for Embedded Systems
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language)
Process algebraic verification of SystemC codes
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts
On-the-fly TCTL model checking for Time Petri Nets using state class graphs
Modular Analysis of Systems Composed of Semiautonomous Subsystems
Making Meaningful Models for Mere Mortal
Prototyping a Concurrency Model
Verification of JavaSpaces TM Parallel Programs
Queue-Dispatch Asynchronous Systems
Formal Verification of Lock-Free Algorithms
A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks
Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs
New Results on Abstract Probabilistic Automata
Partial Order Reduction for Branching Security Protocols
Team Coordination Based on Causal Nets with Synchronous Channels
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets
An Asynchronous Routing Algorithm for Clos Networks
On the interplay between fault handling and request-response service invocations
Real-Time Process Algebra with Stochastic Delays
Translating Structural Process Properties to Petri Net Markings
On process-algebraic verification of asynchronous circuits
Dead-Path-Elimination in BPEL4WS
Action Synthesis for Branching Time Logic: Theory and Applications
Order Graphs and Cross-Layer Parametric Significance-Driven Modelling
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata
Correct Performance of Transaction Capabilities
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols
Order-Independence of Vector-Based Transition Systems
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs
Invited Abstract
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems
Precision Timed Embedded Systems Using TickPAD Memory
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
Checking Metric Temporal Logic with TRACE
Hazard Detection in a GALS Wrapper: A Case Study
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution
Ardoises: Collaborative & Interactive Editing Using Layered Data
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models
A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths
Hierarchical Concurrent Finite State Machines in Ptolemy
Towards Synthesis of Monotonic Asynchronous Circuits from Signal Transition Graphs
Case Studies of Model Checking for Embedded System Designs
Hasse Diagrams of Combined Traces
Parametrised Interface Automata
Parameterised Process Algebraic Verification by Precongruence Reduction
Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation
Communicating Transaction Processes
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata
HiWorD: A Petri Net-Based Hierarchical Workflow Designer
Modeling and Analyzing Interorganizational Workflows
Quasi-Static Scheduling for Concurrent Architectures
Building Tight Occurrence Nets from Reveals Relations
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
The Omniscient Garbage Collector: A Resource Analysis Framework
Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits
Specification Coverage Aided Test Selection
Optimal-Cost Reachability Analysis Based on Time Petri Nets
13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013
Implementing Timed Automata Specifications: The "Sandwich" Approach
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design
Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints
Incremental Bisimulation Abstraction Refinement
BHDL: Circuit Design in B
Towards Automatic Composition of Web Services: A SAT-Based Phase
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
Synthesis and Control of Asynchronous and Distributed Systems
An admission control system for QoS provision on a best-effort GALS interconnect
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
A Formal Model for Integrating Multiple Views
Compositional Proofs in Differential Dynamic Logic dL
Composable Guarded Atomic Actions: a Bridging Model for SoC Design
On the Importance of the Deadlock Trap Property for Monotonic Liveness
Schedulability Analysis of Petri Nets Based on Structural Properties
Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions
Combining Petri Nets and UML for Model-based Software Engineering
Plato: A Tool for Behavioural Specification of Asynchronous Circuits
Semantic Adaptation for Models of Computation
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
Timing Extensions of STG Model and a Method to Simulate Timed STG Behavior in VHDL Environment
A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper)
Generalised Asynchronous Arbiter
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
Parametrised Compositional Verification with Multiple Process and Data Types
Event-Driven Verification of Switch-Level Correctness Concerns
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Gaining Predictability and Noise Immunity in Global Interconnects
Model Checking Verilog Descriptions of Cell Libraries
Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs
Scheduling Synchronous Elastic Designs
Controllability in Partial and Uncertain Environments
Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies
Synthesis of General Petri Nets with Localities
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model
Maximal Synthesis for Hennessy-Milner Logic
Synthesis of Supervisory Controls for Discrete Event Systems
Modular Verification of Synchronous Programs
Message Sequence Charts: A Survey
Logic and Functional Verification in a Commercial Semiconductor Environment
Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis
Asynchronous pipeline controller based on early acknowledgement protocol
Parametric Analyses of Attack-Fault Trees
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets
PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes
On Dual-Rail Control Logic for Enhanced Circuit Robustness
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
Functional Model Exploration for Multimedia Applications via Algebraic Operators
Lexicographical Generations of Combined Traces
Saving Space in a Time Efficient Simulation Algorithm
Trading Off Concurrency to Generate Behavioral Adapters
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
Stop It, and Be Stubborn!
Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation
Checking Partial-Order Properties of Vector Addition Systems with States
PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation
Layered Reduction for Abstract Probabilistic Automata
Bounded Model Checking for Parametric Timed Automata
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach
Yasper: a tool for workflow modeling and analysis
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach
A structural encoding technique for the synthesis of asynchronous circuits
Extended Timed Automata and Time Petri Nets
Multicomponent Compatibility and its Verification
An Algorithmic Framework for Coverability in Well-Structured Systems
Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems
A Translation of Statecharts into Signal Approach of Time, Interoperability
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel
Merging State-Based and Action-Based Verification
Visual Formalisms Revisited
A Java-based Formal Development Environment for Factory Communication Systems
A Trace-Based Semantics for Responsiveness
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools
Programming and Timing Analysis of Parallel Programs on Multicores
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks
Specification of Decision Diagram Operations
Towards an Algebra of Abstractions for Communicating Processes
Strongly Generalized Soundness of Time Workflow Nets
Synthesis of Petri nets from infinite partial languages
C-Sim version 5.0
Time elastic digital systems and Petri Nets
Sessions with an Unbounded Number of Agents
Tag Machines for Modeling Heterogeneous Systems
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism
Reachability Analysis of P-time Petri Nets with Parametric Markings
Equivalence Verification of Timed Transition Models
Recursive Nets in the Box Algebra
The Congruences below Fair Testing with Initial Stability
16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016
Verification of a Data Synchronization Circuit For All Time
Sequence Chart Studio
From Code to Models
Extensible and Scalable Time Triggered Scheduling
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks
Bounded Fairness for Probabilistic Distributed Algorithms
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets
18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018
Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server
Cyclic Communicating Processes: Hierarchy and Verification
Model Transformation of Metabolic Networks using a Petri Net Based Framework
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software
Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS
Towards Hilbertian Formal Methods
Products of Transition Systems and Additions of Petri Nets
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models
Modelling Mobility in High-level Petri Nets
Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers
A Tool for the Synthesis of Asynchronous Speed-Independent Circuits
11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011
Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France
Performing causality analysis by bounded model checking
Non-interference in Partial Order Models
SOUPS: A Variable Ordering Metric for the Saturation Algorithm
On Generating *-Sound Nets with Substitution
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions
A Framework for the Development of Protocols
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems