Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Toby Wilkinson	A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation.	MFPS	2012	DBLP DOI BibTeX RDF
15	Silvia Crafa, Francesco Ranzato	Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation.	Formal Methods Syst. Des.	2012	DBLP DOI BibTeX RDF
15	Antoine Girard	Controller synthesis for safety and reachability via approximate bisimulation.	Autom.	2012	DBLP DOI BibTeX RDF
15	Jia Liu, Huimin Lin	A complete symbolic bisimulation for full applied pi calculus.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
15	Hongyan Xing, Qiansheng Zhang, Kaisheng Huang	Analysis and control of fuzzy discrete event systems using bisimulation equivalence.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
15	Suzana Andova, Sonja Georgievska, Nikola Trcka	Branching bisimulation congruence for probabilistic systems.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
15	Vladimir A. Bashkin	Approximating bisimulation in one-counter nets.	Autom. Control. Comput. Sci.	2012	DBLP DOI BibTeX RDF
15	Holger Hermanns, Andrea Turrini	Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time	CoRR	2012	DBLP BibTeX RDF
15	Yuan Feng 0001, Yuxin Deng, Mingsheng Ying	Symbolic bisimulation for quantum processes	CoRR	2012	DBLP BibTeX RDF
15	Yuxin Deng, Yuan Feng 0001	Open Bisimulation for Quantum Processes	CoRR	2012	DBLP BibTeX RDF
15	Marco Bernardo 0001	Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes	QAPL	2012	DBLP DOI BibTeX RDF
15	Johann Schuster, Markus Siegle	Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States	CoRR	2012	DBLP BibTeX RDF
15	Jasen Markovski	Scalable Minimization Algorithm for Partial Bisimulation	WS-FMDS	2012	DBLP DOI BibTeX RDF
15	Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen	Late Weak Bisimulation for Markov Automata	CoRR	2012	DBLP BibTeX RDF
15	Yongming Luo, George H. L. Fletcher, Jan Hidders, Yuqing Wu, Paul De Bra	I/O-efficient algorithms for localized bisimulation partition construction and maintenance on massive graphs	CoRR	2012	DBLP BibTeX RDF
15	Bas Luttik	Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics	CoRR	2012	DBLP BibTeX RDF
15	Prithviraj Sen, Amol Deshpande, Lise Getoor	Bisimulation-based Approximate Lifted Inference	CoRR	2012	DBLP BibTeX RDF
15	Antoine Girard	Low-Complexity Quantized Switching Controllers using Approximate Bisimulation	CoRR	2012	DBLP BibTeX RDF
15	Diego Latella, Mieke Massink, Erik P. de Vink	Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages	ACCAT	2012	DBLP DOI BibTeX RDF
15	Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos	Notions of Bisimulation for Heyting-Valued Modal Languages.	J. Log. Comput.	2012	DBLP DOI BibTeX RDF
15	Yuan Feng 0001, Runyao Duan, Mingsheng Ying	Bisimulation for Quantum Processes.	ACM Trans. Program. Lang. Syst.	2012	DBLP DOI BibTeX RDF
15	Hui Kang, Zhi Wang, Shuang Zhang, Fang Mei	A New-type Pi Calculus with Buffers and Its Bisimulation.	J. Comput.	2012	DBLP BibTeX RDF
15	Davide Sangiorgi, Jan J. M. M. Rutten (eds.)	Advanced Topics in Bisimulation and Coinduction.		2012	DBLP BibTeX RDF
15	Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas, Thanh-Luong Tran	A bisimulation-based method of concept learning for knowledge bases in description logics.	SoICT	2012	DBLP DOI BibTeX RDF
15	Gheorghe Comanici, Prakash Panangaden, Doina Precup	On-the-Fly Algorithms for Bisimulation Metrics.	QEST	2012	DBLP DOI BibTeX RDF
15	Mathias Hülsbusch, Barbara König 0001	Deriving Bisimulation Congruences for Conditional Reactive Systems.	FoSSaCS	2012	DBLP DOI BibTeX RDF
15	Pedro R. D'Argenio, Matias David Lee	Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation.	FoSSaCS	2012	DBLP DOI BibTeX RDF
15	Jelle Hellings, George H. L. Fletcher, Herman J. Haverkort	Efficient external-memory bisimulation on DAGs.	SIGMOD Conference	2012	DBLP DOI BibTeX RDF
15	Alessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis	Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation.	ADHS	2012	DBLP DOI BibTeX RDF
15	David N. Jansen, Flemming Nielson, Lijun Zhang 0001	Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
15	Deepak D'Souza, K. R. Raghavendra	Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems.	ESORICS	2012	DBLP DOI BibTeX RDF
15	Yuxin Deng, Yuan Feng 0001	Open Bisimulation for Quantum Processes.	IFIP TCS	2012	DBLP DOI BibTeX RDF
15	Bas Luttik	Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics.	IFIP TCS	2012	DBLP DOI BibTeX RDF
15	Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer	Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation.	CLIMA	2012	DBLP DOI BibTeX RDF
15	Michael Katz 0001, Jörg Hoffmann 0001, Malte Helmert	How to Relax a Bisimulation?	ICAPS	2012	DBLP BibTeX RDF
15	Holger Hermanns, Andrea Turrini	Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time.	FSTTCS	2012	DBLP DOI BibTeX RDF
15	Haiyu Pan, Min Zhang 0007, Yixiang Chen	Bisimulation for Lattice-valued Transition Systems.	TASE	2012	DBLP DOI BibTeX RDF
15		Bisimulation Equivalence.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
15	Rob J. van Glabbeek	Bisimulation.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
15	Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii	From Applicative to Environmental Bisimulation.	MFPS	2011	DBLP DOI BibTeX RDF
15	Antoine Girard, George J. Pappas	Approximate Bisimulation: A Bridge Between Computer Science and Control Theory.	Eur. J. Control	2011	DBLP DOI BibTeX RDF
15	Julia M. B. Braman, Richard M. Murray	Bisimulation conversion and verification procedure for goal-based control systems.	Formal Methods Syst. Des.	2011	DBLP DOI BibTeX RDF
15	Mathias Hülsbusch	Application Conditions for Reactive Systems with Applications to Bisimulation Theory.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
15	Géraud Sénizergues	Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness	CoRR	2011	DBLP BibTeX RDF
15	Yuxin Deng, Wenjie Du	Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation	CoRR	2011	DBLP BibTeX RDF
15	Jelle Hellings, George H. L. Fletcher, Herman J. Haverkort	I/O efficient bisimulation partitioning on very large directed acyclic graphs	CoRR	2011	DBLP BibTeX RDF
15	Yajuan Sun, Hai Lin 0002, Ben M. Chen	Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence	CoRR	2011	DBLP BibTeX RDF
15	Sam Staton	Relating coalgebraic notions of bisimulation	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
15	Domagoj Vrgoc, Mladen Vukovic	Bisimulation quotients of Veltman models.	Reports Math. Log.	2011	DBLP BibTeX RDF
15	Pedro Sánchez Terraf	Unprovability of the logical characterization of bisimulation.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
15	Norm Ferns, Prakash Panangaden, Doina Precup	Bisimulation Metrics for Continuous Markov Decision Processes.	SIAM J. Comput.	2011	DBLP DOI BibTeX RDF
15	Geoff W. Hamilton, Neil D. Jones	Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
15	Marco Bernardo 0001	Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes.	TGC	2011	DBLP DOI BibTeX RDF
15	Yuan Feng 0001, Runyao Duan, Mingsheng Ying	Bisimulation for quantum processes.	POPL	2011	DBLP DOI BibTeX RDF
15	Silvia Crafa, Francesco Ranzato	Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation.	ICALP (2)	2011	DBLP DOI BibTeX RDF
15	Rodica Ceterchi, Alexandru Ioan Tomescu	Computing the Maximum Bisimulation with Spiking Neural P Systems.	Computation, Cooperation, and Life	2011	DBLP DOI BibTeX RDF
15	Ilya Tkachev, Alessandro Abate	On infinite-horizon probabilistic properties and stochastic bisimulation functions.	CDC/ECC	2011	DBLP DOI BibTeX RDF
15	Gheorghe Comanici, Doina Precup	Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics.	AAAI	2011	DBLP DOI BibTeX RDF
15	Pablo Samuel Castro, Doina Precup	Automatic Construction of Temporally Extended Actions for MDPs Using Bisimulation Metrics.	EWRL	2011	DBLP DOI BibTeX RDF
15	Jintian Deng, Byron Choi, Jianliang Xu, Sourav S. Bhowmick	Optimizing Incremental Maintenance of Minimal Bisimulation of Cyclic Graphs.	DASFAA (1)	2011	DBLP DOI BibTeX RDF
15	Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota 0001	Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes.	CONCUR	2011	DBLP DOI BibTeX RDF
15	Malcolm Mumme, Gianfranco Ciardo	A Fully Symbolic Bisimulation Algorithm.	RP	2011	DBLP DOI BibTeX RDF
15	Martin Otto 0001	The Freedoms of Guarded Bisimulation.	CSL	2011	DBLP DOI BibTeX RDF
15	Raz Nissim, Jörg Hoffmann 0001, Malte Helmert	Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning.	IJCAI	2011	DBLP DOI BibTeX RDF
15	Haiyu Pan, Min Zhang 0007, Yixiang Chen, Hengyang Wu	Approximate Bisimulation for Metric Doubly Labeled Transition System.	TASE	2011	DBLP DOI BibTeX RDF
15	Gheorghe Comanici, Doina Precup	Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics.	ALA	2011	DBLP DOI BibTeX RDF
15	Gheorghe Comanici, Doina Precup	Basis function discovery using spectral clustering and bisimulation metrics.	AAMAS	2011	DBLP BibTeX RDF
15	Julian Gutierrez 0001	On bisimulation and model-checking for concurrent systems with partial order semantics.		2011	RDF
15	Alwen Tiu, Dale Miller 0001	Proof search specifications of bisimulation and modal logics for the pi-calculus.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
15	Eijiro Sumii	A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
15	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina	Weak bisimulation for Probabilistic Timed Automata.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
15	Pedro Sánchez Terraf	Unprovability of the Logical Characterization of Bisimulation	CoRR	2010	DBLP BibTeX RDF
15	Antoine Girard	Controller Synthesis for Safety and Reachability via Approximate Bisimulation	CoRR	2010	DBLP BibTeX RDF
15	Yuan Feng 0001, Runyao Duan, Mingsheng Ying	Bisimulation for quantum processes	CoRR	2010	DBLP BibTeX RDF
15	Ian M. Hodkinson, Hicham Tahiri	A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder.	Rev. Symb. Log.	2010	DBLP DOI BibTeX RDF
15	Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan	Symbolic bisimulation for the applied pi calculus.	J. Comput. Secur.	2010	DBLP DOI BibTeX RDF
15	Domagoj Vrgoc, Mladen Vukovic	Bisimulations and bisimulation quotients of generalized Veltman models.	Log. J. IGPL	2010	DBLP DOI BibTeX RDF
15	Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota 0001, Zdenek Sawa	Non-interleaving bisimulation equivalences on Basic Parallel Processes.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
15	Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden	Weak bisimulation is sound and complete for pCTL*.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
15	Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii	Limitations of Applicative Bisimulation (Preliminary Report).	Modelling, Controlling and Reasoning About State	2010	DBLP BibTeX RDF
15	Pablo F. Castro, T. S. E. Maibaum	Characterizing Locality (Encapsulation) with Bisimulation.	ICTAC	2010	DBLP DOI BibTeX RDF
15	Roland Glück, Bernhard Möller, Michel Sintzoff	Model Refinement Using Bisimulation Quotients.	AMAST	2010	DBLP DOI BibTeX RDF
15	Natalya Gribovskaya, Irina B. Virbitskaite	A Categorical View of Timed Weak Bisimulation.	TAMC	2010	DBLP DOI BibTeX RDF
15	Shun-Ichi Azuma, George J. Pappas	Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach.	ACC	2010	DBLP DOI BibTeX RDF
15	Manfred Broy	Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
15	Ralf Wimmer 0001, Bernd Becker 0001	Correctness Issues of Symbolic Bisimulation Computation for Markov Chains.	MMB/DFT	2010	DBLP DOI BibTeX RDF
15	Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu	Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras.	APLAS	2010	DBLP DOI BibTeX RDF
15	Nils Grimsmo, Truls Amundsen Bjørklund, Magnus Lie Hetland	Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation for Node-Labeled Trees.	XSym	2010	DBLP DOI BibTeX RDF
15	Mouhebeddine Berrima, Narjes Ben Rajeb	Linking Algebraic Observational Equivalence and Bisimulation.	Developments in Language Theory	2010	DBLP DOI BibTeX RDF
15	Pablo Samuel Castro, Doina Precup	Using Bisimulation for Policy Transfer in MDPs.	AAAI	2010	DBLP DOI BibTeX RDF
15	Guang Zheng, Xiaojuan He, Miao Jiang 0001, Aiping Lu	Goal based bisimulation for testing therapies in traditional Chinese medicine.	BIBM Workshops	2010	DBLP DOI BibTeX RDF
15	Jia Liu, Huimin Lin	A Complete Symbolic Bisimulation for Full Applied Pi Calculus.	SOFSEM	2010	DBLP DOI BibTeX RDF
15	Mathias Hülsbusch	Bisimulation Theory for Graph Transformation Systems.	ICGT	2010	DBLP DOI BibTeX RDF
15	Jeremy Sproston, Angelo Troina	Simulation and Bisimulation for Probabilistic Timed Automata.	FORMATS	2010	DBLP DOI BibTeX RDF
15	Pablo Samuel Castro, Doina Precup	Using bisimulation for policy transfer in MDPs.	AAMAS	2010	DBLP BibTeX RDF
15	Johanna Högberg, Andreas Maletti, Heiko Vogler	Bisimulation Minimisation of Weighted Automata on Unranked Trees.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
15	Natalya Gribovskaya, Irina B. Virbitskaite	Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
15	Sibylle B. Fröschle, Slawomir Lasota 0001	Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences.	INFINITY	2009	DBLP DOI BibTeX RDF
15	Yanfang Ma, Min Zhang 0007	Topological Construction of Parameterized Bisimulation Limit.	ISDT	2009	DBLP DOI BibTeX RDF
15	Johanna Högberg, Andreas Maletti, Jonathan May	Backward and forward bisimulation minimization of tree automata.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF