|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 304 occurrences of 161 keywords
|
|
|
Results
Found 483 publication records. Showing 483 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 483 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|