Search results for "CTL*"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Minkyo Shim, Kwang-Hoon Lee, Seungha Roh, Kwanseo Park, Deog-Kyoon Jeong	A 1.1-pJ/b 8-to-16-Gb/s Receiver With Stochastic CTLE Adaptation.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
17	Shaull Almagor, Daniel Assa, Udi Boker	Synchronized CTL over One-Counter Automata.	CoRR	2023	DBLP DOI BibTeX RDF
17	Nam Nguyen	Biomarker Discovery with Quantum Neural Networks: A Case-study in CTLA4-Activation Pathways.	CoRR	2023	DBLP DOI BibTeX RDF
17	Nicolas Fröhlich, Arne Meier	Submodel Enumeration for CTL Is Hard.	CoRR	2023	DBLP DOI BibTeX RDF
17	Georg Friedrich Schuppe, Dilian Gurov	Soundness and Completeness of a Model-Checking Proof System for CTL.	CoRR	2023	DBLP DOI BibTeX RDF
17	Shi Yan, Yao Si, Wenyang Zhou, Rui Cheng 0003, Pingping Wang, Di Wang, Wencai Ding, Wanying Shi, Qinghua Jiang, Fan Yang, Lifen Yao	Single-cell transcriptomics reveals the interaction between peripheral CD4+ CTLs and mesencephalic endothelial cells mediated by IFNG in Parkinson's disease.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
17	Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio	Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
17	Florian Bruse, Martin Lange	The tail-recursive fragment of timed recursive CTL.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
17	Sergo S. Harutyunyan	Aging Protected Two Stage CTLE For High Speed Data Recievers.	EWDTS	2023	DBLP DOI BibTeX RDF
17	Biwen Yang, Ruiheng Zhang, Yumeng Liu, Guanyu Liu, Zhe Cao, Zhidong Yang, Heng Yu, Lixin Xu	CTL-I: Infrared Few-Shot Learning via Omnidirectional Compatible Class-Incremental.	BDTA	2023	DBLP DOI BibTeX RDF
17	Kuo-Hsing Cheng, Chun-Yao Chang, Hong-Yi Huang, Yun-Teng Shih	A Low Power 16 Gbps CTLE and Quarter-Rate DFE With Single Adaptive System.	ICECS	2023	DBLP DOI BibTeX RDF
17	Guoqing Wang, Zhao Zhang 0004, Xinyu Shen, Zhaoyu Zhang, Jian Liu 0021, Nanjian Wu, Liyuan Liu	A 64-Gb/s 0.33-pJ/bit PAM4 Receiver Analog Front-End with a Single-Stage Triple-Peaking CTLE Achieving 22.5-dB Boost in 40-nm CMOS Process.	ICTA	2023	DBLP DOI BibTeX RDF
17	Kailun Luo	Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking.	AAAI	2023	DBLP DOI BibTeX RDF
17	Jooyoung Bae, Wonsik Oh, Jahyun Koo 0003, Bongjin Kim	CTLE-Ising:A 1440-Spin Continuous-Time Latch-Based isling Machine with One-Shot Fully-Parallel Spin Updates Featuring Equalization of Spin States.	ISSCC	2023	DBLP DOI BibTeX RDF
17	Hina Afridi, Mohib Ullah, Øyvind Nordbø, Anne Guro Larsgard, Faouzi Alaya Cheikh	CTL-NET: Deep Learning Network for Cattle Teat Length Trait Analysis.	EUVIP	2023	DBLP DOI BibTeX RDF
17	Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti	Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks.	FORTE	2023	DBLP DOI BibTeX RDF
17	Thota Pranay Kumar, Siva Kumar Rapina, Bheema Rao Nistala	A 16Gbps 3rd Order CTLE Design for Serial Links with High Channel Loss in 16nm FinFET.	VLSID	2023	DBLP DOI BibTeX RDF
17	Abhishek Jadhav, Varsha Bhide, T. N. V. Raghuram, Tapas Nandy	SV Based Fast & Accurate Verification Methodology for CTLE Adaptation Algorithm.	VLSID	2023	DBLP DOI BibTeX RDF
17	Shaull Almagor, Daniel Assa, Udi Boker	Synchronized CTL over One-Counter Automata.	FSTTCS	2023	DBLP DOI BibTeX RDF
17	Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang 0030	Incremental Witness Generation for Branching-Time Logic CTL.	IEEE Trans. Reliab.	2022	DBLP DOI BibTeX RDF
17	Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding 0001	Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
17	Yan Yang, Rui Xu	Mathematical analysis of a delayed HIV infection model with saturated CTL immune response and immune impairment.	J. Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
17	Sovan Bera, Subhas Khajanchi, Tapan Kumar Roy	Dynamics of an HTLV-I infection model with delayed CTLs immune response.	Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
17	Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà	starMC: an automata based CTL* model checker.	PeerJ Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Giorgio Audrito, Volker Stolz, Gianluca Torta	Predictive Semantics for Past-CTL Runtime Monitors.	CoRR	2022	DBLP DOI BibTeX RDF
17	Yue Wang 0020, Ran Yi, Ying Tai, Chengjie Wang, Lizhuang Ma	CtlGAN: Few-shot Artistic Portraits Generation with Contrastive Transfer Learning.	CoRR	2022	DBLP DOI BibTeX RDF
17	Paolo Felli, Marco Montali, Sarah Winkler	CTL* model checking for data-aware dynamic systems with arithmetic.	CoRR	2022	DBLP DOI BibTeX RDF
17	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 the Single-Corpus and Cross-Corpus Speech Emotion Recognition.	CoRR	2022	DBLP DOI BibTeX RDF
17	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.	CoRR	2022	DBLP DOI BibTeX RDF
17	Weijun Zhu, Huanmei Wu	CTL model checking based on binary classification of machine learning.	Int. Arab J. Inf. Technol.	2022	DBLP DOI BibTeX RDF
17	Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli	Distributed runtime verification by past-CTL and the field calculus.	J. Syst. Softw.	2022	DBLP DOI BibTeX RDF
17	Haoran Sun, Yinhang Zhang, Xi Yang	6.25-10Gb/s adaptive CTLE with spectrum balancing and loop-unrolled half-rate DFE in TSMC 0.18µm CMOS.	IEICE Electron. Express	2022	DBLP DOI BibTeX RDF
17	Norihiro Kamide	Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples.	Int. J. Softw. Eng. Knowl. Eng.	2022	DBLP DOI BibTeX RDF
17	Miroslav Chodil, Antonín Kucera 0001, Jan Kretínský	Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
17	Paolo Felli, Marco Montali, Sarah Winkler	CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic.	IJCAR	2022	DBLP DOI BibTeX RDF
17	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
17	Florian Bruse, Martin Lange, Étienne Lozes	The Tail-Recursive Fragment of Timed Recursive CTL.	TIME	2022	DBLP DOI BibTeX RDF
17	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
17	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
17	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
17	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
17	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
17	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
17	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
17	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
17	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
17	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
17	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
17	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
17	Zhiping Wang, Mohamed Megahed, Yusang Chun, Tejasvi Anand	A Machine Learning Inspired Transceiver with ISI-Resilient Data Encoding: Hybrid-Ternary Coding + 2-Tap FFE + CTLE + Feature Extraction and Classification for 44.7dB Channel Loss in 7.3pJ/bit.	VLSI Circuits	2021	DBLP DOI BibTeX RDF
17	Jingjie Qian, Weiyue Ding, Yue Jiang, Li Xu	Meta-Analysis of irAEs between Dose of CTLA-4 and PD-1 Inhibitors.	BIBM	2021	DBLP DOI BibTeX RDF
17	Florian Bruse, Martin Lange	Model Checking Timed Recursive CTL.	TIME	2021	DBLP DOI BibTeX RDF
17	Yukinaga Shimoda, Kota Hayashi, Daisuke Ito, Makoto Nakamura	Feed-Forward Control of PAM4 CTLE for Optical Receivers Based on a Step Response Analysis.	ISOCC	2021	DBLP DOI BibTeX RDF
17	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
17	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
17	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
17	Jinhyung Lee, Kwangho Lee, Hyojun Kim, Byungmin Kim, Kwanseo Park, Deog-Kyoon Jeong	A 0.1-pJ/b/dB 1.62-to-10.8-Gb/s Video Interface Receiver With Jointly Adaptive CTLE and DFE Using Biased Data-Level Reference.	IEEE J. Solid State Circuits	2020	DBLP DOI BibTeX RDF
17	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
17	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
17	Deepanraj Thulasiraman, Javed S. Gaggatur	A tunable, power efficient active inductor-based 20 Gb/s CTLE in SerDes for 5G applications.	Microelectron. J.	2020	DBLP DOI BibTeX RDF
17	Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu	On Sufficient and Necessary Conditions in Bounded CTL.	CoRR	2020	DBLP BibTeX RDF
17	Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek	Parallel parameter synthesis algorithm for hybrid CTL.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
17	Yinhang Zhang, Xi Yang	A 36 Gb/s wireline receiver with adaptive CTLE and 1-tap speculative DFE in 0.13 µm BiCMOS technology.	IEICE Electron. Express	2020	DBLP DOI BibTeX RDF
17	Siamak Delshadpour, Xu Zhang	A 20.6 Gb/s Programmable Peaking Gain CTLE.	MWSCAS	2020	DBLP DOI BibTeX RDF
17	Amin Aghighi, Armin Tajalli, Mohammad Taherzadeh-Sani	A Low-Power 10 to 15 Gb/s Common-Gate CTLE Based on Optimized Active Inductors.	VLSI-SOC	2020	DBLP DOI BibTeX RDF
17	Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà	A CTL* Model Checker for Petri Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
17	Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac	Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.	WPES@CCS	2020	DBLP DOI BibTeX RDF
17	Utkarsh Upadhyaya, Souradip Sen, Sandeep Goyal, Shalabh Gupta	A 16 Gbps 10: 1 Serializer with Active Inductor Based CTLE for High Frequency Boosting.	ICECS	2020	DBLP DOI BibTeX RDF
17	Renjie Tang, Kanan Wang, Dan Li 0011, Li Geng, Xiaoyan Gui	A 100-Gb/s PAM-4 CTLE in 28-nm CMOS with Coarse-Fine Gain Adjustment.	ICTA	2020	DBLP DOI BibTeX RDF
17	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
17	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
17	Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio	One-Pass Context-Based Tableaux Systems for CTL and ECTL.	TIME	2020	DBLP DOI BibTeX RDF
17	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
17	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
17	Daniel Hausmann 0001, Tadeusz Litak, Christoph Rauch, Matthias Zinner	Cheap CTL Compassion in NuSMV.	VMCAI	2020	DBLP DOI BibTeX RDF
17	Pengzhan Nie, Jiulei Jiang, Zhanyou Ma	CTL Symbolic Model Checking Based on Fuzzy Logic.	DASC/PiCom/CBDCom/CyberSciTech	2020	DBLP DOI BibTeX RDF
17	Tayssir Touili, Xin Ye 0007	CTL Model Checking of Self Modifying Code.	ICECCS	2020	DBLP DOI BibTeX RDF
17	Andreas Krebs, Arne Meier, Martin Mundhenk	The model checking fingerprints of CTL operators.	Acta Informatica	2019	DBLP DOI BibTeX RDF
17	Masoud Ebrahimi 0002, Gholamreza Sotudeh, Ali Movaghar 0001	Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.	Acta Informatica	2019	DBLP DOI BibTeX RDF
17	Khalid Hattaf	Spatiotemporal Dynamics of a Generalized Viral Infection Model with Distributed Delays and CTL Immune Response.	Comput.	2019	DBLP DOI BibTeX RDF
17	Akash Hossain, François Laroussinie	From Quantified CTL to QBF.	CoRR	2019	DBLP BibTeX RDF
17	Weijun Zhu	Experimental Study on CTL model checking using Machine Learning.	CoRR	2019	DBLP BibTeX RDF
17	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
17	Weijun Zhu, Yingjie Han, Qinglei Zhou	Performing CTL model checking via DNA computing.	Soft Comput.	2019	DBLP DOI BibTeX RDF
17	Rafat Alshorman	Toward proving the correctness of TCP protocol using CTL.	Int. Arab J. Inf. Technol.	2019	DBLP BibTeX RDF
17	Jinyan Zhu, Ruguang Zhou	A vector CTL-RTL hierarchy with bi-Hamiltonian structure.	Appl. Math. Lett.	2019	DBLP DOI BibTeX RDF
17	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
17	Xie Lili, Zhai Zhigang	Formal Specification of Concurrent Enforcement UCON Model with CTL Logic.	ICAIS (2)	2019	DBLP DOI BibTeX RDF
17	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
17	Torsten Liebke, Karsten Wolf	Taking Some Burden Off an Explicit CTL Model Checker.	Petri Nets	2019	DBLP DOI BibTeX RDF
17	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
17	Emily Yu, Martina Seidl, Armin Biere	A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas.	FTSCS	2019	DBLP DOI BibTeX RDF
17	Ran Chen, Wenhui Zhang	Verification of CTL_BDI Properties by Symbolic Model Checking.	APSEC	2019	DBLP DOI BibTeX RDF
17	Leifeng He, Guanjun Liu	Model Checking CTLK Based on Knowledge-Oriented Petri Nets.	HPCC/SmartCity/DSS	2019	DBLP DOI BibTeX RDF
17	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
17	Norihiro Kamide, Yuki Yano	Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations.	ICAART (2)	2019	DBLP DOI BibTeX RDF
17	Danny Yoo, Mohammad Bagherbeik, Wahid Rahman, Ali Sheikholeslami, Hirotaka Tamura, Takayuki Shibasaki	A 36Gb/s Adaptive Baud-Rate CDR with CTLE and 1-Tap DFE in 28nm CMOS.	ISSCC	2019	DBLP DOI BibTeX RDF
17	Wei-Chih Chen, Shu-Chun Yang, Yu-Nan Shih, Wen-Hung Huang, Chien-Chun Tsai, Kenny Cheng-Hsiang Hsieh	A 56Gb/s PAM-4 Receiver with Voltage Pre-Shift CTLE and 10-Tap DFE of Tap-1 Speculation in 7nm FinFET.	VLSI Circuits	2019	DBLP DOI BibTeX RDF
17	Jiquan Li, Yingmei Chen, Zhen Zhang, Hui Wang, Chao Guo, Binbin Yang	Group Delay Compensation By Combining 3-tap FFE With CTLE for 80Gbps-PAM4 Optical Transmitter.	SoCC	2019	DBLP DOI BibTeX RDF
17	Serenella Cerrito, Amélie David 0001, Valentin Goranko	Minimisation of Models Satisfying CTL Formulas.	TIME	2019	DBLP DOI BibTeX RDF