Search results for "CTL"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Paolo Felli, Marco Montali, Sarah Winkler	CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic.	IJCAR	2022	DBLP DOI BibTeX RDF
18	Norihiro Kamide, Seidai Kanbe	Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking.	ICAART (3)	2022	DBLP DOI BibTeX RDF
18	Florian Bruse, Martin Lange, Étienne Lozes	The Tail-Recursive Fragment of Timed Recursive CTL.	TIME	2022	DBLP DOI BibTeX RDF
18	Róbert Csordás, Kazuki Irie, Jürgen Schmidhuber	CTL++: Evaluating Generalization on Never-Seen Compositional Patterns of Known Functions, and Compatibility of Neural Representations.	EMNLP	2022	DBLP DOI BibTeX RDF
18	Xin-Cheng Wen, Jiaxin Ye, Yan Luo, Yong Xu, Xuan-Ze Wang, Chang-Li Wu, Kun-Hong Liu 0001	CTL-MTNet: A Novel CapsNet and Transfer Learning-Based Mixed Task Net for Single-Corpus and Cross-Corpus Speech Emotion Recognition.	IJCAI	2022	DBLP DOI BibTeX RDF
18	Kai Qi, Daqing Jiang, Tasawar Hayat, Ahmed Alsaedi	Virus dynamic behavior of a stochastic HIV/AIDS infection model including two kinds of target cell infections and CTL immune responses.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
18	Ruiqing Shi, Ting Lu, Cuihong Wang	Dynamic analysis of a fractional-order model for HIV with drug-resistance and CTL immune response.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
18	Sutimin, Karunia Putra Wijaya, Joseph Páez Chávez, Tianhai Tian	An in-host HIV-1 infection model incorporating quiescent and activated CD4+ T cells as well as CTL response.	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
18	John Boscoh H. Njagarah, Farai Nyabadza, Moatlhodi Kgosimore, Cang Hui	Significance of antiviral therapy and CTL-mediated immune response in containing hepatitis B and C virus infection.	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
18	Qi Deng, Ting Guo, Zhipeng Qiu, Libin Rong	Modeling the Effect of Reactive Oxygen Species and CTL Immune Response on HIV Dynamics.	Int. J. Bifurc. Chaos	2021	DBLP DOI BibTeX RDF
18	Anton R. Gnatenko, Vladimir A. Zakharov	On the Model Checking Problem for Some Extension of CTL.	Autom. Control. Comput. Sci.	2021	DBLP DOI BibTeX RDF
18	Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle	Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.	Trans. Petri Nets Other Model. Concurr.	2021	DBLP DOI BibTeX RDF
18	Torsten Liebke, Karsten Wolf	Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach.	Trans. Petri Nets Other Model. Concurr.	2021	DBLP DOI BibTeX RDF
18	Dong Wang, Jing Liu 0012, Jin Xu 0002, Haiying Sun, Jiexiang Kang	A Novel Approach of CTL Model Checking Based on Probe Machine.	SEKE	2021	DBLP DOI BibTeX RDF
18	Deng Zhao, Zhangbing Zhou, Xiao Xue 0001, Zhuofeng Zhao, Walid Gaaloul, Wenbo Zhang 0006	CTL-Based Dynamic IoT Service Composition.	ICWS	2021	DBLP DOI BibTeX RDF
18	Florian Bruse, Martin Lange	Model Checking Timed Recursive CTL.	TIME	2021	DBLP DOI BibTeX RDF
18	Leifeng He, Guanjun Liu	Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order.	TASE	2021	DBLP DOI BibTeX RDF
18	Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker	Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines.	SEFM	2021	DBLP DOI BibTeX RDF
18	Robert Willie, Pan Zheng 0002, Nabendra Parumasur, Chunlai Mu	Asymptotic and Stability Dynamics of an HIV-1-Cytotoxic T Lymphocytes (CTL) Chemotaxis Model.	J. Nonlinear Sci.	2020	DBLP DOI BibTeX RDF
18	Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski	Generalized abstraction-refinement for game-based CTL lifted model checking.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
18	Aleksandar S. Dimovski	$\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
18	Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu	On Sufficient and Necessary Conditions in Bounded CTL.	CoRR	2020	DBLP BibTeX RDF
18	Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek	Parallel parameter synthesis algorithm for hybrid CTL.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
18	Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà	A CTL* Model Checker for Petri Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
18	Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac	Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.	WPES@CCS	2020	DBLP DOI BibTeX RDF
18	Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul	On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.	ICSOFT (Selected Papers)	2020	DBLP DOI BibTeX RDF
18	Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul	On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.	ICSOFT	2020	DBLP DOI BibTeX RDF
18	Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio	One-Pass Context-Based Tableaux Systems for CTL and ECTL.	TIME	2020	DBLP DOI BibTeX RDF
18	Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim	Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.	CMSB	2020	DBLP DOI BibTeX RDF
18	Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu	On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.	KR	2020	DBLP DOI BibTeX RDF
18	Daniel Hausmann 0001, Tadeusz Litak, Christoph Rauch, Matthias Zinner	Cheap CTL Compassion in NuSMV.	VMCAI	2020	DBLP DOI BibTeX RDF
18	Pengzhan Nie, Jiulei Jiang, Zhanyou Ma	CTL Symbolic Model Checking Based on Fuzzy Logic.	DASC/PiCom/CBDCom/CyberSciTech	2020	DBLP DOI BibTeX RDF
18	Tayssir Touili, Xin Ye 0007	CTL Model Checking of Self Modifying Code.	ICECCS	2020	DBLP DOI BibTeX RDF
18	Andreas Krebs, Arne Meier, Martin Mundhenk	The model checking fingerprints of CTL operators.	Acta Informatica	2019	DBLP DOI BibTeX RDF
18	Masoud Ebrahimi 0002, Gholamreza Sotudeh, Ali Movaghar 0001	Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.	Acta Informatica	2019	DBLP DOI BibTeX RDF
18	Khalid Hattaf	Spatiotemporal Dynamics of a Generalized Viral Infection Model with Distributed Delays and CTL Immune Response.	Comput.	2019	DBLP DOI BibTeX RDF
18	Akash Hossain, François Laroussinie	From Quantified CTL to QBF.	CoRR	2019	DBLP BibTeX RDF
18	Weijun Zhu	Experimental Study on CTL model checking using Machine Learning.	CoRR	2019	DBLP BibTeX RDF
18	Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski	Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version).	CoRR	2019	DBLP BibTeX RDF
18	Weijun Zhu, Yingjie Han, Qinglei Zhou	Performing CTL model checking via DNA computing.	Soft Comput.	2019	DBLP DOI BibTeX RDF
18	Rafat Alshorman	Toward proving the correctness of TCP protocol using CTL.	Int. Arab J. Inf. Technol.	2019	DBLP BibTeX RDF
18	Jinyan Zhu, Ruguang Zhou	A vector CTL-RTL hierarchy with bi-Hamiltonian structure.	Appl. Math. Lett.	2019	DBLP DOI BibTeX RDF
18	Fateh Latreche, Faiza Belala	Timed CTL checking of time critical cloud applications using timed bigraphs.	Int. J. Crit. Comput. Based Syst.	2019	DBLP DOI BibTeX RDF
18	Xie Lili, Zhai Zhigang	Formal Specification of Concurrent Enforcement UCON Model with CTL Logic.	ICAIS (2)	2019	DBLP DOI BibTeX RDF
18	Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle	On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
18	Torsten Liebke, Karsten Wolf	Taking Some Burden Off an Explicit CTL Model Checker.	Petri Nets	2019	DBLP DOI BibTeX RDF
18	Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi	R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems.	ENASE	2019	DBLP DOI BibTeX RDF
18	Norihiro Kamide, Juan Pedro Altamirano Bernal	Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work.	ICAART (2)	2019	DBLP DOI BibTeX RDF
18	Norihiro Kamide, Yuki Yano	Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations.	ICAART (2)	2019	DBLP DOI BibTeX RDF
18	Serenella Cerrito, Amélie David 0001, Valentin Goranko	Minimisation of Models Satisfying CTL Formulas.	TIME	2019	DBLP DOI BibTeX RDF
18	Akash Hossain, François Laroussinie	From Quantified CTL to QBF.	TIME	2019	DBLP DOI BibTeX RDF
18	Lanlan Dong, Guanjun Liu, Dongming Xiang	BUCKER 2.0: An Unfolding Based Checker for CTL.	ICNSC	2019	DBLP DOI BibTeX RDF
18	Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski	Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL.	FASE	2019	DBLP DOI BibTeX RDF
18	Florian Kammüller	Attack Trees in Isabelle - CTL semantics, correctness and completeness.	CoRR	2018	DBLP BibTeX RDF
18	Jan Kretínský, Alexej Rotar	The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL.	CoRR	2018	DBLP BibTeX RDF
18	Aleksandar S. Dimovski	Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version).	CoRR	2018	DBLP BibTeX RDF
18	Karam Allali, Sanaa Harroudi, Delfim F. M. Torres	Analysis and Optimal Control of an Intracellular Delayed HIV Model with CTL Immune Response.	Math. Comput. Sci.	2018	DBLP DOI BibTeX RDF
18	Dominik Wodarz, Pamela J. Skinner, David N. Levy, Elizabeth Connick	Virus and CTL dynamics in the extrafollicular and follicular tissue compartments in SIV-infected macaques.	PLoS Comput. Biol.	2018	DBLP DOI BibTeX RDF
18	Benjamin Aminof, Aniello Murano, Sasha Rubin	CTL* with graded path modalities.	Inf. Comput.	2018	DBLP DOI BibTeX RDF
18	Chuan Jiang, Gianfranco Ciardo	Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse.	LPAR	2018	DBLP DOI BibTeX RDF
18	Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba	Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.	Petri Nets	2018	DBLP DOI BibTeX RDF
18	Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar	RERS 2018: CTL, LTL, and Reachability.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
18	Udi Boker, Yariv Shaulian	Automaton-Based Criteria for Membership in CTL.	LICS	2018	DBLP DOI BibTeX RDF
18	Loredana Sorrentino, Sasha Rubin, Aniello Murano	Graded CTL* over Finite Paths.	ICTCS	2018	DBLP BibTeX RDF
18	Caterina Urban, Samuel Ueltschi, Peter Müller 0001	Abstract Interpretation of CTL Properties.	SAS	2018	DBLP DOI BibTeX RDF
18	Chuan Jiang, Gianfranco Ciardo	Generation of Minimum Tree-Like Witnesses for Existential CTL.	TACAS (1)	2018	DBLP DOI BibTeX RDF
18	Lanlan Dong, Guanjun Liu, Dongming Xiang	Verifying CTL with Unfoldings of Petri Nets.	ICA3PP (4)	2018	DBLP DOI BibTeX RDF
18	Jan Kretínský, Alexej Rotar	The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL.	CONCUR	2018	DBLP DOI BibTeX RDF
18	Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi	Efficient Parallel CTL Model-Checking for Pushdown Systems.	ISPA/IUCC/BDCloud/SocialCom/SustainCom	2018	DBLP DOI BibTeX RDF
18	Siti Ramadhani, Saide 0001, Richardus Eko Indrajit	Improving Creativity of Graphic Design for Deaf Students Using Contextual Teaching Learning Method (CTL).	ICISDM	2018	DBLP DOI BibTeX RDF
18	Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej	Verifying Temporal Trust Logic using CTL Model Checking.	TRUST@AAMAS	2018	DBLP BibTeX RDF
18	Aleksandar S. Dimovski	Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL$^{\star }$.	FASE	2018	DBLP DOI BibTeX RDF
18	Di Wang 0016, Hong Bao, Feifei Zhang	CTL-DNNet: Effective Circular Traffic Light Recognition with a Deep Neural Network.	Int. J. Pattern Recognit. Artif. Intell.	2017	DBLP DOI BibTeX RDF
18	Yan Wang, Daqing Jiang, Tasawar Hayat, Bashir Ahmad 0003	A stochastic HIV infection model with T-cell proliferation and CTL immune response.	Appl. Math. Comput.	2017	DBLP DOI BibTeX RDF
18	Yu Yang, Tonghua Zhang, Yancong Xu, Jinling Zhou	A Delayed Virus Infection Model with Cell-to-Cell Transmission and CTL Immune Response.	Int. J. Bifurc. Chaos	2017	DBLP DOI BibTeX RDF
18	Roderick Bloem, Sven Schewe, Ayrat Khalimov 0001	CTL* synthesis via LTL synthesis.	SYNT@CAV	2017	DBLP DOI BibTeX RDF
18	John Christopher McCabe-Dansted, Mark Reynolds 0001	Rewrite rules for CTL.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
18	Ayrat Khalimov 0001, Roderick Bloem	Bounded Synthesis for Streett, Rabin, and \text CTL^*.	CAV (2)	2017	DBLP DOI BibTeX RDF
18	Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland	CTL Model Checking with the Sweep-line State Space Exploration Method.	NIK	2017	DBLP BibTeX RDF
18	Sima Ahmadpour, Ali Khaleghi	Central Trouble Ticketing (CTT) System as a Communication Tool between Stakeholders of Center of Training and learning (CTL).	ICIME	2017	DBLP DOI BibTeX RDF
18	Fei Pu	Bounded Correctness Checking for Extended CTL Properties with Past Operators.	GSKI (2)	2017	DBLP DOI BibTeX RDF
18	Mihai-Lica Pura, Iulian Aciobanitei, Stefan-Adrian Toma, Didier Buchs	CTL formula evaluation by term rewriting inversion.	ECAI	2017	DBLP DOI BibTeX RDF
18	Yiwang Huang, Zaiwen Feng, Keqing He, Songjin Xu	Compliance Analysis of Configurable Business Process Model Based on Extend CTL.	BigData Congress	2017	DBLP DOI BibTeX RDF
18	Valentin Goranko, Antti Kuusisto, Raine Rönnholm	CTL with Finitely Bounded Semantics.	TIME	2017	DBLP DOI BibTeX RDF
18	Norbert Hundeshagen, Martin Lange	Model Checking CTL over Restricted Classes of Automatic Structures.	RP	2017	DBLP DOI BibTeX RDF
18	Jeremy Kong, Alessio Lomuscio	Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications.	AAMAS	2017	DBLP BibTeX RDF
18	Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga	Distributed CTL model checking using MapReduce: theory and practice.	Concurr. Comput. Pract. Exp.	2016	DBLP DOI BibTeX RDF
18	Zohra Sbaï, Rawand Guerfel	CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling.	Int. J. Serv. Sci. Manag. Eng. Technol.	2016	DBLP DOI BibTeX RDF
18	Ting Guo, Haihong Liu, Chenglin Xu, Fang Yan	Dynamics of a Delayed HIV-1 Infection Model with Saturation Incidence Rate and CTL Immune Response.	Int. J. Bifurc. Chaos	2016	DBLP DOI BibTeX RDF
18	Yu Yang, Yancong Xu	Global stability of a diffusive and delayed virus dynamics model with Beddington-DeAngelis incidence function and CTL immune response.	Comput. Math. Appl.	2016	DBLP DOI BibTeX RDF
18	Hui Miao 0002, Zhidong Teng, Zhiming Li	Global Stability of Delayed Viral Infection Models with Nonlinear Antibody and CTL Immune Responses and General Incidence Rate.	Comput. Math. Methods Medicine	2016	DBLP DOI BibTeX RDF
18	Danny Arends, Yang Li 0036, Gudrun A. Brockmann, Ritsert C. Jansen, Robert W. Williams, Pjotr Prins	Correlation Trait Loci (CTL) mapping: phenotype network inference subject to genotype.	J. Open Source Softw.	2016	DBLP DOI BibTeX RDF
18	Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard	Efficient model-checking of weighted CTL with upper-bound constraints.	Int. J. Softw. Tools Technol. Transf.	2016	DBLP DOI BibTeX RDF
18	Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko	Efficient CTL Verification via Horn Constraints Solving.	HCVS@ETAPS	2016	DBLP DOI BibTeX RDF
18	Raphaël Berthon, Bastien Maubert, Aniello Murano	Quantified CTL with imperfect information.	CoRR	2016	DBLP BibTeX RDF
18	Miloud Bennama, Thouraya Bouabana-Tebibel	A CTL-based OCL extension using CPN ML for UML validation.	Int. J. Crit. Comput. Based Syst.	2016	DBLP DOI BibTeX RDF
18	Christian Doczkal, Gert Smolka	Completeness and Decidability Results for CTL in Constructive Type Theory.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
18	Tobias Klenze, Sam Bayless, Alan J. Hu	Fast, Flexible, and Minimal CTL Synthesis via SMT.	CAV (1)	2016	DBLP DOI BibTeX RDF
18	Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar	Probabilistic CTL*: The Deductive Way.	TACAS	2016	DBLP DOI BibTeX RDF
18	Andreas Krebs, Arne Meier, Martin Mundhenk	The model checking fingerprints of CTL operators.	CoRR	2015	DBLP BibTeX RDF