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 7-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 |
|