Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Raoul Koudijs	Finite Model Property and Bisimulation for LFD.	CoRR	2021	DBLP BibTeX RDF
15	Herman Geuvers, Bart Jacobs 0001	Relating Apartness and Bisimulation.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
15	Rui Li 0007, Qi Zhang 0005, Tianguang Chu	Reduction and Analysis of Boolean Control Networks by Bisimulation.	SIAM J. Control. Optim.	2021	DBLP DOI BibTeX RDF
15	Raul Fervari, Francisco Trucco, Beta Ziliani	Verification of dynamic bisimulation theorems in Coq.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
15	Jan Martens 0001, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs	A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions.	FACS	2021	DBLP DOI BibTeX RDF
15	Mete Kemertas, Tristan Aumentado-Armstrong	Towards Robust Bisimulation Metric Learning.	NeurIPS	2021	DBLP BibTeX RDF
15	Jan Friso Groote, Jan Martens 0001, Erik P. de Vink	Bisimulation by Partitioning Is Ω((m+n)log n).	CONCUR	2021	DBLP DOI BibTeX RDF
15	Rob van Glabbeek, Peter Höfner, Weiyou Wang	Enabling Preserving Bisimulation Equivalence.	CONCUR	2021	DBLP DOI BibTeX RDF
15	Jos C. M. Baeten, Cesare Carissimo, Bas Luttik	Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.	CALCO	2021	DBLP DOI BibTeX RDF
15	Stefan Kiefer, Qiyi Tang 0001	Approximate Bisimulation Minimisation.	FSTTCS	2021	DBLP DOI BibTeX RDF
15	Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield	Translation of CCS into CSP, Correct up to Strong Bisimulation.	SEFM	2021	DBLP DOI BibTeX RDF
15	Nan Jiang, Chi Huang, Yao Chen, Jürgen Kurths	Bisimulation-based stabilization of probabilistic Boolean control networks with state feedback control.	Frontiers Inf. Technol. Electron. Eng.	2020	DBLP DOI BibTeX RDF
15	Christel Baier, Pedro R. D'Argenio, Holger Hermanns	On the probabilistic bisimulation spectrum with silent moves.	Acta Informatica	2020	DBLP DOI BibTeX RDF
15	Mathias Claus Jensen, Kim Guldstrand Larsen	A complete axiomatization of weighted branching bisimulation.	Acta Informatica	2020	DBLP DOI BibTeX RDF
15	Hikmat Farhat	Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
15	Achim Blumensath, Felix Wolf 0002	Bisimulation invariant monadic-second order logic in the finite.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
15	Robert F. Johnson, Erik Winfree	Verifying polymer reaction networks using bisimulation.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
15	Petr Jancar	Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence.	J. Comput. Syst. Sci.	2020	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen 0001, Thi Hong Khanh Nguyen, Thanh-Luong Tran	Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics.	CoRR	2020	DBLP BibTeX RDF
15	Stefan Göller, Pawel Parys	Bisimulation Finiteness of Pushdown Systems Is Elementary.	CoRR	2020	DBLP BibTeX RDF
15	Rob van Glabbeek	Reactive Bisimulation Semantics for a Process Algebra with Time-Outs.	CoRR	2020	DBLP BibTeX RDF
15	Clément Aubert, Ioana Cristescu	How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation.	CoRR	2020	DBLP BibTeX RDF
15	Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic	An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction.	CoRR	2020	DBLP BibTeX RDF
15	Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer	Probabilistic Bisimulation for Parameterized Systems (Technical Report).	CoRR	2020	DBLP BibTeX RDF
15	Herman Geuvers, Bart Jacobs 0001	Relating Apartness and Bisimulation.	CoRR	2020	DBLP BibTeX RDF
15	Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.	Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers.	CoRR	2020	DBLP BibTeX RDF
15	Claudio Hermida, Uday S. Reddy, Edmund P. Robinson, Alessio Santamaria	Bisimulation as a Logical Relation.	CoRR	2020	DBLP BibTeX RDF
15	Nicolas Behr, Vincent Danos, Ilias Garnier	Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
15	Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen 0001, Thi Hong Khanh Nguyen, Thanh-Luong Tran	Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
15	Zechen Hou, Eric Madelaine	Symbolic bisimulation for open and parameterized systems.	PEPM@POPL	2020	DBLP DOI BibTeX RDF
15	Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher	Parametric Timed Bisimulation.	ISoLA (2)	2020	DBLP DOI BibTeX RDF
15	Gianluca Curzi, Michele Pagani	The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name.	LICS	2020	DBLP DOI BibTeX RDF
15	Stefan Göller, Pawel Parys	Bisimulation Finiteness of Pushdown Systems Is Elementary.	LICS	2020	DBLP DOI BibTeX RDF
15	Wenbo Zhang 0004, Qiang Yin 0002, Huan Long, Xian Xu 0001	Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete.	ICALP	2020	DBLP DOI BibTeX RDF
15	Xudong Qin, Yuxin Deng, Wenjie Du	Verifying Quantum Communication Protocols with Ground Bisimulation.	TACAS (2)	2020	DBLP DOI BibTeX RDF
15	Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic	An equational theory for weak bisimulation via generalized parameterized coinduction.	CPP	2020	DBLP DOI BibTeX RDF
15	Rob van Glabbeek	Reactive Bisimulation Semantics for a Process Algebra with Time-Outs.	CONCUR	2020	DBLP DOI BibTeX RDF
15	Clément Aubert, Ioana Cristescu	How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation.	CONCUR	2020	DBLP DOI BibTeX RDF
15	Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone	Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation.	AINA	2020	DBLP DOI BibTeX RDF
15	Delia Kesner, Eduardo Bonelli, Andrés Viso	Strong Bisimulation for Control Operators (Invited Talk).	CSL	2020	DBLP DOI BibTeX RDF
15	Giordano Pola, Costanzo Manes, Maria Domenica Di Benedetto	Output Feedback Control via Bisimulation of Stochastic Linear Systems.	IEEE Control. Syst. Lett.	2019	DBLP DOI BibTeX RDF
15	Rasmus Ejlers Møgelberg, Niccolò Veltri	Bisimulation as path type for guarded recursive types.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
15	Deng Hui, Li Zhi	Multi-valued bisimulation quotienting algorithms.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
15	Linan Chen, Florence Clerc, Prakash Panangaden	Bisimulation for Feller-Dynkin Processes.	MFPS	2019	DBLP DOI BibTeX RDF
15	Harsh Beohar, Sebastian Küpper	Bisimulation Maps in Presheaf Categories.	MFPS	2019	DBLP DOI BibTeX RDF
15	Huili Xing	The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement.	IEEE Access	2019	DBLP DOI BibTeX RDF
15	Robert F. Johnson, Qing Dong, Erik Winfree	Verifying chemical reaction network implementations: A bisimulation approach.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
15	Harsh Beohar, Sebastian Küpper	Bisimulation maps in presheaf categories.	CoRR	2019	DBLP BibTeX RDF
15	Martin Otto 0001	Graded modal logic and counting bisimulation.	CoRR	2019	DBLP BibTeX RDF
15	Lars Luthmann, Hendrik Göttmann, Malte Lochau	Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.	CoRR	2019	DBLP BibTeX RDF
15	Nicolas Behr, Vincent Danos, Ilias Garnier	Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems.	CoRR	2019	DBLP BibTeX RDF
15	Eduardo Bonelli, Delia Kesner, Andrés Viso	Strong Bisimulation for Control Operators.	CoRR	2019	DBLP BibTeX RDF
15	Achim Blumensath, Felix Wolf 0002	Bisimulation Invariant Monadic-Second Order Logic in the Finite.	CoRR	2019	DBLP BibTeX RDF
15	Linan Chen, Florence Clerc, Prakash Panangaden	Bisimulation for Feller-Dynkin Processes.	CoRR	2019	DBLP BibTeX RDF
15	Petr Jancar, Sylvain Schmitz	Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete.	CoRR	2019	DBLP BibTeX RDF
15	Marzieh Shamsizadeh, Mohammad Mehdi Zahedi	Bisimulation of type 2 for BL-general fuzzy automata.	Soft Comput.	2019	DBLP DOI BibTeX RDF
15	Julian Gutierrez 0001, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge	Nash Equilibrium and Bisimulation Invariance.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
15	Damien Pous, Davide Sangiorgi	Bisimulation and Coinduction Enhancements: A Historical Perspective.	Formal Aspects Comput.	2019	DBLP DOI BibTeX RDF
15	Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer	Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols).	CAV (1)	2019	DBLP DOI BibTeX RDF
15	Petr Jancar, Sylvain Schmitz	Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete.	LICS	2019	DBLP DOI BibTeX RDF
15	Jan Friso Groote, Erik P. de Vink	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice.	From Software Engineering to Formal Methods and Tools, and Back	2019	DBLP DOI BibTeX RDF
15	Valentina Castiglioni, Ruggero Lanotte, Simone Tini	Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.	The Art of Modelling Computational Systems	2019	DBLP DOI BibTeX RDF
15	Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro	Playing with Bisimulation in Erlang.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
15	Bernhard Steffen, Marc Jasper	Generating Hard Benchmark Problems for Weak Bisimulation.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
15	Ugo Dal Lago, Francesco Gavazzo	Effectful Normal Form Bisimulation.	ESOP	2019	DBLP DOI BibTeX RDF
15	Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang 0006, Yuzhi Zhang	Game Equivalence and Bisimulation for Game Description Language.	PRICAI (1)	2019	DBLP DOI BibTeX RDF
15	Raul Fervari, Francisco Trucco, Beta Ziliani	Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.	DaLí	2019	DBLP DOI BibTeX RDF
15	Richard Huybers, Alfons Laarman	A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization.	VMCAI	2019	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	Computing Bisimulation-Based Comparisons.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
15	Marco Bernardo 0001	ULTraS at work: Compositionality metaresults for bisimulation and trace semantics.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
15	Noorma Yulia Megawati, Arjan van der Schaft	Bisimulation equivalence of differential-algebraic systems.	Int. J. Control	2018	DBLP DOI BibTeX RDF
15	Lijun Zhang 0001, Pengfei Yang, Lei Song 0001, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen	Probabilistic bisimulation for realistic schedulers.	Acta Informatica	2018	DBLP DOI BibTeX RDF
15	Giordano Pola, Costanzo Manes, Arjan van der Schaft, Maria Domenica Di Benedetto	Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems.	IEEE Trans. Autom. Control.	2018	DBLP DOI BibTeX RDF
15	Alexandru Baltag, Giovanni Ciná	Bisimulation for Conditional Modalities.	Stud Logica	2018	DBLP DOI BibTeX RDF
15	Tom van Dijk, Jaco van de Pol	Multi-core symbolic bisimulation minimisation.	Int. J. Softw. Tools Technol. Transf.	2018	DBLP DOI BibTeX RDF
15	Moses Ganardi, Stefan Göller, Markus Lohrey	The Complexity of Bisimulation and Simulation on Finite Systems.	CoRR	2018	DBLP BibTeX RDF
15	Ivano Ciardelli, Martin Otto 0001	Inquisitive bisimulation.	CoRR	2018	DBLP BibTeX RDF
15	Rasmus Ejlers Møgelberg, Niccolò Veltri	Bisimulation as path type for guarded recursive types.	CoRR	2018	DBLP BibTeX RDF
15	Julian Gutierrez 0001, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge	Nash Equilibrium and Bisimulation Invariance.	CoRR	2018	DBLP BibTeX RDF
15	Chao Yang, Yongming Li 0001	Approximate bisimulation relations for fuzzy automata.	Soft Comput.	2018	DBLP DOI BibTeX RDF
15	Moses Ganardi, Stefan Göller, Markus Lohrey	The Complexity of Bisimulation and Simulation on Finite Systems.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
15	Chao Yang, Yongming Li 0001	ε-Bisimulation Relations for Fuzzy Automata.	IEEE Trans. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
15	Fernando R. Velázquez-Quesada	Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
15	Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink	An Efficient Algorithm to Determine Probabilistic Bisimulation.	Algorithms	2018	DBLP DOI BibTeX RDF
15	Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu 0013	Branching Bisimulation and Concurrent Object Verification.	DSN	2018	DBLP DOI BibTeX RDF
15	Hazhar Rahmani, Jason M. O'Kane	On the Relationship Between Bisimulation and Combinatorial Filter Reduction.	ICRA	2018	DBLP DOI BibTeX RDF
15	Ruggero Lanotte, Simone Tini	Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.	ICTAC	2018	DBLP DOI BibTeX RDF
15	Achim Blumensath, Felix Wolf 0002	Bisimulation Invariant Monadic-Second Order Logic in the Finite.	ICALP	2018	DBLP DOI BibTeX RDF
15	Thi Hong Khanh Nguyen, Quang-Thuy Ha, Trong Hieu Tran	A Learning Method based on Bisimulation in Inconsistent Knowledge Systems.	ICARCV	2018	DBLP DOI BibTeX RDF
15	Xinxin Liu 0009, Tingting Yu, Wenhui Zhang	Logics for Bisimulation and Divergence.	FoSSaCS	2018	DBLP DOI BibTeX RDF
15	Sahar Mohajerani, Yiding Ji, Stéphane Lafortune	Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions.	CDC	2018	DBLP DOI BibTeX RDF
15	James Ferlez, Rance Cleaveland, Steven I. Marcus	Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees.	CDC	2018	DBLP DOI BibTeX RDF
15	Barbara König 0001, Christina Mika-Michalski	(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras.	CONCUR	2018	DBLP DOI BibTeX RDF
15	Arpit Sharma 0002	Non-bisimulation Based Behavioral Relations for Markov Automata.	FORMATS	2018	DBLP DOI BibTeX RDF
15	Daniel Gburek	Stochastic transition systems: bisimulation, logic, and composition.		2018	RDF
15	Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen	Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.	Synth.	2017	DBLP DOI BibTeX RDF
15	Yanfang Ma, Haiyu Pan	The Approximate Correctness of Systems Based on δ-bisimulation.	ISDT	2017	DBLP DOI BibTeX RDF
15	Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs	An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
15	Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva 0001	Enhanced coalgebraic bisimulation.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	Dimitrios Kouzapas, Jorge A. Pérez 0001, Nobuko Yoshida	Characteristic bisimulation for higher-order session processes.	Acta Informatica	2017	DBLP DOI BibTeX RDF