Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. |
Sci. Comput. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Benjamin Aminof, Aniello Murano, Sasha Rubin |
On CTL* with Graded Path Modalities. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Byron Cook, Heidy Khlaaf, Nir Piterman |
On Automation of CTL* Verification for Infinite-State Systems. |
CAV (1) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Lingyun Situ, Lingzhong Zhao |
CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. |
APSEC |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Martin Lück, Arne Meier, Irina Schindler |
Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Kailiang Ji |
CTL Model Checking in Deduction Modulo. |
CADE |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Norihiro Kamide, Daiki Koizumi |
Combining Paraconsistency and Probability in CTL. |
ICAART (2) |
2015 |
DBLP BibTeX RDF |
|
18 | Andreas Krebs, Arne Meier, Jonni Virtema |
A Team Based Variant of CTL. |
TIME |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Krebs, Arne Meier, Martin Mundhenk |
The Model Checking Fingerprints of CTL Operators. |
TIME |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Lubos Brim, Milan Ceska 0002, Martin Demko, Samuel Pastva, David Safránek |
Parameter Synthesis by Parallel Coloured CTL Model Checking. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Lan Zhang 0001, Ullrich Hustadt, Clare Dixon |
A resolution calculus for the branching-time temporal logic CTL. |
ACM Trans. Comput. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Gava, Franck Pommereau, Michaël Guedj |
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. |
J. Supercomput. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Xiaohong Tian, Rui Xu 0003 |
Global stability and Hopf bifurcation of an HIV-1 infection model with saturation incidence and delayed CTL immune response. |
Appl. Math. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Miguel Carrillo, David A. Rosenblueth |
CTL update of Kripke models through protections. |
Artif. Intell. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Fu Song, Tayssir Touili |
Efficient CTL model-checking for pushdown systems. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Martin Lück, Arne Meier, Irina Schindler |
Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies. |
Electron. Colloquium Comput. Complex. |
2014 |
DBLP BibTeX RDF |
|
18 | Benjamin Aminof, Aniello Murano, Sasha Rubin |
Satisfiability and Model Checking of CTL* with Graded Path Modalities. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | François Laroussinie, Nicolas Markey |
Quantified CTL: Expressiveness and Complexity. |
Log. Methods Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Martin Lück, Arne Meier, Irina Schindler |
Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko |
CTL+FO Verification as Constraint Solving. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | Thea Hogan, Ulrich D. Kadolsky, Sim Tung, Benedict Seddon, Andrew J. Yates |
Spatial Heterogeneity and Peptide Availability Determine CTL Killing Efficiency In Vivo. |
PLoS Comput. Biol. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Christiaan H. van Dorp, Michiel van Boven, Rob J. De Boer |
Immuno-epidemiological Modeling of HIV-1 Predicts High Heritability of the Set-Point Virus Load, while Selection for CTL Escape Dominates Virulence Evolution. |
PLoS Comput. Biol. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Marjet Elemans, Arnaud Florins, Luc Willems, Becca Asquith |
Rates of CTL Killing in Persistent Viral Infection In Vivo. |
PLoS Comput. Biol. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Cuifang Lv, Lihong Huang, Zhaohui Yuan |
Global stability for an HIV-1 infection model with Beddington-DeAngelis incidence rate and CTL immune response. |
Commun. Nonlinear Sci. Numer. Simul. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
Model Checking of CTL-Extended OCL Specifications. |
SLE |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko |
CTL+FO verification as constraint solving. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Amirhossein Vakili, Nancy A. Day |
Verifying CTL-live properties of infinite state models using an SMT solver. |
SIGSOFT FSE |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Benjamin Zarrieß, Jens Claßen |
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. |
ECAI |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Rajeev Goré |
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. |
IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl |
MocOCL: A Model Checker for CTL-Extended OCL Specifications. |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
18 | Christian Doczkal, Gert Smolka |
Completeness and Decidability Results for CTL in Coq. |
ITP |
2014 |
DBLP DOI BibTeX RDF |
|
18 | John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Fairness with EXPTIME Bundled CTL Tableau. |
TIME |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Miloud Bennama, Thouraya Bouabana-Tebibel |
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
18 | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
CTL Model Checking in the Cloud Using MapReduce. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Amirhossein Vakili, Nancy A. Day |
Reducing CTL-live model checking to first-order logic validity checking. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed M. Elaiw, Robba M. Abukwaik, Ebraheem O. Alzahrani |
Global Stability of HIV Infection of CD4+ T Cells and Macrophages with CTL Immune Response and Distributed Delays. |
Comput. Math. Methods Medicine |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
An Experiment on Parallel Model Checking of a CTL Fragment |
CoRR |
2013 |
DBLP BibTeX RDF |
|
18 | Claudia Carapelle, Alexander Kartzow, Markus Lohrey |
Satisfiability of CTL* with constraints. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
18 | Mark Reynolds 0001 |
A Faster Tableau for CTL. |
GandALF |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Dimitar P. Guelev |
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |
Distributed CTL Model Checking in the Cloud. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
18 | Qihui Wang, Lijun Xie, Bo Zhu, Yao Zheng, Shihua Cao |
Harmful Gas Recognition Exploiting a CTL Sensor Array. |
Sensors |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Hongying Shu, Lin Wang 0018, James Watmough |
Global Stability of a Nonlinear Viral Infection Model with Infinitely Distributed Intracellular Delays and CTL Immune Responses. |
SIAM J. Appl. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Philippe Balbiani, Emiliano Lorini |
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. |
WoLLIC |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales |
A CTL Model Checker for Stochastic Automata Networks. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Furkan Ercan, Ali Muhtaroglu |
Energy-delay performance of capacitive threshold logic (CTL) circuits for threshold detection. |
ICEAC |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard |
Local Model Checking of Weighted CTL with Upper-Bound Constraints. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Florin Stoica, Laura Florentina Stoica |
Building a new CTL model checker using Web services. |
SoftCOM |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Paulo T. Guerra, Aline Andrade, Renata Wassermann |
Toward the Revision of CTL Models through Kripke Modal Transition Systems. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Asma Zoghlami, Cyril De Runz, Herman Akdag |
Through a Fuzzy CTL Logic for Modelling Urban Trajectories - A Framework for Modelling City Evolution from Past to Future. |
ICAART (2) |
2013 |
DBLP BibTeX RDF |
|
18 | Claudia Carapelle, Alexander Kartzow, Markus Lohrey |
Satisfiability of CTL* with Constraints. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica |
A Distributed CTL Model Checker. |
DCNET/ICE-B/OPTICS |
2013 |
DBLP BibTeX RDF |
|
18 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
A Timed CTL Model Checker for Real-Time Maude. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari |
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. |
Description Logics |
2013 |
DBLP BibTeX RDF |
|
18 | Daniel Stöhr, Sabine Glesner |
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Yueping Dong, Wanbiao Ma |
Global Properties for a Class of Latent HIV Infection Dynamics Model with CTL Immune Response. |
Int. J. Wavelets Multiresolution Inf. Process. |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Xia Wang, Ahmed M. Elaiw, Xinyu Song 0001 |
Global properties of a delayed HIV infection model with CTL immune response. |
Appl. Math. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
18 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting CTL |
Log. Methods Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Mohand Cherif Boukala, Laure Petrucci |
Distributed model-checking and counterexample search for CTL logic. |
Int. J. Crit. Comput. Based Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
Incremental, Inductive CTL Model Checking. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Junaid Jameel Ahmad, Shujun Li, Ahmad-Reza Sadeghi, Thomas Schneider 0003 |
CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm. |
Financial Cryptography |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
An Experiment on Parallel Model Checking of a CTL Fragment. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
18 | John Christopher McCabe-Dansted |
A Tableau for the Combination of CTL and BCTL*. |
TIME |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Fu Song, Tayssir Touili |
PuMoC: a CTL model-checker for sequential programs. |
ASE |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
Timed CTL Model Checking in Real-Time Maude. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Gava, Michaël Guedj, Franck Pommereau |
A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. |
PDCAT |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Dimitar P. Guelev, Mads Dam |
An Epistemic Predicate CTL* for Finite Control π-Processes. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Huiyan Zhu, Yang Luo, Meiling Chen |
Stability and Hopf bifurcation of a HIV infection model with CTL-response delay. |
Comput. Math. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Radu Mateescu 0001, Pedro T. Monteiro 0001, Estelle Dumas, Hidde de Jong |
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers |
A linear translation from CTL* to the first-order modal μ -calculus. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Yulin Ding, Yan Zhang |
CTL Model Update for System Modifications |
CoRR |
2011 |
DBLP BibTeX RDF |
|
18 | Margherita Napoli, Mimmo Parente |
Graded CTL Model Checking for Test Generation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
18 | Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas 0001, Heribert Vollmer |
Model Checking CTL is Almost Always Inherently Sequential |
Log. Methods Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Pieter Collins, Ivan S. Zapreev |
Computable Semantics for CTL* on Discrete-Time and Continuous-Space Dynamic Systems. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Junaid Jameel Ahmad, Shujun Li, Ahmad-Reza Sadeghi, Thomas Schneider 0003 |
CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm. |
IACR Cryptol. ePrint Arch. |
2011 |
DBLP BibTeX RDF |
|
18 | Andrew J. Yates, Minus Van Baalen, Rustom Antia |
Virus Replication Strategies and the Critical CTL Numbers Required for the Control of Infection. |
PLoS Comput. Biol. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Marjet Elemans, Rodolphe Thiébaut, Amitinder Kaur, Becca Asquith |
Quantification of the Relative Importance of CTL, B Cell, NK Cell, and Target Cell Limitation in the Control of Primary SIV-Infection. |
PLoS Comput. Biol. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Mark Reynolds 0001 |
A tableau-based decision procedure for CTL. |
Formal Aspects Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Morgenstern, Klaus Schneider 0001 |
Program Sketching via CTL* Model Checking. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Miguel Carrillo, David A. Rosenblueth |
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Margherita Napoli, Mimmo Parente |
Graded CTL model checking for test generation. |
SpringSim (TMS-DEVS) |
2011 |
DBLP BibTeX RDF |
|
18 | Rajeev Goré, Jimmy Thomson 0001, Florian Widmann |
An Experimental Comparison of Theorem Provers for CTL. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Fu Song, Tayssir Touili |
Efficient CTL Model-Checking for Pushdown Systems. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Zhaoxia Wang, Jianmin Wang 0001, Lijie Wen, Guiming Luo |
Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL. |
ICEIS (3) |
2011 |
DBLP BibTeX RDF |
|
18 | Lan Zhang 0001, Ullrich Hustadt, Clare Dixon |
CTL-RP: A computation tree logic resolution prover. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Yu Ji, Lequan Min, Yu Zheng, Yongmei Su |
A viral infection model with periodic immune response and nonlinear CTL response. |
Math. Comput. Simul. |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Mohamed Khalgui |
NCES-based modelling and CTL-based verification of reconfigurable embedded control systems. |
Comput. Ind. |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen |
Model-checking CTL* over flat Presburger counter systems. |
J. Appl. Non Class. Logics |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Martin Lange, Markus Latte |
A CTL-Based Logic for Program Abstractions. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino 0002 |
A NuSMV Extension for Graded-CTL Model Checking. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Kai Engelhardt, Ralf Huuck |
Smaller Abstractions for FOR ALL CTL* without Next. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
18 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting CTL. |
FoSSaCS |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Yulin Ding, David Hemer |
An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. |
PRICAI |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Oliver Friedmann, Markus Latte, Martin Lange |
A Decision Procedure for CTL* Based on Tableaux and Automata. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
18 | John Christopher McCabe-Dansted, Clare Dixon |
CTL-Like Fragments of a Temporal Logic of Robustness. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Ammar Mohammed, Ulrich Furbach |
Extending CTL to Specify Quantitative Temporal Requirements. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
18 | Ruifeng Xu, Chunyu Kit |
Incorporating Feature-based and Similarity-based Opinion Mining - CTL in NTCIR-8 MOAT. |
NTCIR |
2010 |
DBLP BibTeX RDF |
|
18 | Paulo T. Guerra, Renata Wassermann |
Revision of CTL Models. |
IBERAMIA |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Jan M. Broersen |
CTL.STIT: enhancing ATL to express important multi-agent system verification properties. |
AAMAS |
2010 |
DBLP BibTeX RDF |
|