Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Robi Malik, Partha S. Roop	Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.	IFM	2005	DBLP DOI BibTeX RDF	embedded systems, Formal verification, finite-state machines, bisimulation, supervisory control, specification matching
23	Mohammad Reza Mousavi 0001, Murdoch Gabbay, Michel A. Reniers	SOS for Higher Order Processes.	CONCUR	2005	DBLP DOI BibTeX RDF	Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics
23	Simon Helsen	Bisimilarity for the Region Calculus.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	region calculus, bisimulation, equational theory, contextual equivalence
23	Søren Debois	Imperative program optimization by partial evaluation.	PEPM	2004	DBLP DOI BibTeX RDF	loop-invariant code motion, bisimulation, strength reduction, code duplication
23	Abdesselam Redouane	Expressing Performance Issues in Web Application Design.	IEEE ICCI	2003	DBLP DOI BibTeX RDF	cognitive, operational semantics, bisimulation, Pi calculus
23	Ernst-Erich Doberkat	Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.	ICALP	2003	DBLP DOI BibTeX RDF	semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation
23	Daniela Cancila, Furio Honsell	A Coalgebraic Description of Web Interactions.	ICTCS	2003	DBLP DOI BibTeX RDF	User-Visit, Coalgebraic Bisimulation, Simulation, Relators, Web Site, Coalgebra, Log File
23	Bernard Berthomieu, François Vernadat 0001	State Class Constructions for Branching Analysis of Time Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets
23	Erich Grädel, Colin Hirsch, Martin Otto 0001	Back and forth between guarded and modal logics.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logic, modal logic, Bisimulation, model theory
23	Stefan Blom, Jaco van de Pol	State Space Reduction by Proving Confluence.	CAV	2002	DBLP DOI BibTeX RDF	on-the-fly state space reduction, symbolic transformation, &#55CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation
23	Ernst-Erich Doberkat	The Demonic Product of Probabilistic Relations.	FoSSaCS	2002	DBLP DOI BibTeX RDF	Probabilistic relations, demonic product, concurrency, bisimulation
23	Jan A. Bergstra, Alban Ponse	Register-machine based processes.	J. ACM	2001	DBLP DOI BibTeX RDF	Kleene star, push-down operation, concurrency, computability, process algebra, expressivity, iteration, Bisimulation equivalence
23	Pranav Ashar, Aarti Gupta, Sharad Malik	Using complete-1-distinguishability for FSM equivalence checking.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	Bisimulation relation, complete-1-distinguishability, finite state machine equivalence, sequential logic synthesis, equivalence checking
23	Andrei Sabelfeld, David Sands 0001	Probabilistic Noninterference for Multi-Threaded Programs.	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference
23	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using Static Analysis to Improve Automatic Test Generation.	TACAS	2000	DBLP DOI BibTeX RDF	static analysis, bisimulation, conformance testing, slicing, asynchronous systems
23	Yuxi Fu	The x-Calculus.	APDC	1997	DBLP DOI BibTeX RDF	bisimulation, pi-calculus
23	Sung-Mook Lim, Jin-Young Choi	Specification and verification of real-time systems using ACSR-VP.	RTCSA	1997	DBLP DOI BibTeX RDF	ACSR-VP, avionics control systems, nuclear reactor control systems, bisimulation relation, real-time systems, reliability, formal specification, formal verification, formal verification, scheduling algorithm, priority ceiling protocol
23	Roland N. Bol, Jan Friso Groote	The Meaning of Negative Premises in Transition System Specifications.	J. ACM	1996	DBLP DOI BibTeX RDF	ntyft/ntyxt-format, conservative extension of TSSs, negative premises, priorities and abstraction, logic programming, process algebra, bisimulation, congruence
23	Pranav Ashar, Aarti Gupta, Sharad Malik	Using complete-1-distinguishability for FSM equivalence checking.	ICCAD	1996	DBLP DOI BibTeX RDF	sequential logic synthesis and verification, finite state machine equivalence, bisimulation relation, 1-distinguishability, 1-equivalence, formal verification
23	Akio Nakata, Teruo Higashino, Kenichi Taniguchi	Protocol synthesis from timed and structured specifications.	ICNP	1995	DBLP DOI BibTeX RDF	LOTOS/T+, Presburger formulas, parallelism, protocols, specification languages, synchronisation, interruption, time-constraints, service specifications, protocol specifications, bisimulation equivalent
23	K. V. S. Prasad	Broadcasting with Priority. (journal version: Science of Computer Programming 25 (1995))	ESOP	1994	DBLP DOI BibTeX RDF	Broadcast, functional programming, bisimulation, priority, process calculi
23	Cyril Autant, Philippe Schnoebelen	Place Bisimulations in Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	partial order theory of concurrency, structure and behavior of nets, bisimulation theory of nets
23	Bernhard Josko	A Context Dependent Equivalence Relation Between Kripke Structures.	CAV	1990	DBLP DOI BibTeX RDF	temporal logic, bisimulation, reactive systems, modular specification, hierarchical design, Kripke structures
23	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
16	Jie Zhou, Yixiang Chen	Modeling Instability in a New Framework of Interval Valued Process Algebra.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
16	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	An Algebra for Kripke Polynomial Coalgebras.	LICS	2009	DBLP DOI BibTeX RDF
16	Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani	Normal Bisimulations in Calculi with Passivation.	FoSSaCS	2009	DBLP DOI BibTeX RDF
16	Nobuyuki Sato, Eijiro Sumii	The Higher-Order, Call-by-Value Applied Pi-Calculus.	APLAS	2009	DBLP DOI BibTeX RDF
16	Eijiro Sumii	A Theory of Non-monotone Memory (Or: Contexts for free).	ESOP	2009	DBLP DOI BibTeX RDF
16	Francesco Ranzato, Francesco Tapparo	Computing Stuttering Simulations.	CONCUR	2009	DBLP DOI BibTeX RDF
16	Morten Kühnrich, Uwe Nestmann	On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
16	Suzana Andova, Sonja Georgievska	On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.	SOFSEM	2009	DBLP DOI BibTeX RDF
16	George J. Pappas	Approximations of Discrete, Continuous, and Hybrid Systems.	FORMATS	2009	DBLP DOI BibTeX RDF
16	Lingxi Li, Christoforos N. Hadjicostis, R. S. Sreenivas	Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
16	Ralf Wimmer 0001, Salem Derisavi, Holger Hermanns	Symbolic Partition Refinement with Dynamic Balancing of Time and Space.	QEST	2008	DBLP DOI BibTeX RDF
16	Ron van der Meyden, Chenyi Zhang	Information Flow in Systems with Schedulers.	CSF	2008	DBLP DOI BibTeX RDF	scheduler, information flow, noninterference
16	Zining Cao	A Logic for Distributed Higher Order pi-Calculus.	TAMC	2008	DBLP DOI BibTeX RDF
16	Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre	Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.	HSCC	2008	DBLP DOI BibTeX RDF
16	A. Agung Julius, George J. Pappas	Probabilistic testing for stochastic hybrid systems.	CDC	2008	DBLP DOI BibTeX RDF
16	Markus Lumpe, Lars Grunske, Jean-Guy Schneider	State Space Reduction Techniques for Component Interfaces.	CBSE	2008	DBLP DOI BibTeX RDF
16	Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka	A Process Calculus for Mobile Ad Hoc Networks.	COORDINATION	2008	DBLP DOI BibTeX RDF
16	Dimitrios Vardoulakis, Mitchell Wand	A Compositional Trace Semantics for Orc.	COORDINATION	2008	DBLP DOI BibTeX RDF
16	Pepijn Crouzen, Holger Hermanns, Lijun Zhang 0001	On the Minimisation of Acyclic Models.	CONCUR	2008	DBLP DOI BibTeX RDF
16	Temesghen Kahsai, Marino Miculan	Implementing Spi Calculus Using Nominal Techniques.	CiE	2008	DBLP DOI BibTeX RDF
16	Peng Wu 0002, Catuscia Palamidessi, Huimin Lin	Symbolic Bisimulations for Probabilistic Systems.	QEST	2007	DBLP DOI BibTeX RDF
16	Francesco Ranzato, Francesco Tapparo	A New Efficient Simulation Equivalence Algorithm.	LICS	2007	DBLP DOI BibTeX RDF
16	Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga	Game Relations and Metrics.	LICS	2007	DBLP DOI BibTeX RDF
16	Antoine Girard	Approximately Bisimilar Finite Abstractions of Stable Linear Systems.	HSCC	2007	DBLP DOI BibTeX RDF
16	Augusto Parma, Roberto Segala	Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.	FoSSaCS	2007	DBLP DOI BibTeX RDF
16	Martin Berger 0001, Nobuko Yoshida	Timed, Distributed, Probabilistic, Typed Processes.	APLAS	2007	DBLP DOI BibTeX RDF
16	Frank Puhlmann	Soundness Verification of Business Processes Specified in the Pi-Calculus.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
16	Davide Grohmann, Marino Miculan	Reactive Systems over Directed Bigraphs.	CONCUR	2007	DBLP DOI BibTeX RDF
16	Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse	Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.	CONCUR	2007	DBLP DOI BibTeX RDF
16	David J. Pym, Chris M. N. Tofts	A Calculus and logic of resources and processes.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF
16	Mads Dam	Decidability and proof systems for language-based noninterference relations.	POPL	2006	DBLP DOI BibTeX RDF	intransitive noninterference, information flow, language-based security, noninterference, multi-level security
16	Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters	Process Equivalence: Comparing Two Process Models Based on Observed Behavior.	Business Process Management	2006	DBLP DOI BibTeX RDF	Process Equivalence, Petri Nets, Process Mining
16	Xiaoqing Peng, Huibiao Zhu, Jifeng He 0001, Naiyong Jin	An Operational Semantics of an Event-Driven System-Level Simulator.	SEW	2006	DBLP DOI BibTeX RDF
16	Kamal Lodaya	Product Automata and Process Algebra.	SEFM	2006	DBLP DOI BibTeX RDF
16	Mingsheng Ying	pi-calculus with noisy channels.	Acta Informatica	2005	DBLP DOI BibTeX RDF
16	T. Karvi, Tienari Tienari, Roope Kaivola	Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	verification, specification, refinement, process algebra
16	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.	TACAS	2005	DBLP DOI BibTeX RDF
16	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Bisimulations Up-to for the Linear Time Branching Time Spectrum.	CONCUR	2005	DBLP DOI BibTeX RDF
16	Gabriel Ciobanu	Theory and Practice of Programming Applied to Membrane Systems.	SYNASC	2005	DBLP DOI BibTeX RDF
16	Jens Chr. Godskesen, Thomas T. Hildebrandt	Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.	FSTTCS	2005	DBLP DOI BibTeX RDF
16	Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder	Iterative Circular Coinduction for CoCasl in Isabelle/HOL.	FASE	2005	DBLP DOI BibTeX RDF
16	Jianmin Jiang, Jinzhao Wu	Symmetry and Autobisimulation.	PDCAT	2005	DBLP DOI BibTeX RDF	autobisimulation, Symmetry, event structures
16	Zining Cao	A Uniform Reduction Equivalence for Process Calculi.	APLAS	2004	DBLP DOI BibTeX RDF
16	Carla Piazza, Enrico Pivato, Sabina Rossi	CoPS - Checker of Persistent Security.	TACAS	2004	DBLP DOI BibTeX RDF
16	Paulo Tabuada	Open Maps, Alternating Simulations and Control Synthesis.	CONCUR	2004	DBLP DOI BibTeX RDF
16	Margarita V. Korovina, Nicolai N. Vorobjov Jr.	Pfaffian Hybrid Systems.	CSL	2004	DBLP DOI BibTeX RDF
16	Petr Jancar	Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete.	LICS	2003	DBLP DOI BibTeX RDF
16	Xutao Du, Zhoujun Li	A Proof Assistant for Mobile Processes.	APPT	2003	DBLP DOI BibTeX RDF
16	Irek Ulidowski	Priority Rewrite Systems for OSOS Process Languages.	CONCUR	2003	DBLP DOI BibTeX RDF
16	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	Transforming Processes to Check and Ensure Information Flow Security.	AMAST	2002	DBLP DOI BibTeX RDF
16	Mikkel Nygaard, Glynn Winskel	Linearity in Process Languages.	LICS	2002	DBLP DOI BibTeX RDF
16	Franck van Breugel, Steven Shalit, James Worrell 0001	Testing Labelled Markov Processes.	ICALP	2002	DBLP DOI BibTeX RDF
16	Raffaella Gentilini, Carla Piazza, Alberto Policriti	Simulation as Coarsest Partition Problem.	TACAS	2002	DBLP DOI BibTeX RDF
16	Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone	A Calculus of Mobile Resources.	CONCUR	2002	DBLP DOI BibTeX RDF
16	Philipp Rohde	Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
16	Kousha Etessami, Thomas Wilke, Rebecca A. Schuller	Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata.	ICALP	2001	DBLP DOI BibTeX RDF
16	Colin Stirling	Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes.	FoSSaCS	2001	DBLP DOI BibTeX RDF
16	Thomas Arts, Izak van Langevelde	Correct Performance of Transaction Capabilities.	ACSD	2001	DBLP DOI BibTeX RDF
16	Dirk Pattinson	Semantical Principles in the Modal Logic of Coalgebras.	STACS	2001	DBLP DOI BibTeX RDF
16	Li Tan, Rance Cleaveland	Simulation Revisited.	TACAS	2001	DBLP DOI BibTeX RDF
16	Inhye Kang, Insup Lee 0001, Young-Si Kim	An Efficient State Space Generation for the Analysis of Real-Time Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	real-time systems analysis, state space minimization, Formal specification, timed automata, reachability analysis
16	Gian Luca Cattani, Peter Sewell	Models for Name-Passing Processes: Interleaving and Causal.	LICS	2000	DBLP DOI BibTeX RDF
16	Jan Friso Groote, Jaco van de Pol	State Space Reduction Using Partial tau-Confluence.	MFCS	2000	DBLP DOI BibTeX RDF
16	Ugo Montanari, Marco Pistore	pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.	MFCS	2000	DBLP DOI BibTeX RDF
16	Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer	A Modal Logic for Network Topologies.	JELIA	2000	DBLP DOI BibTeX RDF
16	Huimin Lin, Wang Yi 0001	A Complete Axiomatisation for Timed Automata.	FSTTCS	2000	DBLP DOI BibTeX RDF
16	Simon Ambler, Roy L. Crole	Mechanized Operational Semantics via (Co)Induction.	TPHOLs	1999	DBLP DOI BibTeX RDF
16	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Proof Techniques for Cryptographic Processes.	LICS	1999	DBLP DOI BibTeX RDF	Logical aspects of protocol security, Formal methods, Semantics, Concurrency
16	David M. Goldschlag, Stuart G. Stubblebine	Publicly Verifiable Lotteries: Applications of Delaying Functions.	Financial Cryptography	1998	DBLP DOI BibTeX RDF
16	Huimin Lin	Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
16	Mogens Nielsen	Reasoning About the Past.	MFCS	1998	DBLP DOI BibTeX RDF
16	Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel	A Relational Model of Non-deterministic Dataflow.	CONCUR	1998	DBLP DOI BibTeX RDF
16	Michael Huth 0001, Marta Z. Kwiatkowska	Quantitative Analysis and Model Checking.	LICS	1997	DBLP DOI BibTeX RDF
16	Wan J. Fokkink	Axiomatizations for the Perpetual Loop in Process Algebra.	ICALP	1997	DBLP DOI BibTeX RDF
16	Rance Cleaveland, Gerald Lüttgen, Michael Mendler	An Algebraic Theory of Multiple Clocks.	CONCUR	1997	DBLP DOI BibTeX RDF
16	Ugo Montanari, Marco Pistore, Daniel Yankelevich	Efficient Minimization up to Location Equivalence.	ESOP	1996	DBLP DOI BibTeX RDF