Search results for "CTL*"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Akash Hossain, François Laroussinie	From Quantified CTL to QBF.	TIME	2019	DBLP DOI BibTeX RDF
17	Lanlan Dong, Guanjun Liu, Dongming Xiang	BUCKER 2.0: An Unfolding Based Checker for CTL.	ICNSC	2019	DBLP DOI BibTeX RDF
17	Suya Zhao, Renzheng Wei, Lijun Cai, Aimin Yu, Dan Meng	CTLMD: Continuous-Temporal Lateral Movement Detection Using Graph Embedding.	ICICS	2019	DBLP DOI BibTeX RDF
17	Arya Balachandran, Yong Chen 0005, Chirn Chye Boon	A 32-Gb/s 3.53-mW/Gb/s Adaptive Receiver AFE Employing a Hybrid CTLE, Edge-DFE and Merged Data-DFE/CDR in 65-nm CMOS.	APCCAS	2019	DBLP DOI BibTeX RDF
17	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
17	Florian Kammüller	Attack Trees in Isabelle - CTL semantics, correctness and completeness.	CoRR	2018	DBLP BibTeX RDF
17	Jan Kretínský, Alexej Rotar	The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL.	CoRR	2018	DBLP BibTeX RDF
17	Aleksandar S. Dimovski	Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version).	CoRR	2018	DBLP BibTeX RDF
17	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
17	Aravindhan Ganesan, Theinmozhi Arulraj, Tahir Choulli, Khaled H. Barakat	A mathematical modelling tool for unravelling the antibody-mediated effects on CTLA-4 interactions.	BMC Medical Informatics Decis. Mak.	2018	DBLP DOI BibTeX RDF
17	Chen Cai, Jianzhong Zhao, Yumei Zhou	A 1.25-12.5 Gbps Adaptive CTLE with Asynchronous Statistic Eye-Opening Monitor.	J. Electr. Comput. Eng.	2018	DBLP DOI BibTeX RDF
17	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
17	Benjamin Aminof, Aniello Murano, Sasha Rubin	CTL* with graded path modalities.	Inf. Comput.	2018	DBLP DOI BibTeX RDF
17	Mino Kim, Joo-Hyung Chae, Sungphil Choi, Gi-Moon Hong, Hyeongjun Ko, Deog-Kyoon Jeong, Suhwan Kim	A 4266 Mb/s/pin LPDDR4 Interface With An Asynchronous Feedback CTLE and An Adaptive 3-Step Eye Detection Algorithm for Memory Controller.	IEEE Trans. Circuits Syst. II Express Briefs	2018	DBLP DOI BibTeX RDF
17	Gang Chen, Min Gong, Dongbing Fu, Junan Zhang	A high efficient CTLE for 12.5 Gbps receiver of JESD204B standard.	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
17	Yinhang Zhang, Qingsheng Hu	A 33 Gb/s combined adaptive CTLE and half-rate look-ahead DFE in 0.13 µm BiCMOS technology for serial link.	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
17	Chuan Jiang, Gianfranco Ciardo	Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse.	LPAR	2018	DBLP DOI BibTeX RDF
17	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
17	Vazgen Sh. Melikyan, Arshavir V. Matevosyan, Arman S. Petrosyan, Armen A. Martirosyan, Karen T. Khachikyan, Ruben H. Musayelyan, Arman S. Trdatyan, David K. Hakobyan	High Quality Factor 5.0 Gbps CTLE Circuit for SERDES Serial Links.	EWDTS	2018	DBLP DOI BibTeX RDF
17	Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar	RERS 2018: CTL, LTL, and Reachability.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
17	Udi Boker, Yariv Shaulian	Automaton-Based Criteria for Membership in CTL.	LICS	2018	DBLP DOI BibTeX RDF
17	Guodong Zhao 0001, Sihua Lin, Liying Li, Zhi Chen 0002	CTLinQ: Content-Centric Link Scheduling in Cache-Enabled Device-to-Device Wireless Networks.	ICC	2018	DBLP DOI BibTeX RDF
17	Loredana Sorrentino, Sasha Rubin, Aniello Murano	Graded CTL* over Finite Paths.	ICTCS	2018	DBLP BibTeX RDF
17	Caterina Urban, Samuel Ueltschi, Peter Müller 0001	Abstract Interpretation of CTL Properties.	SAS	2018	DBLP DOI BibTeX RDF
17	Kevin Zheng, Yohan Frans, Ken Chang, Boris Murmann	A 56 Gb/s 6 mW 300 um2 inverter-based CTLE for short-reach PAM2 applications in 16 nm CMOS.	CICC	2018	DBLP DOI BibTeX RDF
17	Chuan Jiang, Gianfranco Ciardo	Generation of Minimum Tree-Like Witnesses for Existential CTL.	TACAS (1)	2018	DBLP DOI BibTeX RDF
17	Lanlan Dong, Guanjun Liu, Dongming Xiang	Verifying CTL with Unfoldings of Petri Nets.	ICA3PP (4)	2018	DBLP DOI BibTeX RDF
17	Jan Kretínský, Alexej Rotar	The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL.	CONCUR	2018	DBLP DOI BibTeX RDF
17	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
17	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
17	Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej	Verifying Temporal Trust Logic using CTL Model Checking.	TRUST@AAMAS	2018	DBLP BibTeX RDF
17	Aleksandar S. Dimovski	Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\).	FASE	2018	DBLP DOI BibTeX RDF
17	Wahid Rahman, Danny Yoo, Joshua Liang, Ali Sheikholeslami, Hirotaka Tamura, Takayuki Shibasaki, Hisakatsu Yamaguchi	A 22.5-to-32-Gb/s 3.2-pJ/b Referenceless Baud-Rate Digital CDR With DFE and CTLE in 28-nm CMOS.	IEEE J. Solid State Circuits	2017	DBLP DOI BibTeX RDF
17	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
17	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
17	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
17	Maedeh Fallahi, Abumoslem Jannesari	A Low-Power Three-Tap DFE with Switched Resistor Slicer and CTLE in 0.18μm CMOS Technology.	J. Circuits Syst. Comput.	2017	DBLP DOI BibTeX RDF
17	Afsaneh Jalalian, Syamsiah Mashohor, Rozi Mahmud, Babak Karasfi, M. Iqbal Saripan, Abdul Rahman Ramli	Computer-Assisted Diagnosis System for Breast Cancer in Computed Tomography Laser Mammography (CTLM).	J. Digit. Imaging	2017	DBLP DOI BibTeX RDF
17	Roderick Bloem, Sven Schewe, Ayrat Khalimov 0001	CTL* synthesis via LTL synthesis.	SYNT@CAV	2017	DBLP DOI BibTeX RDF
17	John Christopher McCabe-Dansted, Mark Reynolds 0001	Rewrite rules for CTL.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
17	Ayrat Khalimov 0001, Roderick Bloem	Bounded Synthesis for Streett, Rabin, and \text CTL^*.	CAV (2)	2017	DBLP DOI BibTeX RDF
17	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
17	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
17	Fei Pu	Bounded Correctness Checking for Extended CTL Properties with Past Operators.	GSKI (2)	2017	DBLP DOI BibTeX RDF
17	Mihai-Lica Pura, Iulian Aciobanitei, Stefan-Adrian Toma, Didier Buchs	CTL formula evaluation by term rewriting inversion.	ECAI	2017	DBLP DOI BibTeX RDF
17	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
17	Yinhang Zhang, Qingsheng Hu, Yongzheng Zhan	A 20 Gb/s Wireline Receiver with Adaptive CTLE and Half-Rate DFE in 0.13 µm Technology.	WWIC	2017	DBLP DOI BibTeX RDF
17	Wahid Rahman, Danny Yoo, Joshua Liang, Ali Sheikholeslami, Hirotaka Tamura, Takayuki Shibasaki, Hisakatsu Yamaguchi	6.6 A 22.5-to-32Gb/s 3.2pJ/b referenceless baud-rate digital CDR with DFE and CTLE in 28nm CMOS.	ISSCC	2017	DBLP DOI BibTeX RDF
17	Valentin Goranko, Antti Kuusisto, Raine Rönnholm	CTL with Finitely Bounded Semantics.	TIME	2017	DBLP DOI BibTeX RDF
17	Norbert Hundeshagen, Martin Lange	Model Checking CTL over Restricted Classes of Automatic Structures.	RP	2017	DBLP DOI BibTeX RDF
17	Qiuju Zhou, Guilin Meng, Ying Ding 0001	Who bridged the "Valley of Death" between basic research and clinical research? In the case of immune-checkpoints CTLA-4 and PD-1 based on inter-citation network.	ASIST	2017	DBLP DOI BibTeX RDF
17	Jeremy Kong, Alessio Lomuscio	Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications.	AAMAS	2017	DBLP BibTeX RDF
17	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
17	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
17	Yong-Hun Kim, Young-Ju Kim 0001, Taeho Lee 0001, Lee-Sup Kim	A 21-Gbit/s 1.63-pJ/bit Adaptive CTLE and One-Tap DFE With Single Loop Spectrum Balancing Method.	IEEE Trans. Very Large Scale Integr. Syst.	2016	DBLP DOI BibTeX RDF
17	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
17	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
17	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
17	Jian Yang, Jixiang Liu, Liang Ouyang, Yi Chen, Bo Liu, Haoyang Cai	CTLPScanner: a web server for chromothripsis-like pattern detection.	Nucleic Acids Res.	2016	DBLP DOI BibTeX RDF
17	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
17	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
17	Divya Duvvuri, Vijaya Sankara Rao Pasupureddi	Design and analysis of a current mode integrated CTLE with charge mode adaptation.	Microelectron. J.	2016	DBLP DOI BibTeX RDF
17	Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko	Efficient CTL Verification via Horn Constraints Solving.	HCVS@ETAPS	2016	DBLP DOI BibTeX RDF
17	Raphaël Berthon, Bastien Maubert, Aniello Murano	Quantified CTL with imperfect information.	CoRR	2016	DBLP BibTeX RDF
17	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
17	Christian Doczkal, Gert Smolka	Completeness and Decidability Results for CTL in Constructive Type Theory.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
17	Tobias Klenze, Sam Bayless, Alan J. Hu	Fast, Flexible, and Minimal CTL Synthesis via SMT.	CAV (1)	2016	DBLP DOI BibTeX RDF
17	Divya Duvvuri, Vijaya Sankara Rao Pasupureddi	An Integrated Common Gate CTLE Receiver Front End with Charge Mode Adaptation.	ISVLSI	2016	DBLP DOI BibTeX RDF
17	Amin Aghighi, Abdul Hafiz Alameh, Mohammad Taherzadeh-Sani, Frederic Nabki	A 10-Gb/s low-power low-voltage CTLE using gate and bulk driven transistors.	ICECS	2016	DBLP DOI BibTeX RDF
17	Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar	Probabilistic CTL*: The Deductive Way.	TACAS	2016	DBLP DOI BibTeX RDF
17	Yong-Hun Kim, Young-Ju Kim 0001, Tae-Ho Lee 0001, Lee-Sup Kim	An 11.5 Gb/s 1/4th Baud-Rate CTLE and Two-Tap DFE With Boosted High Frequency Gain in 110-nm CMOS.	IEEE Trans. Very Large Scale Integr. Syst.	2015	DBLP DOI BibTeX RDF
17	Andreas Krebs, Arne Meier, Martin Mundhenk	The model checking fingerprints of CTL operators.	CoRR	2015	DBLP BibTeX RDF
17	Zhanyong Tang, Jie Zhang 0028, Xiaoqing Gong, Xiaohua Cheng, Xiaojiang Chen, Dingyi Fang, Wei Wang 0056	CTLL: A Cell-Based Transfer Learning Method for Localization in Large Scale Wireless Sensor Networks.	Int. J. Distributed Sens. Networks	2015	DBLP DOI BibTeX RDF
17	Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky	Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
17	Benjamin Aminof, Aniello Murano, Sasha Rubin	On CTL* with Graded Path Modalities.	LPAR	2015	DBLP DOI BibTeX RDF
17	Byron Cook, Heidy Khlaaf, Nir Piterman	On Automation of CTL* Verification for Infinite-State Systems.	CAV (1)	2015	DBLP DOI BibTeX RDF
17	Lingyun Situ, Lingzhong Zhao	CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming.	APSEC	2015	DBLP DOI BibTeX RDF
17	Martin Lück, Arne Meier, Irina Schindler	Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem.	LATA	2015	DBLP DOI BibTeX RDF
17	Kailiang Ji	CTL Model Checking in Deduction Modulo.	CADE	2015	DBLP DOI BibTeX RDF
17	Norihiro Kamide, Daiki Koizumi	Combining Paraconsistency and Probability in CTL.	ICAART (2)	2015	DBLP BibTeX RDF
17	Ming-Shuan Chen, Mau-Chung Frank Chang, Chih-Kong Ken Yang	A low-PDP and low-area repeater using passive CTLE for on-chip interconnects.	VLSIC	2015	DBLP DOI BibTeX RDF
17	Minseo Kim, Joonsung Bae, Unsoo Ha, Hoi-Jun Yoo	A 24-mW 28-Gb/s wireline receiver with low-frequency equalizing CTLE and 2-tap speculative DFE.	ISCAS	2015	DBLP DOI BibTeX RDF
17	Andreas Krebs, Arne Meier, Jonni Virtema	A Team Based Variant of CTL.	TIME	2015	DBLP DOI BibTeX RDF
17	Andreas Krebs, Arne Meier, Martin Mundhenk	The Model Checking Fingerprints of CTL Operators.	TIME	2015	DBLP DOI BibTeX RDF
17	Lubos Brim, Milan Ceska 0002, Martin Demko, Samuel Pastva, David Safránek	Parameter Synthesis by Parallel Coloured CTL Model Checking.	CMSB	2015	DBLP DOI BibTeX RDF
17	Lan Zhang 0001, Ullrich Hustadt, Clare Dixon	A resolution calculus for the branching-time temporal logic CTL.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
17	Frédéric Gava, Franck Pommereau, Michaël Guedj	A BSP algorithm for on-the-fly checking CTL* formulas on security protocols.	J. Supercomput.	2014	DBLP DOI BibTeX RDF
17	Xiaohong Tian, Rui Xu 0003	Global stability and Hopf bifurcation of an HIV-1 infection model with saturation incidence and delayed CTL immune response.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
17	Miguel Carrillo, David A. Rosenblueth	CTL update of Kripke models through protections.	Artif. Intell.	2014	DBLP DOI BibTeX RDF
17	Fu Song, Tayssir Touili	Efficient CTL model-checking for pushdown systems.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	Martin Lück, Arne Meier, Irina Schindler	Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies.	Electron. Colloquium Comput. Complex.	2014	DBLP BibTeX RDF
17	Benjamin Aminof, Aniello Murano, Sasha Rubin	Satisfiability and Model Checking of CTL* with Graded Path Modalities.	CoRR	2014	DBLP BibTeX RDF
17	François Laroussinie, Nicolas Markey	Quantified CTL: Expressiveness and Complexity.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	Martin Lück, Arne Meier, Irina Schindler	Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem.	CoRR	2014	DBLP BibTeX RDF
17	Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko	CTL+FO Verification as Constraint Solving.	CoRR	2014	DBLP BibTeX RDF
17	Thea Hogan, Ulrich D. Kadolsky, Sim Tung, Benedict Seddon, Andrew J. Yates	Spatial Heterogeneity and Peptide Availability Determine CTL Killing Efficiency In Vivo.	PLoS Comput. Biol.	2014	DBLP DOI BibTeX RDF
17	Christiaan H. van Dorp, Michiel van Boven, Rob J. De Boer	Immuno-epidemiological Modeling of HIV-1 Predicts High Heritability of the Set-Point Virus Load, while Selection for CTL Escape Dominates Virulence Evolution.	PLoS Comput. Biol.	2014	DBLP DOI BibTeX RDF
17	Marjet Elemans, Arnaud Florins, Luc Willems, Becca Asquith	Rates of CTL Killing in Persistent Viral Infection In Vivo.	PLoS Comput. Biol.	2014	DBLP DOI BibTeX RDF
17	Cuifang Lv, Lihong Huang, Zhaohui Yuan	Global stability for an HIV-1 infection model with Beddington-DeAngelis incidence rate and CTL immune response.	Commun. Nonlinear Sci. Numer. Simul.	2014	DBLP DOI BibTeX RDF
17	Somanshu Agarwal, Vijaya Sankara Rao Pasupureddi	A 5-Gb/s adaptive CTLE with eye-monitoring for multi-drop bus applications.	MWSCAS	2014	DBLP DOI BibTeX RDF