Search results for "CTL*"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl	Model Checking of CTL-Extended OCL Specifications.	SLE	2014	DBLP DOI BibTeX RDF
17	Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko	CTL+FO verification as constraint solving.	SPIN	2014	DBLP DOI BibTeX RDF
17	Amirhossein Vakili, Nancy A. Day	Verifying CTL-live properties of infinite state models using an SMT solver.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
17	Benjamin Zarrieß, Jens Claßen	Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions.	ECAI	2014	DBLP DOI BibTeX RDF
17	Rajeev Goré	And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL.	IJCAR	2014	DBLP DOI BibTeX RDF
17	Clifford Ting, Mohammad Sadegh Jalali, Ali Sheikholeslami, Masaya Kibune, Hirotaka Tamura	A blind ADC-based CDR with digital data interpolation and adaptive CTLE and DFE.	CICC	2014	DBLP DOI BibTeX RDF
17	Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl	MocOCL: A Model Checker for CTL-Extended OCL Specifications.	VOLT@STAF	2014	DBLP BibTeX RDF
17	Takayuki Shibasaki, Win Chaivipas, Yanfei Chen, Yoshiyasu Doi, Takayuki Hamada, Hideki Takauchi, Toshihiko Mori, Yoichi Koyanagi, Hirotaka Tamura	A 56-Gb/s receiver front-end with a CTLE and 1-tap DFE in 20-nm CMOS.	VLSIC	2014	DBLP DOI BibTeX RDF
17	Christian Doczkal, Gert Smolka	Completeness and Decidability Results for CTL in Coq.	ITP	2014	DBLP DOI BibTeX RDF
17	John Christopher McCabe-Dansted, Mark Reynolds 0001	Fairness with EXPTIME Bundled CTL Tableau.	TIME	2014	DBLP DOI BibTeX RDF
17	Miloud Bennama, Thouraya Bouabana-Tebibel	Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.	VECoS	2014	DBLP BibTeX RDF
17	Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga	CTL Model Checking in the Cloud Using MapReduce.	SYNASC	2014	DBLP DOI BibTeX RDF
17	Amirhossein Vakili, Nancy A. Day	Reducing CTL-live model checking to first-order logic validity checking.	FMCAD	2014	DBLP DOI BibTeX RDF
17	Yu Li, Hui Lin, Yuanzhi Zhang, Jie Chen 0009	Analysis of polarimetric features from CTLR compact polarimetric SAR data for discriminating oil slick damping status.	IGARSS	2014	DBLP DOI BibTeX RDF
17	Yoshiaki Muroya, Yoichi Enatsu, Huaixing Li	Global stability of a delayed HTLV-I infection model with a class of nonlinear incidence rates and CTLs immune response.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
17	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
17	Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu	An Experiment on Parallel Model Checking of a CTL Fragment	CoRR	2013	DBLP BibTeX RDF
17	Claudia Carapelle, Alexander Kartzow, Markus Lohrey	Satisfiability of CTL* with constraints.	CoRR	2013	DBLP BibTeX RDF
17	Mark Reynolds 0001	A Faster Tableau for CTL.	GandALF	2013	DBLP DOI BibTeX RDF
17	Dimitar P. Guelev	Reducing Validity in Epistemic ATL to Validity in Epistemic CTL	SR	2013	DBLP DOI BibTeX RDF
17	Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga	Distributed CTL Model Checking in the Cloud.	CoRR	2013	DBLP BibTeX RDF
17	Qihui Wang, Lijun Xie, Bo Zhu, Yao Zheng, Shihua Cao	Harmful Gas Recognition Exploiting a CTL Sensor Array.	Sensors	2013	DBLP DOI BibTeX RDF
17	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
17	Philippe Balbiani, Emiliano Lorini	Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.	WoLLIC	2013	DBLP DOI BibTeX RDF
17	Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales	A CTL Model Checker for Stochastic Automata Networks.	QEST	2013	DBLP DOI BibTeX RDF
17	Furkan Ercan, Ali Muhtaroglu	Energy-delay performance of capacitive threshold logic (CTL) circuits for threshold detection.	ICEAC	2013	DBLP DOI BibTeX RDF
17	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
17	Florin Stoica, Laura Florentina Stoica	Building a new CTL model checker using Web services.	SoftCOM	2013	DBLP DOI BibTeX RDF
17	Paulo T. Guerra, Aline Andrade, Renata Wassermann	Toward the Revision of CTL Models through Kripke Modal Transition Systems.	SBMF	2013	DBLP DOI BibTeX RDF
17	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
17	Samir Parikh, Tony Kao, Yasuo Hidaka, Jian Jiang, Asako Toda, Scott McLeod, William W. Walker, Yoichi Koyanagi, Toshiyuki Shibuya, Jun Yamada	A 32Gb/s wireline receiver with a low-frequency equalizer, CTLE and 2-tap DFE in 28nm CMOS.	ISSCC	2013	DBLP DOI BibTeX RDF
17	Claudia Carapelle, Alexander Kartzow, Markus Lohrey	Satisfiability of CTL* with Constraints.	CONCUR	2013	DBLP DOI BibTeX RDF
17	Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica	A Distributed CTL Model Checker.	DCNET/ICE-B/OPTICS	2013	DBLP BibTeX RDF
17	Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky	A Timed CTL Model Checker for Real-Time Maude.	CALCO	2013	DBLP DOI BibTeX RDF
17	Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari	Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL.	Description Logics	2013	DBLP BibTeX RDF
17	Daniel Stöhr, Sabine Glesner	Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking.	TASE	2013	DBLP DOI BibTeX RDF
17	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
17	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
17	François Laroussinie, Antoine Meyer, Eudes Petonnet	Counting CTL	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	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
17	Zyad Hassan, Aaron R. Bradley, Fabio Somenzi	Incremental, Inductive CTL Model Checking.	CAV	2012	DBLP DOI BibTeX RDF
17	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
17	Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu	An Experiment on Parallel Model Checking of a CTL Fragment.	ATVA	2012	DBLP DOI BibTeX RDF
17	John Christopher McCabe-Dansted	A Tableau for the Combination of CTL and BCTL*.	TIME	2012	DBLP DOI BibTeX RDF
17	Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey	Quantified CTL: Expressiveness and Model Checking - (Extended Abstract).	CONCUR	2012	DBLP DOI BibTeX RDF
17	Fu Song, Tayssir Touili	PuMoC: a CTL model-checker for sequential programs.	ASE	2012	DBLP DOI BibTeX RDF
17	Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky	Timed CTL Model Checking in Real-Time Maude.	WRLA	2012	DBLP DOI BibTeX RDF
17	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
17	Dimitar P. Guelev, Mads Dam	An Epistemic Predicate CTL* for Finite Control π-Processes.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
17	Jie Chen 0009, Shaun Quegan	Calibration of Spaceborne CTLR Compact Polarimetric Low-Frequency SAR Using Mixed Radar Calibrators.	IEEE Trans. Geosci. Remote. Sens.	2011	DBLP DOI BibTeX RDF
17	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
17	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
17	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
17	Yulin Ding, Yan Zhang	CTL Model Update for System Modifications	CoRR	2011	DBLP BibTeX RDF
17	Margherita Napoli, Mimmo Parente	Graded CTL Model Checking for Test Generation	CoRR	2011	DBLP BibTeX RDF
17	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
17	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
17	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
17	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
17	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
17	Mark Reynolds 0001	A tableau-based decision procedure for CTL.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
17	Andreas Morgenstern, Klaus Schneider 0001	Program Sketching via CTL* Model Checking.	SPIN	2011	DBLP DOI BibTeX RDF
17	Miguel Carrillo, David A. Rosenblueth	Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections.	ATVA	2011	DBLP DOI BibTeX RDF
17	Margherita Napoli, Mimmo Parente	Graded CTL model checking for test generation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
17	Rajeev Goré, Jimmy Thomson 0001, Florian Widmann	An Experimental Comparison of Theorem Provers for CTL.	TIME	2011	DBLP DOI BibTeX RDF
17	Fu Song, Tayssir Touili	Efficient CTL Model-Checking for Pushdown Systems.	CONCUR	2011	DBLP DOI BibTeX RDF
17	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
17	Lan Zhang 0001, Ullrich Hustadt, Clare Dixon	CTL-RP: A computation tree logic resolution prover.	AI Commun.	2010	DBLP DOI BibTeX RDF
17	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
17	Mohamed Khalgui	NCES-based modelling and CTL-based verification of reconfigurable embedded control systems.	Comput. Ind.	2010	DBLP DOI BibTeX RDF
17	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
17	Martin Lange, Markus Latte	A CTL-Based Logic for Program Abstractions.	WoLLIC	2010	DBLP DOI BibTeX RDF
17	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
17	Kai Engelhardt, Ralf Huuck	Smaller Abstractions for FOR ALL CTL* without Next.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
17	François Laroussinie, Antoine Meyer, Eudes Petonnet	Counting CTL.	FoSSaCS	2010	DBLP DOI BibTeX RDF
17	Yulin Ding, David Hemer	An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update.	PRICAI	2010	DBLP DOI BibTeX RDF
17	Oliver Friedmann, Markus Latte, Martin Lange	A Decision Procedure for CTL* Based on Tableaux and Automata.	IJCAR	2010	DBLP DOI BibTeX RDF
17	John Christopher McCabe-Dansted, Clare Dixon	CTL-Like Fragments of a Temporal Logic of Robustness.	TIME	2010	DBLP DOI BibTeX RDF
17	Ammar Mohammed, Ulrich Furbach	Extending CTL to Specify Quantitative Temporal Requirements.	MSVVEIS	2010	DBLP BibTeX RDF
17	Ruifeng Xu, Chunyu Kit	Incorporating Feature-based and Similarity-based Opinion Mining - CTL in NTCIR-8 MOAT.	NTCIR	2010	DBLP BibTeX RDF
17	Paulo T. Guerra, Renata Wassermann	Revision of CTL Models.	IBERAMIA	2010	DBLP DOI BibTeX RDF
17	Jan M. Broersen	CTL.STIT: enhancing ATL to express important multi-agent system verification properties.	AAMAS	2010	DBLP BibTeX RDF
17	Sinu Paul, Helen Piontkivska	Highly conserved and associated HIV-1 CTL and T-Helper epitopes in global HIV-1 population: potential candidates for multi-epitope HIV-1 vaccine.	BCB	2010	DBLP DOI BibTeX RDF
17	Francesco Poli	Symbolic model checking of real-time CTL properties over preemptive time petri nets.		2010	RDF
17	Alessandro Ferrante, Margherita Napoli, Mimmo Parente	Model Checking for Graded CTL.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
17	Régis Gascon	An Automata-based Approach for CTL* With Constraints.	INFINITY	2009	DBLP DOI BibTeX RDF
17	Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
17	Xueyong Zhou, Xiangyun Shi, Zhonghua Zhang, Xinyu Song 0001	Dynamical behavior of a virus dynamics model with CTL immune response.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
17	Rohit Kapur, Paul Reuter, Sandeep Bhatia, Brion L. Keller	CTL and Its Usage in the EDA Industry.	IEEE Des. Test Comput.	2009	DBLP DOI BibTeX RDF
17	Frederik Graw, Roland R. Regoes	Investigating CTL Mediated Killing with a 3D Cellular Automaton.	PLoS Comput. Biol.	2009	DBLP DOI BibTeX RDF
17	Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni	CTL AgentSpeak(L): A specification language for agent programs.	J. Algorithms	2009	DBLP DOI BibTeX RDF
17	Pawel Gluchowski	Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies.	DepCoS-RELCOMEX	2009	DBLP DOI BibTeX RDF
17	Christian Miller, Tobias Nopper, Christoph Scholl 0001	Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions.	MBMV	2009	DBLP BibTeX RDF
17	Bozena Wozna-Szczesniak	Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge.	CEE-SET	2009	DBLP DOI BibTeX RDF
17	Catalin Dima	Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL.	TIME	2009	DBLP DOI BibTeX RDF	timed automata, epistemic logics
17	Olaf Beyersdorff, Arne Meier, Michael Thomas 0001, Heribert Vollmer, Martin Mundhenk, Thomas Schneider 0002	Model Checking CTL is Almost Always Inherently Sequential.	TIME	2009	DBLP DOI BibTeX RDF	Model checking, complexity, temporal logic
17	Andrea Masini, Luca Viganò 0001, Marco Volpe 0001	A Labeled Natural Deduction System for a Fragment of CTL*.	LFCS	2009	DBLP DOI BibTeX RDF
17	Yan Zhang 0003, Yulin Ding	CTL Model Update for System Modifications.	J. Artif. Intell. Res.	2008	DBLP DOI BibTeX RDF
17	Jonathan M. Carlson, Zabrina L. Brumme, Christine M. Rousseau, Chanson J. Brumme, Philippa Matthews, Carl Myers Kadie, James I. Mullins, Bruce D. Walker, P. Richard Harrigan, Philip J. R. Goulder, David Heckerman	Phylogenetic Dependency Networks: Inferring Patterns of CTL Escape and Codon Covariation in HIV-1 Gag.	PLoS Comput. Biol.	2008	DBLP DOI BibTeX RDF
17	Dov M. Gabbay, Amir Pnueli	A Sound and Complete Deductive System for CTL* Verification.	Log. J. IGPL	2008	DBLP DOI BibTeX RDF