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