POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulation through probabilistic testing (preliminary report)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Structured operational semantics as a specification language
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Three logics for branching bisimulation
Journal of the ACM (JACM)
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Testing preorders for probabilistic processes can be characterized by simulations
Theoretical Computer Science
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Refusal Simulation and Interactive Games
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Testing Labelled Markov Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Process Languages for Rooted Eager Bisimulation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Test Generation Derived from Model-Checking
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Fully Abstract Characterization of Probabilistic May Testing
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Generating diagnostic information for behavioral preorders
Distributed Computing
Bisimulation on speed: a unified approach
Theoretical Computer Science
Domain theory, testing and simulation for labelled Markov processes
Theoretical Computer Science - Foundations of software science and computation structures
Labelled Markov Processes as Generalised Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematical Structures in Computer Science
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
A domain equation for bisimulation
Information and Computation
Theoretical Computer Science
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Timed test generation based on timed temporal logic
ICAI'10 Proceedings of the 11th WSEAS international conference on Automation & information
Connection between logical and algebraic approaches to concurrent systems†
Mathematical Structures in Computer Science
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Preserving contexts for soft conformance relation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Conformance relations for labeled event structures
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Parameterized preorder relations for model-based testing of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Testing probabilistic equivalence through Reinforcement Learning
Information and Computation
| Hi-index | 5.23 |