Search results for "CTL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Alfredo Benso, Stefano Di Carlo, Paolo Prinetto, Yervant Zorian	IEEE Standard 1500 Compliance Verification for Embedded Cores.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
19	Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer	Using communication coverage criteria and partial model generation to assist software integration testing.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Timed state-based specifications, Distributed systems, Integration Testing, Coverage criteria
19	Peter Niebert, Doron A. Peled, Amir Pnueli	Discriminative Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
19	Sven Schewe	ATL* Satisfiability Is 2EXPTIME-Complete.	ICALP (2)	2008	DBLP DOI BibTeX RDF
19	Radu Mateescu 0001, Pedro T. Monteiro 0001, Estelle Dumas, Hidde de Jong	Computation Tree Regular Logic for Genetic Regulatory Networks.	ATVA	2008	DBLP DOI BibTeX RDF
19	Sylvain Hallé, Roger Villemaire	Satisfying a Fragment of XQuery by Branching-Time Reduction.	TIME	2008	DBLP DOI BibTeX RDF
19	Catalin Dima	Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.	CLIMA	2008	DBLP DOI BibTeX RDF
19	Dietmar Berwanger, Erich Grädel, Giacomo Lenzi	The Variable Hierarchy of the µ-Calculus Is Strict.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
19	Wenhui Zhang	Model Checking with SAT-Based Characterization of ACTL Formulas.	ICFEM	2007	DBLP DOI BibTeX RDF
19	Selma Ikiz, Alper Sen 0001	Runtime Verification of k-Mutual Exclusion for SoCs.	MTV	2007	DBLP DOI BibTeX RDF
19	Yanxi Liu 0001, Leonid Teverovskiy, Oscar L. Lopez, Howard Aizenstein, Carolyn C. Meltzer, James T. Becker	Dicovery of "biomarkers" for Alzheimer's Disease Prediction from Structural MR Images.	ISBI	2007	DBLP DOI BibTeX RDF
19	Sven Schewe, Bernd Finkbeiner	Distributed Synthesis for Alternating-Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
19	Neil D. Jones, René Rydhof Hansen	The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer.	APLAS	2007	DBLP DOI BibTeX RDF
19	Yulin Ding, Yan Zhang	System Modification Case Studies.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
19	Donghuo Chen, Guangquan Zhang 0002, Jinzhao Wu	QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.	TASE	2007	DBLP DOI BibTeX RDF
19	Alexander Bolotov, Artie Basukoski	A clausal resolution method for branching-time logic ECTL+.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
19	Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer	Achieving communication coverage in testing.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	timed state-based specifications, distributed systems, conformance testing, coverage criteria
19	Daniele Varacca, Hagen Völzer	Temporal Logics and Model Checking for Fairly Correct Systems.	LICS	2006	DBLP DOI BibTeX RDF
19	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
19	Hong P. Liu, David P. Gluch	Templates and automation for temporal query generation.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	architecture analysis & design language, model checking, computation tree logic
19	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance	A New Logical Semantics for Agent Communication.	CLIMA	2006	DBLP DOI BibTeX RDF
19	Franz Wotawa, Bibiane Angerer	Retaining Consistency in Temporal Knowledge Bases.	IEA/AIE	2006	DBLP DOI BibTeX RDF	temporal reasoning, Knowledge-processing, KBS methodology
19	Sven Schewe, Bernd Finkbeiner	Synthesis of Asynchronous Systems.	LOPSTR	2006	DBLP DOI BibTeX RDF
19	Hyoung Seok Hong, Hasan Ural	Dependence Testing: Extending Data Flow Testing with Control Dependence.	TestCom	2005	DBLP DOI BibTeX RDF
19	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer	A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.	DALT	2005	DBLP DOI BibTeX RDF
19	Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil	A Temporal Logic for Input Output Symbolic Transition Systems.	APSEC	2005	DBLP DOI BibTeX RDF	input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
19	Bernd Finkbeiner, Sven Schewe	Uniform Distributed Synthesis.	LICS	2005	DBLP DOI BibTeX RDF
19	Pablo Barceló, Leonid Libkin	Temporal Logics over Unranked Trees.	LICS	2005	DBLP DOI BibTeX RDF
19	Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi	Regular Vacuity.	CHARME	2005	DBLP DOI BibTeX RDF
19	Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky	Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.	SCAM	2005	DBLP DOI BibTeX RDF
19	Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer	Meeting the Deadline: Why, When and How.	FAABS	2004	DBLP DOI BibTeX RDF
19	Alexander Bolotov, Artie Basukoski	A Clausal Resolution Method for Branching-Time Logic ECTL+.	TIME	2004	DBLP DOI BibTeX RDF
19	Jan M. Broersen	On the Logic of 'Being Motivated to Achieve rho, Before delta'.	JELIA	2004	DBLP DOI BibTeX RDF
19	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	Model-Checking for Weighted Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
19	Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode	On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
19	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa	A Logical Model for Commitment and Argument Network for Agent Communication.	AAMAS	2004	DBLP DOI BibTeX RDF
19	Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli	Web Applications Design and Maintenance Using Symbolic Model Checking.	CSMR	2003	DBLP DOI BibTeX RDF
19	Dennis L. Chao, Miles P. Davenport, Stephanie Forrest, Alan S. Perelson	Stochastic Stage-structured Modeling of the Adaptive Immune System.	CSB	2003	DBLP DOI BibTeX RDF
19	Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti	Open computation tree logic with fairness.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
19	Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier	Model Checking Performability Properties.	DSN	2002	DBLP DOI BibTeX RDF
19	Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli	AnWeb: a system for automatic support to web application verification.	SEKE	2002	DBLP DOI BibTeX RDF	web application, computation tree logic
19	Julian C. Bradfield	Introduction to Modal and Temporal Mu-Calculi (Abstract).	CONCUR	2002	DBLP DOI BibTeX RDF
19	Michael Huth 0001	Model Checking Modal Transition Systems Using Kripke Structures.	VMCAI	2002	DBLP DOI BibTeX RDF
19	Dietmar Berwanger, Erich Grädel, Giacomo Lenzi	On the Variable Hierarchy of the Modal µ-Calculus.	CSL	2002	DBLP DOI BibTeX RDF	modal &#55-calculus, games, descriptive complexity
19	Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi	Property-Specific Testbench Generation for Guided Simulation.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	guided simulation, intelligent testbench generation, witness graph, property-specific testbench, approximate model checking, symbolic model checking, iterative refinement
19	Walter Hartong, Lars Hedrich, Erich Barke	Model checking algorithms for analog verification.	DAC	2002	DBLP DOI BibTeX RDF	nonlinear analog systems, model checking, formal methods
19	Wiktor B. Daszczuk	Evaluation of Temporal Formulas Based on "Checking by Spheres".	DSD	2001	DBLP DOI BibTeX RDF
19	Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh	Model-Checking over Multi-valued Logics.	FME	2001	DBLP DOI BibTeX RDF
19	Tim French 0002	Decidability of Quantifed Propositional Branching Time Logics.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
19	Ulf Nilsson, Johan Lübcke	Constraint Logic Programming for Local and Symbolic Model-Checking.	Computational Logic	2000	DBLP DOI BibTeX RDF
19	Thomas A. Henzinger, Sriram K. Rajamani	Fair Bisimulation.	TACAS	2000	DBLP DOI BibTeX RDF
19	Keijo Heljanko	Model Checking with Finite Complete Prefixes Is PSPACE-Complete.	CONCUR	2000	DBLP DOI BibTeX RDF
19	Martin Leucker	Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata.	LPAR	1999	DBLP DOI BibTeX RDF
19	Ilhan Hatirnaz, Frank K. Gürkaynak, Yusuf Leblebici	Realization of a programmable rank-order filter architecture using capacitive threshold logic gates.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
19	Udo Brockmeyer, Gunnar Wittich	Real-Time Verification of Statemate Designs.	CAV	1998	DBLP DOI BibTeX RDF
19	Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton	Structural Symmetry and Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
19	Yonit Kesten, Amir Pnueli, Li-on Raviv	Algorithmic Verification of Linear Temporal Logic Specifications.	ICALP	1998	DBLP DOI BibTeX RDF
19	Witold Charatonik, Andreas Podelski	Set-Based Analysis of Reactive Infinite-State Systems.	TACAS	1998	DBLP DOI BibTeX RDF
19	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model-checking, temporal logic, abstraction, symmetry, automata, state explosion
19	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time Temporal Logic.	FOCS	1997	DBLP DOI BibTeX RDF
19	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-Time Temporal Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
19	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.	CAV	1995	DBLP DOI BibTeX RDF
19	Orna Kupferman	Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.	CAV	1995	DBLP DOI BibTeX RDF
19	Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill	Symbolic model checking for sequential circuit verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
19	Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi	Another Look at LTL Model Checking.	CAV	1994	DBLP DOI BibTeX RDF	model checking, temporal logic, binary decision diagrams, automatic verification
19	Valery A. Nepomniaschy, Nikolay V. Shilov 0002	REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
19	Sophie Pinchinat	Ordinal Processes in Comparative Concurrency Semantics.	CSL	1991	DBLP DOI BibTeX RDF
19	Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill	Sequential Circuit Verification Using Symbolic Model Checking.	DAC	1990	DBLP DOI BibTeX RDF
19	Wojciech Penczek	A Concurrent Branching Time Temporal Logic.	CSL	1989	DBLP DOI BibTeX RDF
19	E. Allen Emerson, Joseph Y. Halpern	"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic.	J. ACM	1986	DBLP DOI BibTeX RDF
18	Peng Zhou 0003, Xiang Chen, Zhicai Shang	Side-chain conformational space analysis (SCSA): A multi conformation-based QSAR approach for modeling and prediction of protein-peptide binding affinities.	J. Comput. Aided Mol. Des.	2009	DBLP DOI BibTeX RDF	Multi-conformation-based quantitative structure-activity relationship, Side-chain conformational space analysis, Rotamer library, Self-consistent mean field theory, Protein-peptide complex, HLA-A*0201-restricted CTL epitope
18	Viji R. Avali, Michael N. Huhns	Commitment-Based Multiagent Decision Making.	CIA	2008	DBLP DOI BibTeX RDF	Commitments, BDI, CTL*
18	Zhi-Hong Tao, Hans Kleine Büning, Lifu Wang	Direct Model Checking Matrix Algorithm.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	direct model checking (DMC), Kripke semantics structure, CTL logic, matrix algorithm
18	E. Allen Emerson, Charanjit S. Jutla	The Complexity of Tree Automata and Logics of Programs (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	PDL-delta, infinite trees, nonemptiness algorithm, computational complexity, satisfiability, tree automata, finite-state automata, branching time logic, propositional dynamic logic, logics of programs, CTL*
18	Yulong Gao, Karl Henrik Johansson, Alessandro Abate	CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations.	HSCC	2024	DBLP DOI BibTeX RDF
18	Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu	Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents.	REFSQ	2024	DBLP DOI BibTeX RDF
18	Nicolas Fröhlich, Arne Meier	Submodel Enumeration for CTL Is Hard.	AAAI	2024	DBLP DOI BibTeX RDF
18	Deng Zhao, Zhangbing Zhou, Patrick C. K. Hung, Shuiguang Deng, Xiao Xue 0001, Walid Gaaloul	CTL-Based Adaptive Service Composition in Edge Networks.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
18	Jinyin Chen, Xiaodong Xu, Lihong Chen, Zhongyuan Ruan, Zhaoyan Ming, Yi Liu 0024	CTL-DIFF: Control Information Diffusion in Social Network by Structure Optimization.	IEEE Trans. Comput. Soc. Syst.	2023	DBLP DOI BibTeX RDF
18	Shaull Almagor, Daniel Assa, Udi Boker	Synchronized CTL over One-Counter Automata.	CoRR	2023	DBLP DOI BibTeX RDF
18	Nicolas Fröhlich, Arne Meier	Submodel Enumeration for CTL Is Hard.	CoRR	2023	DBLP DOI BibTeX RDF
18	Georg Friedrich Schuppe, Dilian Gurov	Soundness and Completeness of a Model-Checking Proof System for CTL.	CoRR	2023	DBLP DOI BibTeX RDF
18	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
18	Florian Bruse, Martin Lange	The tail-recursive fragment of timed recursive CTL.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
18	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
18	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
18	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
18	Shaull Almagor, Daniel Assa, Udi Boker	Synchronized CTL over One-Counter Automata.	FSTTCS	2023	DBLP DOI BibTeX RDF
18	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
18	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
18	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
18	Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà	starMC: an automata based CTL* model checker.	PeerJ Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	Giorgio Audrito, Volker Stolz, Gianluca Torta	Predictive Semantics for Past-CTL Runtime Monitors.	CoRR	2022	DBLP DOI BibTeX RDF
18	Paolo Felli, Marco Montali, Sarah Winkler	CTL* model checking for data-aware dynamic systems with arithmetic.	CoRR	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 the Single-Corpus and Cross-Corpus Speech Emotion Recognition.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
18	Weijun Zhu, Huanmei Wu	CTL model checking based on binary classification of machine learning.	Int. Arab J. Inf. Technol.	2022	DBLP DOI BibTeX RDF
18	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
18	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
18	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