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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 36-56, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (3) ![In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 3, Online Streaming, February 3-5, 2022., pp. 242-252, 2022, SCITEPRESS, 978-989-758-547-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Florian Bruse, Martin Lange, Étienne Lozes |
The Tail-Recursive Fragment of Timed Recursive CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 5:1-5:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, EMNLP 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022., pp. 9758-9767, 2022, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022., pp. 2305-2311, 2022, ijcai.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 188, pp. 548-570, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 188, pp. 509-536, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 409, pp. 126410, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 397, pp. 125926, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 31(13), pp. 2150203:1-2150203:14, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Anton R. Gnatenko, Vladimir A. Zakharov |
On the Model Checking Problem for Some Extension of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 55(7), pp. 776-785, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency XV, pp. 165-183, 2021, Springer, 978-3-662-63078-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Torsten Liebke, Karsten Wolf |
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency XV, pp. 150-164, 2021, Springer, 978-3-662-63078-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 - July 10, 2021., pp. 183-188, 2021, KSI Research Inc., 1-891706-52-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2021 IEEE International Conference on Web Services, ICWS 2021, Chicago, IL, USA, September 5-10, 2021, pp. 381-388, 2021, IEEE, 978-1-6654-1681-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Florian Bruse, Martin Lange |
Model Checking Timed Recursive CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 12:1-12:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 159-166, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 332-350, 2021, Springer, 978-3-030-92123-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 30(3), pp. 1055-1080, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski |
Generalized abstraction-refinement for game-based CTL lifted model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 837, pp. 181-206, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Aleksandar S. Dimovski |
$\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(1), pp. 35-55, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu |
On Sufficient and Necessary Conditions in Bounded CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.06492, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Parallel parameter synthesis algorithm for hybrid CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 185, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà |
A CTL* Model Checker for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings, pp. 403-413, 2020, Springer, 978-3-030-51830-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac |
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPES@CCS ![In: WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, Virtual Event, USA, November 9, 2020, pp. 101-115, 2020, ACM, 978-1-4503-8086-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software Technologies - 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers, pp. 114-133, 2020, Springer, 978-3-030-83006-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020., pp. 544-551, 2020, ScitePress, 978-989-758-443-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
One-Pass Context-Based Tableaux Systems for CTL and ECTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 14:1-14:20, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings, pp. 280-297, 2020, Springer, 978-3-030-60326-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 361-370, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Hausmann 0001, Tadeusz Litak, Christoph Rauch, Matthias Zinner |
Cheap CTL Compassion in NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, pp. 248-269, 2020, Springer, 978-3-030-39321-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Pengzhan Nie, Jiulei Jiang, Zhanyou Ma |
CTL Symbolic Model Checking Based on Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/CBDCom/CyberSciTech ![In: IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2020, Calgary, AB, Canada, August 17-22, 2020, pp. 380-385, 2020, IEEE, 978-1-7281-6609-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Tayssir Touili, Xin Ye 0007 |
CTL Model Checking of Self Modifying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020, pp. 11-20, 2020, IEEE, 978-1-7281-8558-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Krebs, Arne Meier, Martin Mundhenk |
The model checking fingerprints of CTL operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 56(6), pp. 487-519, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Masoud Ebrahimi 0002, Gholamreza Sotudeh, Ali Movaghar 0001 |
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 56(1), pp. 1-33, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Khalid Hattaf |
Spatiotemporal Dynamics of a Generalized Viral Infection Model with Distributed Delays and CTL Immune Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 7(2), pp. 21, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Akash Hossain, François Laroussinie |
From Quantified CTL to QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.10005, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Weijun Zhu |
Experimental Study on CTL model checking using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.08789, 2019. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.05594, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Weijun Zhu, Yingjie Han, Qinglei Zhou |
Performing CTL model checking via DNA computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(12), pp. 3945-3963, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Rafat Alshorman |
Toward proving the correctness of TCP protocol using CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Arab J. Inf. Technol. ![In: Int. Arab J. Inf. Technol. 16(3), pp. 407-414, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Jinyan Zhu, Ruguang Zhou |
A vector CTL-RTL hierarchy with bi-Hamiltonian structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 87, pp. 154-159, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Fateh Latreche, Faiza Belala |
Timed CTL checking of time critical cloud applications using timed bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 9(4), pp. 379-406, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Xie Lili, Zhai Zhigang |
Formal Specification of Concurrent Enforcement UCON Model with CTL Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIS (2) ![In: Artificial Intelligence and Security - 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II, pp. 627-641, 2019, Springer, 978-3-030-24264-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 57-72, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Torsten Liebke, Karsten Wolf |
Taking Some Burden Off an Explicit CTL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings, pp. 321-341, 2019, Springer, 978-3-030-21570-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019., pp. 159-168, 2019, SciTePress, 978-989-758-375-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, February 19-21, 2019., pp. 869-878, 2019, SciTePress, 978-989-758-350-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Norihiro Kamide, Yuki Yano |
Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, February 19-21, 2019., pp. 762-769, 2019, SciTePress, 978-989-758-350-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Serenella Cerrito, Amélie David 0001, Valentin Goranko |
Minimisation of Models Satisfying CTL Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 13:1-13:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Akash Hossain, François Laroussinie |
From Quantified CTL to QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 11:1-11:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Lanlan Dong, Guanjun Liu, Dongming Xiang |
BUCKER 2.0: An Unfolding Based Checker for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: 16th IEEE International Conference on Networking, Sensing and Control, ICNSC 2019, Banff, AB, Canada, May 9-11, 2019, pp. 144-149, 2019, IEEE, 978-1-7281-0084-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 192-209, 2019, Springer, 978-3-030-16721-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Florian Kammüller |
Attack Trees in Isabelle - CTL semantics, correctness and completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06494, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Jan Kretínský, Alexej Rotar |
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.11418, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Aleksandar S. Dimovski |
Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.04970, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 12(2), pp. 111-127, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 14(10), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Benjamin Aminof, Aniello Murano, Sasha Rubin |
CTL* with graded path modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 262, pp. 1-21, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Chuan Jiang, Gianfranco Ciardo |
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 471-487, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, pp. 143-163, 2018, Springer, 978-3-319-91267-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar |
RERS 2018: CTL, LTL, and Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, pp. 433-447, 2018, Springer, 978-3-030-03420-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Udi Boker, Yariv Shaulian |
Automaton-Based Criteria for Membership in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 155-164, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Loredana Sorrentino, Sasha Rubin, Aniello Murano |
Graded CTL* over Finite Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 152-161, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Caterina Urban, Samuel Ueltschi, Peter Müller 0001 |
Abstract Interpretation of CTL Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, pp. 402-422, 2018, Springer, 978-3-319-99724-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Chuan Jiang, Gianfranco Ciardo |
Generation of Minimum Tree-Like Witnesses for Existential CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I, pp. 328-343, 2018, Springer, 978-3-319-89959-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Lanlan Dong, Guanjun Liu, Dongming Xiang |
Verifying CTL with Unfoldings of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (4) ![In: Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV, pp. 47-61, 2018, Springer, 978-3-030-05062-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jan Kretínský, Alexej Rotar |
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pp. 32:1-32:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-087-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA/IUCC/BDCloud/SocialCom/SustainCom ![In: IEEE International Conference on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018, Melbourne, Australia, December 11-13, 2018, pp. 23-30, 2018, IEEE, 978-1-7281-1141-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISDM ![In: Proceedings of the 2nd International Conference on Information System and Data Mining, ICISDM 2018, Lakeland, FL, USA, April 09-11, 2018, pp. 136-140, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej |
Verifying Temporal Trust Logic using CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRUST@AAMAS ![In: Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, Stockholm, Sweden, July 14, 2018., pp. 62-74, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Aleksandar S. Dimovski |
Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings., pp. 301-318, 2018, Springer, 978-3-319-89362-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pattern Recognit. Artif. Intell. ![In: Int. J. Pattern Recognit. Artif. Intell. 31(11), pp. 1750037:1-1750037:15, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 315, pp. 477-493, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 27(10), pp. 1750150:1-1750150:15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Roderick Bloem, Sven Schewe, Ayrat Khalimov 0001 |
CTL* synthesis via LTL synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 4-22, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Rewrite rules for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 21, pp. 24-56, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Ayrat Khalimov 0001, Roderick Bloem |
Bounded Synthesis for Streett, Rabin, and \text CTL^*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, pp. 333-352, 2017, Springer, 978-3-319-63389-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIK ![In: 30th Norsk Informatikkonferanse, NIK 2017, Westerdals Oslo ACT, Oslo, Norway, November 27-29, 2017, 2017, Bibsys Open Journal Systems, Norway. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIME ![In: Proceedings of the 9th International Conference on Information Management and Engineering, Barcelona, Spain, October 09 - 11, 2017, pp. 91-95, 2017, ACM, 978-1-4503-5337-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Fei Pu |
Bounded Correctness Checking for Extended CTL Properties with Past Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GSKI (2) ![In: Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part II, pp. 563-573, 2017, Springer, 978-981-13-0895-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Mihai-Lica Pura, Iulian Aciobanitei, Stefan-Adrian Toma, Didier Buchs |
CTL formula evaluation by term rewriting inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 9th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2017, Targoviste, Romania, June 29 - July 1, 2017, pp. 1-10, 2017, IEEE, 978-1-5090-6457-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigData Congress ![In: 2017 IEEE International Congress on Big Data, BigData Congress 2017, Honolulu, HI, USA, June 25-30, 2017, pp. 419-426, 2017, IEEE Computer Society, 978-1-5386-1996-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
CTL with Finitely Bounded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium, pp. 14:1-14:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-052-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Norbert Hundeshagen, Martin Lange |
Model Checking CTL over Restricted Classes of Automatic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings, pp. 87-100, 2017, Springer, 978-3-319-67088-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Jeremy Kong, Alessio Lomuscio |
Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 114-122, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |
Distributed CTL model checking using MapReduce: theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 28(11), pp. 3025-3041, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Zohra Sbaï, Rawand Guerfel |
CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Serv. Sci. Manag. Eng. Technol. ![In: Int. J. Serv. Sci. Manag. Eng. Technol. 7(1), pp. 27-42, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 26(14), pp. 1650234:1-1650234:26, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 71(4), pp. 922-930, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2016, pp. 3903726:1-3903726:21, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 1(6), pp. 87, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 18(4), pp. 409-426, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko |
Efficient CTL Verification via Horn Constraints Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Raphaël Berthon, Bastien Maubert, Aniello Murano |
Quantified CTL with imperfect information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.03524, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Miloud Bennama, Thouraya Bouabana-Tebibel |
A CTL-based OCL extension using CPN ML for UML validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 6(4), pp. 302-321, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Christian Doczkal, Gert Smolka |
Completeness and Decidability Results for CTL in Constructive Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 56(3), pp. 343-365, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Klenze, Sam Bayless, Alan J. Hu |
Fast, Flexible, and Minimal CTL Synthesis via SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pp. 136-156, 2016, Springer, 978-3-319-41527-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar |
Probabilistic CTL*: The Deductive Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 280-296, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Krebs, Arne Meier, Martin Mundhenk |
The model checking fingerprints of CTL operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.04708, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|