Search results for "CTL*"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Rayna Dimitrova, Bernd Finkbeiner	Synthesis of Fault-Tolerant Distributed Systems.	ATVA	2009	DBLP DOI BibTeX RDF
18	Natthapong Jungteerapanich	A Tableau System for the Modal µ-Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
18	Clemens Ley, Michael Benedikt	How big must complete XML query languages be?	ICDT	2009	DBLP DOI BibTeX RDF
18	Ehab Al-Shaer, Wilfredo Marrero, Adel El-Atawy, Khalid Elbadawi	Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security.	ICNP	2009	DBLP DOI BibTeX RDF
18	Francesco Ranzato, Francesco Tapparo	Computing Stuttering Simulations.	CONCUR	2009	DBLP DOI BibTeX RDF
18	Dennis Maletich Junqueira, Rúbia Marília de Medeiros, Sabrina Esteves de Matos Almeida, Vanessa Rodrigues Paixão-Cortez, Paulo Michel Roehe, Fernando Rosado Spilki	Mapping HIV-1 Subtype C gp120Epitopes Using a Bioinformatic Approach.	BSB	2009	DBLP DOI BibTeX RDF	HIV-1, subtype C, epitope, gp120, bioinformatics, HLA
18	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
18	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
18	Peter Niebert, Doron A. Peled, Amir Pnueli	Discriminative Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
18	Sven Schewe	ATL* Satisfiability Is 2EXPTIME-Complete.	ICALP (2)	2008	DBLP DOI BibTeX RDF
18	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
18	Sylvain Hallé, Roger Villemaire	Satisfying a Fragment of XQuery by Branching-Time Reduction.	TIME	2008	DBLP DOI BibTeX RDF
18	Dietmar Berwanger, Erich Grädel, Giacomo Lenzi	The Variable Hierarchy of the µ-Calculus Is Strict.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
18	Wenhui Zhang	Model Checking with SAT-Based Characterization of ACTL Formulas.	ICFEM	2007	DBLP DOI BibTeX RDF
18	Selma Ikiz, Alper Sen 0001	Runtime Verification of k-Mutual Exclusion for SoCs.	MTV	2007	DBLP DOI BibTeX RDF
18	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
18	Conghua Zhou, Zhenyu Chen 0001, Zhihong Tao	QBF-Based Symbolic Model Checking for Knowledge and Time.	TAMC	2007	DBLP DOI BibTeX RDF
18	Sven Schewe, Bernd Finkbeiner	Distributed Synthesis for Alternating-Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
18	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
18	Yulin Ding, Yan Zhang	System Modification Case Studies.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
18	Donghuo Chen, Guangquan Zhang 0002, Jinzhao Wu	QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.	TASE	2007	DBLP DOI BibTeX RDF
18	Nils Bulling, Wojciech Jamroga	Agents, beliefs, and plausible behavior in a temporal setting.	AAMAS	2007	DBLP DOI BibTeX RDF	temporal logic, multiagent systems, beliefs, plausibility
18	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
18	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
18	Daniele Varacca, Hagen Völzer	Temporal Logics and Model Checking for Fairly Correct Systems.	LICS	2006	DBLP DOI BibTeX RDF
18	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
18	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
18	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance	A New Logical Semantics for Agent Communication.	CLIMA	2006	DBLP DOI BibTeX RDF
18	Franz Wotawa, Bibiane Angerer	Retaining Consistency in Temporal Knowledge Bases.	IEA/AIE	2006	DBLP DOI BibTeX RDF	temporal reasoning, Knowledge-processing, KBS methodology
18	Sven Schewe, Bernd Finkbeiner	Synthesis of Asynchronous Systems.	LOPSTR	2006	DBLP DOI BibTeX RDF
18	Hyoung Seok Hong, Hasan Ural	Dependence Testing: Extending Data Flow Testing with Control Dependence.	TestCom	2005	DBLP DOI BibTeX RDF
18	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
18	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
18	Bernd Finkbeiner, Sven Schewe	Uniform Distributed Synthesis.	LICS	2005	DBLP DOI BibTeX RDF
18	Pablo Barceló, Leonid Libkin	Temporal Logics over Unranked Trees.	LICS	2005	DBLP DOI BibTeX RDF
18	Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm	Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.	SPIN	2005	DBLP DOI BibTeX RDF
18	Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi	Regular Vacuity.	CHARME	2005	DBLP DOI BibTeX RDF
18	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
18	Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer	Meeting the Deadline: Why, When and How.	FAABS	2004	DBLP DOI BibTeX RDF
18	Alexander Bolotov, Artie Basukoski	A Clausal Resolution Method for Branching-Time Logic ECTL+.	TIME	2004	DBLP DOI BibTeX RDF
18	Jan M. Broersen	On the Logic of 'Being Motivated to Achieve rho, Before delta'.	JELIA	2004	DBLP DOI BibTeX RDF
18	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	Model-Checking for Weighted Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
18	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
18	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
18	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
18	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
18	Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti	Open computation tree logic with fairness.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
18	Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier	Model Checking Performability Properties.	DSN	2002	DBLP DOI BibTeX RDF
18	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
18	Julian C. Bradfield	Introduction to Modal and Temporal Mu-Calculi (Abstract).	CONCUR	2002	DBLP DOI BibTeX RDF
18	Michael Huth 0001	Model Checking Modal Transition Systems Using Kripke Structures.	VMCAI	2002	DBLP DOI BibTeX RDF
18	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
18	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
18	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
18	Wiktor B. Daszczuk	Evaluation of Temporal Formulas Based on "Checking by Spheres".	DSD	2001	DBLP DOI BibTeX RDF
18	Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh	Model-Checking over Multi-valued Logics.	FME	2001	DBLP DOI BibTeX RDF
18	Tim French 0002	Decidability of Quantifed Propositional Branching Time Logics.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
18	Ulf Nilsson, Johan Lübcke	Constraint Logic Programming for Local and Symbolic Model-Checking.	Computational Logic	2000	DBLP DOI BibTeX RDF
18	Thomas A. Henzinger, Sriram K. Rajamani	Fair Bisimulation.	TACAS	2000	DBLP DOI BibTeX RDF
18	Keijo Heljanko	Model Checking with Finite Complete Prefixes Is PSPACE-Complete.	CONCUR	2000	DBLP DOI BibTeX RDF
18	Martin Leucker	Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata.	LPAR	1999	DBLP DOI BibTeX RDF
18	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
18	Udo Brockmeyer, Gunnar Wittich	Real-Time Verification of Statemate Designs.	CAV	1998	DBLP DOI BibTeX RDF
18	Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton	Structural Symmetry and Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
18	Yonit Kesten, Amir Pnueli, Li-on Raviv	Algorithmic Verification of Linear Temporal Logic Specifications.	ICALP	1998	DBLP DOI BibTeX RDF
18	Witold Charatonik, Andreas Podelski	Set-Based Analysis of Reactive Infinite-State Systems.	TACAS	1998	DBLP DOI BibTeX RDF
18	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
18	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time Temporal Logic.	FOCS	1997	DBLP DOI BibTeX RDF
18	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-Time Temporal Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
18	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.	CAV	1995	DBLP DOI BibTeX RDF
18	Orna Kupferman	Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.	CAV	1995	DBLP DOI BibTeX RDF
18	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
18	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
18	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
18	Sophie Pinchinat	Ordinal Processes in Comparative Concurrency Semantics.	CSL	1991	DBLP DOI BibTeX RDF
18	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
18	Wojciech Penczek	A Concurrent Branching Time Temporal Logic.	CSL	1989	DBLP DOI BibTeX RDF
18	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	Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller	A foundation for flow-based program matching: using temporal logic and model checking.	POPL	2009	DBLP DOI BibTeX RDF	program matching, model checking, program transformation, ctl, bug finding
18	Zaid Altahat, Tzilla Elrad	Detection and Verification of Semantic Interaction In AOSD.	ITNG	2009	DBLP DOI BibTeX RDF	AOM, Modular Model Checking, AOP, CTL, Aspect Interaction
18	John Christopher McCabe-Dansted, Tim French 0002, Mark Reynolds 0001, Sophie Pinchinat	On the Expressivity of RoCTL*.	TIME	2009	DBLP DOI BibTeX RDF	reliability, Robustness, time, logic, CTL
18	Sven Feja, Daniel Fötsch	Model Checking with Graphical Validation Rules.	ECBS	2008	DBLP DOI BibTeX RDF	Model Checking, Workflow, Specification, Business Process, 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	Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng	Dual Flow Nets: Modeling the control/data-flow relation in embedded systems.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Dual flow nets, tripartite graph, modeling, embedded systems, Petri nets, formal verification, symbolic model checking, CTL, LTL
18	Arie Gurfinkel, Marsha Chechik, Benet Devereux	Temporal Logic Query Checking: A Tool for Model Exploration.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
18	Marsha Chechik, Wei Ding	Lightweight Reasoning about Program Correctness.	Inf. Syst. Frontiers	2002	DBLP DOI BibTeX RDF	model checking, program analysis, abstract interpretation, CTL
18	Arie Gurfinkel, Benet Devereux, Marsha Chechik	Model exploration with temporal logic query checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	multi-valued model-checking, query-checking, CTL
17	Jonghyuck Choi, Yoonjae Choi, Jincheol Sim, Youngwook Kwon, Seungwoo Park, Seongcheol Kim, Changmin Sim, Chulwoo Kim	A Single-Ended NRZ Receiver With Gain-Enhanced Active-Inductive CTLE and Reference-Selection DFE for Memory Interfaces.	IEEE J. Solid State Circuits	2024	DBLP DOI BibTeX RDF
17	Jooyoung Bae, Wonsik Oh, Jahyun Koo 0003, Chengshuo Yu, Bongjin Kim	CTLE-Ising: A Continuous-Time Latch-Based Ising Machine Featuring One-Shot Fully Parallel Spin Updates and Equalization of Spin States.	IEEE J. Solid State Circuits	2024	DBLP DOI BibTeX RDF
17	Veeramani Sonai, Indira Bharathi, Muthaiah U, Sountharrajan Sehar, Durga Prasad Bavirisetti	CTLA: Compressed Table Look up Algorithm for Open Flow Switch.	IEEE Open J. Comput. Soc.	2024	DBLP DOI BibTeX RDF
17	Phuong-Nam Nguyen	Biomarker discovery with quantum neural networks: a case-study in CTLA4-activation pathways.	BMC Bioinform.	2024	DBLP DOI BibTeX RDF
17	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
17	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
17	Nicolas Fröhlich, Arne Meier	Submodel Enumeration for CTL Is Hard.	AAAI	2024	DBLP DOI BibTeX RDF
17	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
17	Chong Chen, Yinggao Zhou	Dynamic analysis of HIV model with a general incidence, CTLs immune response and intracellular delays.	Math. Comput. Simul.	2023	DBLP DOI BibTeX RDF
17	Xueshuai Lv, Mengyao Li, Rumeng Zhang, Ling Gao	CTLC: A Co-Training-Based Label Correction Method for Webly-Supervised Learning.	Neural Process. Lett.	2023	DBLP DOI BibTeX RDF
17	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
17	Nguyen Huy Hoang Vo, Huong Thi Thu Phung, Khanh Linh Chung, Thien Y. Vu	Design And Evaluating The Efficacy Of Novel Antibodies Enhancing Binding On CTLA-4 And PD-1 Immune Checkpoints.	J. Adv. Eng. Comput.	2023	DBLP DOI BibTeX RDF