Search results for "branching-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
117	E. Allen Emerson, Joseph Y. Halpern	"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.	POPL	1983	DBLP DOI BibTeX RDF
97	Rob J. van Glabbeek, W. P. Weijland	Branching Time and Abstraction in Bisimulation Semantics.	J. ACM	1996	DBLP DOI BibTeX RDF	process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time
87	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
75	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic.	VL	1995	DBLP DOI BibTeX RDF	branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
67	Edmund M. Clarke, I. A. Draghicescu	Expressibility results for linear-time and branching-time logics.	REX Workshop	1988	DBLP DOI BibTeX RDF	linear-time logic, temporal logic, fairness, computation tree logics, branching-time logic
64	Nuel Belnap	Norms in Branching Space-Times.	DEON	2008	DBLP DOI BibTeX RDF
55	Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith	State/Event Software Verification for Branching-Time Specifications.	IFM	2005	DBLP DOI BibTeX RDF	Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
55	Vladimir V. Rybakov	Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Logical consecutions, Admissible consecutions, Algorithms, Temporal logic, Decidability, Inference rules, Linear temporal logic, Branching time logic
50	Michaela Huhn, Peter Niebert	Towards Automata for Branching Time and Partial Order.	CONCUR	1996	DBLP DOI BibTeX RDF
50	Philippe Schnoebelen, Sophie Pinchinat	On the Weak Adequacy of Branching-Time Remporal Logic.	ESOP	1990	DBLP DOI BibTeX RDF
48	Alexander Bolotov, Michael Fisher 0001	A Resolution Method For CTL Branching-Time Temporal Logic.	TIME	1997	DBLP DOI BibTeX RDF	resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
48	Alexander Bolotov, Clare Dixon	Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.	TIME	2000	DBLP DOI BibTeX RDF	loop detection algorithm, temporal logics, resolution, automated deduction, branching-time
45	Panagiotis Manolios	A Compositional Theory of Refinement for Branching Time.	CHARME	2003	DBLP DOI BibTeX RDF
44	Orna Kupferman, Moshe Y. Vardi	Memoryful Branching-Time Logic.	LICS	2006	DBLP DOI BibTeX RDF
43	Wolfgang Thomas	Computation tree logic and regular omega-languages.	REX Workshop	1988	DBLP DOI BibTeX RDF	Büchi automata, Rabin tree automata, noncounting property, group-free monoids, computation tree logic, Branching time logic
41	Ron van der Meyden, Ka-Shu Wong	Complete Axiomatizations for Reasoning about Knowledge and Branching Time.	Stud Logica	2003	DBLP DOI BibTeX RDF	perfect recall, multi-agent systems, temporal logic, modal logic, epistemic logic, synchrony, logic of knowledge, branching time
41	Alberto Zanardo	Quantification over Sets of Possible Worlds in Branching-Time Semantics.	Stud Logica	2006	DBLP DOI BibTeX RDF	temporal logics, branching time
41	Michela Sabbadin, Alberto Zanardo	Topological Aspects of Branching-Time Semantics.	Stud Logica	2003	DBLP DOI BibTeX RDF	Semantics, Topology, Branching-Time
37	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation Perspective on Linear vs. Branching Time.	APLAS	2005	DBLP DOI BibTeX RDF
36	Véronique Cortier, Ralf Küsters, Bogdan Warinschi	A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols.	ESORICS	2007	DBLP DOI BibTeX RDF
36	Orna Bernholtz, Orna Grumberg	Branching Time Temporal Logic and Amorphous Tree Automata.	CONCUR	1993	DBLP DOI BibTeX RDF
36	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
36	Orna Kupferman, Moshe Y. Vardi, Pierre Wolper	An automata-theoretic approach to branching-time model checking.	J. ACM	2000	DBLP DOI BibTeX RDF
36	Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper	An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract).	CAV	1994	DBLP DOI BibTeX RDF
34	Markus Müller-Olm, Haiseung Yoo	MetaGame: An Animation Tool for Model-Checking Games.	TACAS	2004	DBLP DOI BibTeX RDF	model checking, animation, game, error diagnosis, branching time logic
33	Volker Weber	On the Complexity of Branching-Time Logics.	CSL	2009	DBLP DOI BibTeX RDF	complexity of satisfiability, pebble automata, alternating tree automata, forgettable past, CTL, branching-time logic
32	Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima	Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.	CAV	1990	DBLP DOI BibTeX RDF
31	Rob J. van Glabbeek	The Linear Time-Branching Time Spectrum (Extended Abstract).	CONCUR	1990	DBLP DOI BibTeX RDF
31	Leslie Lamport	"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs.	POPL	1980	DBLP DOI BibTeX RDF
30	Marco Ragni, Stefan Wölfl 0001	Branching Allen.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
30	Mathias Broxvall	The Point Algebra for Branching Time Revisited.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
29	Mordechai Ben-Ari, Zohar Manna, Amir Pnueli	The Temporal Logic of Branching Time.	POPL	1981	DBLP DOI BibTeX RDF
29	Sumit Nain, Moshe Y. Vardi	Branching vs. Linear Time: Semantical Perspective.	ATVA	2007	DBLP DOI BibTeX RDF
29	Xiaowei Huang 0001, Ron van der Meyden	Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
29	Guangping Qin, Jinzhao Wu	Branching Time Equivalences for Interactive Markov Chains.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
29	Christel Baier, Marta Z. Kwiatkowska	Model Checking for a Probabilistic Branching Time Logic with Fairness.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Probabilistic processes, Verification, Temporal logic, Fairness
29	Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima	Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic.	CAV	1992	DBLP DOI BibTeX RDF
29	Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis	Safety for Branching Time Semantics.	ICALP	1991	DBLP DOI BibTeX RDF
29	Chuchang Liu, Mehmet A. Orgun	BCTL: A Branching Clock Temporal Logic.	TIME	1997	DBLP DOI BibTeX RDF
28	Alessandro Fantechi, Stefania Gnesi, V. Perticaroli	An Expressive Logic for Basic Process Algebra.	MFCS	1993	DBLP DOI BibTeX RDF
26	Stefania Gnesi, Diego Latella, Mieke Massink	Model Checking UML Statechart Diagrams Using JACK.	HASE	1999	DBLP DOI BibTeX RDF	Branching Time Temporal Logics, Model Checking, UML, Formal Verification
26	Orna Kupferman, Moshe Y. Vardi	From linear time to branching time.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	alternation-free ?-calculus, Linear temporal logic
24	Luís Monteiro	A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum.	WADT	2008	DBLP DOI BibTeX RDF
24	J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer	Linear Time and Branching Time Semantics for Recursion with Merge.	ICALP	1983	DBLP DOI BibTeX RDF
24	Tomás Brázdil, Vojtech Forejt	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.	CONCUR	2007	DBLP DOI BibTeX RDF
23	Moshe Y. Vardi	Branching vs. Linear Time: Final Showdown.	TACAS	2001	DBLP DOI BibTeX RDF
23	Alexander Bolotov	A Clausal Resolution Method for Extended Computation Tree Logic ECTL.	TIME	2003	DBLP DOI BibTeX RDF
23	Alexander Moshe Rabinovich, Shahar Maoz	Why so Many Temporal Logics Climb up the Trees?	MFCS	2000	DBLP DOI BibTeX RDF
23	Alexander Bolotov, Clare Dixon, Michael Fisher 0001	Clausal Resolution for CTL*.	MFCS	1999	DBLP DOI BibTeX RDF
22	Youcef Hammal	Branching Time Semantics for UML 2.0 Sequence Diagrams.	FORTE	2006	DBLP DOI BibTeX RDF
22	Faisal N. Abu-Khzam, Michael A. Langston	A Direct Algorithm for the Parameterized Face Cover Problem.	IWPEC	2004	DBLP DOI BibTeX RDF
22	Govert van Drimmelen	Satisfiability in Alternating-time Temporal Logic.	LICS	2003	DBLP DOI BibTeX RDF
22	Michaela Huhn, Peter Niebert, Frank Wallner	Verification Based on Local States.	TACAS	1998	DBLP DOI BibTeX RDF
22	Thilo Hafer, Wolfgang Thomas	Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree.	ICALP	1987	DBLP DOI BibTeX RDF
22	Rotem Oshman, Orna Grumberg	A New Approach to Bounded Model Checking for Branching Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
22	Philippe Schnoebelen	Oracle Circuits for Branching-Time Model Checking.	ICALP	2003	DBLP DOI BibTeX RDF
22	Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima	Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic.	CAV	1991	DBLP DOI BibTeX RDF
22	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	Languages of Nested Trees.	CAV	2006	DBLP DOI BibTeX RDF
22	Seong-ick Moon, Kwang Hyung Lee, Doheon Lee	Fuzzy branching temporal logic.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
22	Pedro R. D'Argenio, Sjouke Mauw	Delayed choice for process algebra with abstraction.	CONCUR	1995	DBLP DOI BibTeX RDF
22	Barbara Paech	Gentzen-Systems for Propositional Temporal Logics.	CSL	1988	DBLP DOI BibTeX RDF
21	Edmund M. Clarke, E. Allen Emerson	Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
21	Philippe Schnoebelen	Model Checking Branching Time Logics.	TIME	2007	DBLP DOI BibTeX RDF
21	Alexander Bolotov, Artie Basukoski	A clausal resolution method for branching-time logic ECTL+.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
21	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001	Stochastic Games with Branching-Time Winning Objectives.	LICS	2006	DBLP DOI BibTeX RDF
21	Harald Fecher, Michael Huth 0001	Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.	ATVA	2006	DBLP DOI BibTeX RDF
21	Stefan Wölfl 0001	Events in Branching Time.	Stud Logica	2005	DBLP DOI BibTeX RDF	transitio, tree, Event, causality, state
21	Dennis Dams, Kedar S. Namjoshi	The Existence of Finite Abstractions for Branching Time Model Checking.	LICS	2004	DBLP DOI BibTeX RDF
21	Alexander Bolotov, Artie Basukoski	A Clausal Resolution Method for Branching-Time Logic ECTL+.	TIME	2004	DBLP DOI BibTeX RDF
21	Kedar S. Namjoshi	Abstraction for Branching Time Properties.	CAV	2003	DBLP DOI BibTeX RDF
21	Boumediene Belkhouche, R. Raymond Lang, Chung Wa Ng	A Branching Time Semantics for the Ada Rendezvous Mechanism.	HICSS (1)	1996	DBLP DOI BibTeX RDF
21	Javier Esparza, Astrid Kiehn	On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.	CAV	1995	DBLP DOI BibTeX RDF
19	Vladimir V. Rybakov	Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.	LFCS	2007	DBLP DOI BibTeX RDF	admissible inference rules, Temporal logic, linear temporal logic, branching time logic
19	Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001	A Temporal Logic of Robustness.	FroCoS	2007	DBLP DOI BibTeX RDF	RoCTL, QCTL, Robustness, Modal Logic, Decidability, Branching Time Logic
19	Lubos Brim, Karen Yorav, Jitka Zidkova	Assumption-based distribution of CTL model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Many-valuated logics, Model checking, Distributed algorithms, Branching time logics
19	Eiichi Horita	A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality.	REX Workshop	1992	DBLP DOI BibTeX RDF	local variables, local channels, concurrency, correctness, operational semantics, parameterization, metric spaces, denotational semantics, full abstraction, linear time, imperative languages, branching time, domain equations
19	E. Allen Emerson, Charanjit S. Jutla	The Complexity of Tree Automata and Logics of Programs (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	PDL-delta, infinite trees, nonemptiness algorithm, computational complexity, satisfiability, tree automata, finite-state automata, branching time logic, propositional dynamic logic, logics of programs, CTL*
19	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
18	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time Temporal Logic.	FOCS	1997	DBLP DOI BibTeX RDF
18	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-Time Temporal Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
18	Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny	Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2013	DBLP DOI BibTeX RDF
18	Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny	Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.	PNSE	2012	DBLP BibTeX RDF
16	Wojciech Penczek, Agata Pólrola	Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
16	Benjamin Bisping, David N. Jansen	Linear-Time-Branching-Time Spectroscopy Accounting for Silent Steps.	CoRR	2023	DBLP DOI BibTeX RDF
16	Benjamin Bisping, David N. Jansen, Uwe Nestmann	Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Walter Vogler, Gerald Lüttgen	Correction to: A linear-time branching-time perspective on interface automata.	Acta Informatica	2021	DBLP DOI BibTeX RDF
16	Arpit Sharma 0002	The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	Benjamin Bisping, Uwe Nestmann	Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy.	CoRR	2021	DBLP BibTeX RDF
16	Benjamin Bisping, Uwe Nestmann	A Game for Linear-time-Branching-time Spectroscopy.	TACAS (1)	2021	DBLP DOI BibTeX RDF
16	Walter Vogler, Gerald Lüttgen	A linear-time branching-time perspective on interface automata.	Acta Informatica	2020	DBLP DOI BibTeX RDF
16	Valentina Castiglioni, Michele Loreti, Simone Tini	The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
16	Uli Fahrenberg, Axel Legay	A linear-time-branching-time spectrum for behavioral specification theories.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
16	Arpit Sharma 0002	The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism.	ICTAC	2019	DBLP DOI BibTeX RDF
16	Ulrich Dorsch, Stefan Milius, Lutz Schröder	Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum.	CONCUR	2019	DBLP DOI BibTeX RDF
16	Ulrich Dorsch, Stefan Milius, Lutz Schröder	Graded Monads for the Linear Time - Branching Time Spectrum.	CoRR	2018	DBLP BibTeX RDF
16	Uli Fahrenberg, Axel Legay	A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories.	SOFSEM	2017	DBLP DOI BibTeX RDF
16	Uli Fahrenberg, Axel Legay	A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories.	CoRR	2016	DBLP BibTeX RDF
16	Uli Fahrenberg, Axel Legay	The quantitative linear-time-branching-time spectrum.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
16	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández	Unifying the Linear Time-Branching Time Spectrum of Process Semantics	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
16	Maciej Gazda, Wan J. Fokkink	Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics.	Comput. J.	2013	DBLP DOI BibTeX RDF