Search results for "CTL"

Hits ?▲	Authors	Title	Venue	Year	Link
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