Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
Model Checking of CTL-Extended OCL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings, pp. 221-240, 2014, Springer, 978-3-319-11244-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko |
CTL+FO verification as constraint solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 101-104, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Amirhossein Vakili, Nancy A. Day |
Verifying CTL-live properties of infinite state models using an SMT solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 213-223, 2014, ACM, 978-1-4503-3056-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Benjamin Zarrieß, Jens Claßen |
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 939-944, 2014, IOS Press, 978-1-61499-418-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Goré |
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pp. 26-45, 2014, Springer, 978-3-319-08586-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Clifford Ting, Mohammad Sadegh Jalali, Ali Sheikholeslami, Masaya Kibune, Hirotaka Tamura |
A blind ADC-based CDR with digital data interpolation and adaptive CTLE and DFE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICC ![In: Proceedings of the IEEE 2014 Custom Integrated Circuits Conference, CICC 2014, San Jose, CA, USA, September 15-17, 2014, pp. 1-4, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl |
MocOCL: A Model Checker for CTL-Extended OCL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014., pp. 10-15, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Takayuki Shibasaki, Win Chaivipas, Yanfei Chen, Yoshiyasu Doi, Takayuki Hamada, Hideki Takauchi, Toshihiko Mori, Yoichi Koyanagi, Hirotaka Tamura |
A 56-Gb/s receiver front-end with a CTLE and 1-tap DFE in 20-nm CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSIC ![In: Symposium on VLSI Circuits, VLSIC 2014, Digest of Technical Papers, Honolulu, HI, USA, June 10-13, 2014, pp. 1-2, 2014, IEEE, 978-1-4799-3327-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Christian Doczkal, Gert Smolka |
Completeness and Decidability Results for CTL in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 226-241, 2014, Springer, 978-3-319-08969-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Fairness with EXPTIME Bundled CTL Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014, pp. 164-173, 2014, IEEE Computer Society, 978-1-4799-4228-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Miloud Bennama, Thouraya Bouabana-Tebibel |
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014., pp. 102-112, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
CTL Model Checking in the Cloud Using MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 333-340, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Amirhossein Vakili, Nancy A. Day |
Reducing CTL-live model checking to first-order logic validity checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014, pp. 215-218, 2014, IEEE, 978-0-9835678-4-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yu Li, Hui Lin, Yuanzhi Zhang, Jie Chen 0009 |
Analysis of polarimetric features from CTLR compact polarimetric SAR data for discriminating oil slick damping status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2014 IEEE Geoscience and Remote Sensing Symposium, IGARSS 2014, Quebec City, QC, Canada, July 13-18, 2014, pp. 3490-3493, 2014, IEEE, 978-1-4799-5775-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yoshiaki Muroya, Yoichi Enatsu, Huaixing Li |
Global stability of a delayed HTLV-I infection model with a class of nonlinear incidence rates and CTLs immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 219(21), pp. 10559-10573, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ahmed M. Elaiw, Robba M. Abukwaik, Ebraheem O. Alzahrani |
Global Stability of HIV Infection of CD4+ T Cells and Macrophages with CTL Immune Response and Distributed Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2013, pp. 653204:1-653204:11, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
An Experiment on Parallel Model Checking of a CTL Fragment ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.7533, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Claudia Carapelle, Alexander Kartzow, Markus Lohrey |
Satisfiability of CTL* with constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.0814, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Mark Reynolds 0001 |
A Faster Tableau for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013., pp. 50-63, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Dimitar P. Guelev |
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 81-89, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |
Distributed CTL Model Checking in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.6670, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Qihui Wang, Lijun Xie, Bo Zhu, Yao Zheng, Shihua Cao |
Harmful Gas Recognition Exploiting a CTL Sensor Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 13(10), pp. 13509-13520, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hongying Shu, Lin Wang 0018, James Watmough |
Global Stability of a Nonlinear Viral Infection Model with Infinitely Distributed Intracellular Delays and CTL Immune Responses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 73(3), pp. 1280-1302, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Balbiani, Emiliano Lorini |
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings, pp. 251-265, 2013, Springer, 978-3-642-39991-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales |
A CTL Model Checker for Stochastic Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 286-289, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Furkan Ercan, Ali Muhtaroglu |
Energy-delay performance of capacitive threshold logic (CTL) circuits for threshold detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEAC ![In: 4th Annual International Conference on Energy Aware Computing Systems and Applications, ICEAC 2013, Istanbul, Turkey, December 16-18, 2013, pp. 109-114, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard |
Local Model Checking of Weighted CTL with Upper-Bound Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 178-195, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Florin Stoica, Laura Florentina Stoica |
Building a new CTL model checker using Web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftCOM ![In: 21st International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2013, Split-Primosten, Croatia, September 18-20, 2013, pp. 1-5, 2013, IEEE, 978-953-290-043-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Paulo T. Guerra, Aline Andrade, Renata Wassermann |
Toward the Revision of CTL Models through Kripke Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 115-130, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Asma Zoghlami, Cyril De Runz, Herman Akdag |
Through a Fuzzy CTL Logic for Modelling Urban Trajectories - A Framework for Modelling City Evolution from Past to Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 2, Barcelona, Spain, 15-18 February, 2013, pp. 514-518, 2013, SciTePress, 978-989-8565-39-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Samir Parikh, Tony Kao, Yasuo Hidaka, Jian Jiang, Asako Toda, Scott McLeod, William W. Walker, Yoichi Koyanagi, Toshiyuki Shibuya, Jun Yamada |
A 32Gb/s wireline receiver with a low-frequency equalizer, CTLE and 2-tap DFE in 28nm CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: 2013 IEEE International Solid-State Circuits Conference - Digest of Technical Papers, ISSCC 2013, San Francisco, CA, USA, February 17-21, 2013, pp. 28-29, 2013, IEEE, 978-1-4673-4515-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Claudia Carapelle, Alexander Kartzow, Markus Lohrey |
Satisfiability of CTL* with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 455-469, 2013, Springer, 978-3-642-40183-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica |
A Distributed CTL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCNET/ICE-B/OPTICS ![In: DCNET, ICE-B and OPTICS 2013 - Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems, Reykjavík, Iceland, 29 - 31 July, 2013, pp. 379-386, 2013, SciTePress, 978-989-8565-72-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
A Timed CTL Model Checker for Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 334-339, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari |
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 885-897, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Daniel Stöhr, Sabine Glesner |
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 7-14, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Yueping Dong, Wanbiao Ma |
Global Properties for a Class of Latent HIV Infection Dynamics Model with CTL Immune Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wavelets Multiresolution Inf. Process. ![In: Int. J. Wavelets Multiresolution Inf. Process. 10(5), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Xia Wang, Ahmed M. Elaiw, Xinyu Song 0001 |
Global properties of a delayed HIV infection model with CTL immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(18), pp. 9405-9414, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting CTL ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(1), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mohand Cherif Boukala, Laure Petrucci |
Distributed model-checking and counterexample search for CTL logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 3(1/2), pp. 44-59, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
Incremental, Inductive CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pp. 532-547, 2012, Springer, 978-3-642-31423-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Junaid Jameel Ahmad, Shujun Li, Ahmad-Reza Sadeghi, Thomas Schneider 0003 |
CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography and Data Security - 16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012, Revised Selected Papers, pp. 299-313, 2012, Springer, 978-3-642-32945-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
An Experiment on Parallel Model Checking of a CTL Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 284-299, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | John Christopher McCabe-Dansted |
A Tableau for the Combination of CTL and BCTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012, pp. 29-36, 2012, IEEE Computer Society, 978-1-4673-2659-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings, pp. 177-192, 2012, Springer, 978-3-642-32939-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Fu Song, Tayssir Touili |
PuMoC: a CTL model-checker for sequential programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, pp. 346-349, 2012, ACM, 978-1-4503-1204-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
Timed CTL Model Checking in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 182-200, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Gava, Michaël Guedj, Franck Pommereau |
A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2012, Beijing, China, December 14-16, 2012, pp. 79-84, 2012, IEEE, 978-0-7695-4879-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dimitar P. Guelev, Mads Dam |
An Epistemic Predicate CTL* for Finite Control π-Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M/LAMAS ![In: Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011, pp. 229-243, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jie Chen 0009, Shaun Quegan |
Calibration of Spaceborne CTLR Compact Polarimetric Low-Frequency SAR Using Mixed Radar Calibrators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 49(7), pp. 2712-2723, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Huiyan Zhu, Yang Luo, Meiling Chen |
Stability and Hopf bifurcation of a HIV infection model with CTL-response delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 62(8), pp. 3091-3102, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Radu Mateescu 0001, Pedro T. Monteiro 0001, Estelle Dumas, Hidde de Jong |
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(26), pp. 2854-2883, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers |
A linear translation from CTL* to the first-order modal μ -calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(28), pp. 3129-3139, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Yulin Ding, Yan Zhang |
CTL Model Update for System Modifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1111.0054, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Margherita Napoli, Mimmo Parente |
Graded CTL Model Checking for Test Generation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1111.2768, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas 0001, Heribert Vollmer |
Model Checking CTL is Almost Always Inherently Sequential ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 7(2), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Pieter Collins, Ivan S. Zapreev |
Computable Semantics for CTL* on Discrete-Time and Continuous-Space Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 22(4), pp. 801-821, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Junaid Jameel Ahmad, Shujun Li, Ahmad-Reza Sadeghi, Thomas Schneider 0003 |
CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2011, pp. 679, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Andrew J. Yates, Minus Van Baalen, Rustom Antia |
Virus Replication Strategies and the Critical CTL Numbers Required for the Control of Infection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 7(11), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Marjet Elemans, Rodolphe Thiébaut, Amitinder Kaur, Becca Asquith |
Quantification of the Relative Importance of CTL, B Cell, NK Cell, and Target Cell Limitation in the Control of Primary SIV-Infection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 7(3), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Mark Reynolds 0001 |
A tableau-based decision procedure for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 23(6), pp. 739-779, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Morgenstern, Klaus Schneider 0001 |
Program Sketching via CTL* Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings, pp. 126-143, 2011, Springer, 978-3-642-22305-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Miguel Carrillo, David A. Rosenblueth |
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 60-74, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Margherita Napoli, Mimmo Parente |
Graded CTL model checking for test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS)., pp. 59-66, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Rajeev Goré, Jimmy Thomson 0001, Florian Widmann |
An Experimental Comparison of Theorem Provers for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011, pp. 49-56, 2011, IEEE, 978-1-4577-1242-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Fu Song, Tayssir Touili |
Efficient CTL Model-Checking for Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings, pp. 434-449, 2011, Springer, 978-3-642-23216-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Zhaoxia Wang, Jianmin Wang 0001, Lijie Wen, Guiming Luo |
Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June, 2011, pp. 139-144, 2011, SciTePress, 978-989-8425-55-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Lan Zhang 0001, Ullrich Hustadt, Clare Dixon |
CTL-RP: A computation tree logic resolution prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Commun. ![In: AI Commun. 23(2-3), pp. 111-136, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yu Ji, Lequan Min, Yu Zheng, Yongmei Su |
A viral infection model with periodic immune response and nonlinear CTL response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 80(12), pp. 2309-2316, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Khalgui |
NCES-based modelling and CTL-based verification of reconfigurable embedded control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 61(3), pp. 198-212, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen |
Model-checking CTL* over flat Presburger counter systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 20(4), pp. 313-344, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Martin Lange, Markus Latte |
A CTL-Based Logic for Program Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings, pp. 19-33, 2010, Springer, 978-3-642-13823-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino 0002 |
A NuSMV Extension for Graded-CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, pp. 670-673, 2010, Springer, 978-3-642-14294-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Kai Engelhardt, Ralf Huuck |
Smaller Abstractions for FOR ALL CTL* without Next. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 250-259, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 206-220, 2010, Springer, 978-3-642-12031-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yulin Ding, David Hemer |
An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2010: Trends in Artificial Intelligence, 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010. Proceedings, pp. 589-594, 2010, Springer, 978-3-642-15245-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Oliver Friedmann, Markus Latte, Martin Lange |
A Decision Procedure for CTL* Based on Tableaux and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings, pp. 331-345, 2010, Springer, 978-3-642-14202-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | John Christopher McCabe-Dansted, Clare Dixon |
CTL-Like Fragments of a Temporal Logic of Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010, pp. 11-18, 2010, IEEE Computer Society, 978-0-7695-4187-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ammar Mohammed, Ulrich Furbach |
Extending CTL to Specify Quantitative Temporal Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010, pp. 70-79, 2010, SciTePress, 978-989-8425-12-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Ruifeng Xu, Chunyu Kit |
Incorporating Feature-based and Similarity-based Opinion Mining - CTL in NTCIR-8 MOAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the 8th NTCIR Workshop Meeting on Evaluation of Information Access Technologies: Information Retrieval, Question Answering and Cross-Lingual Information Access, NTCIR-8, National Center of Sciences, Tokyo, Japan, June 15-18, 2010, pp. 276-281, 2010, National Institute of Informatics (NII), 978-4-86049-053-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Paulo T. Guerra, Renata Wassermann |
Revision of CTL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2010, 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings, pp. 153-162, 2010, Springer, 978-3-642-16951-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Jan M. Broersen |
CTL.STIT: enhancing ATL to express important multi-agent system verification properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3, pp. 683-690, 2010, IFAAMAS, 978-0-9826571-1-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Sinu Paul, Helen Piontkivska |
Highly conserved and associated HIV-1 CTL and T-Helper epitopes in global HIV-1 population: potential candidates for multi-epitope HIV-1 vaccine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCB ![In: Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, BCB 2010, Niagara Falls, NY, USA, August 2-4, 2010, pp. 648, 2010, ACM, 978-1-4503-0438-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Poli |
Symbolic model checking of real-time CTL properties over preemptive time petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
17 | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
Model Checking for Graded CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 96(3), pp. 323-339, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Régis Gascon |
An Automata-based Approach for CTL* With Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 193-211, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang |
Improved Bounded Model Checking for the Universal Fragment of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(1), pp. 96-109, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking algorithm, ACTL, SAT, software verification, bounded model checking |
17 | Xueyong Zhou, Xiangyun Shi, Zhonghua Zhang, Xinyu Song 0001 |
Dynamical behavior of a virus dynamics model with CTL immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 213(2), pp. 329-347, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Rohit Kapur, Paul Reuter, Sandeep Bhatia, Brion L. Keller |
CTL and Its Usage in the EDA Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 26(1), pp. 36-43, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Frederik Graw, Roland R. Regoes |
Investigating CTL Mediated Killing with a 3D Cellular Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 5(8), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
CTL AgentSpeak(L): A specification language for agent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 64(1), pp. 31-40, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Pawel Gluchowski |
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009, pp. 33-41, 2009, IEEE Computer Society, 978-0-7695-3674-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Christian Miller, Tobias Nopper, Christoph Scholl 0001 |
Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009, pp. 87-96, 2009, Universitätsbibliothek Berlin, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Bozena Wozna-Szczesniak |
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEE-SET ![In: Advances in Software Engineering Techniques - 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers, pp. 164-178, 2009, Springer, 978-3-642-28037-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Catalin Dima |
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, pp. 29-36, 2009, IEEE Computer Society, 978-0-7695-3727-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
timed automata, epistemic logics |
17 | Olaf Beyersdorff, Arne Meier, Michael Thomas 0001, Heribert Vollmer, Martin Mundhenk, Thomas Schneider 0002 |
Model Checking CTL is Almost Always Inherently Sequential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, pp. 21-28, 2009, IEEE Computer Society, 978-0-7695-3727-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model checking, complexity, temporal logic |
17 | Andrea Masini, Luca Viganò 0001, Marco Volpe 0001 |
A Labeled Natural Deduction System for a Fragment of CTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 338-353, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yan Zhang 0003, Yulin Ding |
CTL Model Update for System Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 31, pp. 113-155, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan M. Carlson, Zabrina L. Brumme, Christine M. Rousseau, Chanson J. Brumme, Philippa Matthews, Carl Myers Kadie, James I. Mullins, Bruce D. Walker, P. Richard Harrigan, Philip J. R. Goulder, David Heckerman |
Phylogenetic Dependency Networks: Inferring Patterns of CTL Escape and Codon Covariation in HIV-1 Gag. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 4(11), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Dov M. Gabbay, Amir Pnueli |
A Sound and Complete Deductive System for CTL* Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 16(6), pp. 499-536, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|