The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for pltl with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2004 (17) 2005-2009 (22) 2011-2020 (8)
Publication types (Num. hits)
article(9) inproceedings(37) phdthesis(1)
Venues (Conferences, Journals, ...)
SIGCSE(4) ZB(3) ATVA(2) CSL(2) FMCAD(2) LPAR(2) MEMOCODE(2) TIME(2) ACM Trans. Comput. Log.(1) ACM Trans. Embed. Comput. Syst...(1) Acta Informatica(1) CAV(1) CILC(1) CoRR(1) FIE(1) FME(1) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33 occurrences of 26 keywords

Results
Found 47 publication records. Showing 47 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
119Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko Reformulation: A Way to Combine Dynamic Properties and B Refinement. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Verification of PLTL properties, Combination of proof and model-checking, Refinement development
112Keijo Heljanko, Tommi A. Junttila, Timo Latvala Incremental and Complete Bounded Model Checking for Full PLTL. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PLTL, Complete, Bounded Model Checking, Incremental, NuSMV
93Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand Modular Verification for a Class of PLTL Properties. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity
93Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila Simple Is Better: Efficient Bounded Model Checking for Past LTL. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Past LTL, Bounded Model Checking, NuSMV
82Françoise Bellegarde, Samir Chouali, Jacques Julliand Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF B event systems1, fairness hypotheses, PLTL verification, specification
75Christophe Darlot, Jacques Julliand, Olga Kouchnarenko Refinement Preserves PLTL Properties. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Presevation of PLTL properties, B event systems, Refinement development
75Stéphane Demri, Philippe Schnoebelen The Complexity of Propositional Linear Temporal Logics in Simple Cases (Extended Abstract). Search on Bibsonomy STACS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
67Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas A Cut-Free and Invariant-Free Sequent Calculus for PLTL. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Pierre-Alain Masson Vérification par Model-Checking Modulaire de Propriétés Dynamiques PLTL exprimées dans le cadre de Spécifications B événementielles. (Verification by Modular Model-Checking of PLTL Dynamic Properties Expressed in the Context of B Event Systems). Search on Bibsonomy 2001   RDF
56Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde PLTL-partitioned model checking for reactive systems under fairness assumptions. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
56Mouna Saad, Leila Jemni Ben Ayed Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Marco Benedetti, Alessandro Cimatti Bounded Model Checking for Past LTL. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled Parametric temporal logic for "model measuring". Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF model checking, temporal logic, quantitative analysis
56Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled Parametric Temporal Logic for "Model Measuring". Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Stéphane Maag, Fatiha Zaïdi Testing methodology for an ad hoc routing protocol. Search on Bibsonomy PM2HW2N The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PLTL, ad hoc network protocols, simulations, model checking, verification, testing, SPIN
37Amélie Gheerbrant, Balder ten Cate Craig Interpolation for Linear Temporal Languages. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Propositional Linear Temporal Logic, Linear Time ?-Calculus, Craig Interpolation
37Pietro Abate, Rajeev Goré, Florian Widmann One-Pass Tableaux for Computation Tree Logic. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Nicolas Markey Past is for free: on the complexity of verifying linear temporal properties with past. Search on Bibsonomy Acta Informatica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Alessandro Cimatti, Marco Roveri, Daniel Sheridan Bounded Verification of Past LTL. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF B Refinement Design, Verification, Specification, Dynamic properties, Event Systems
30M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds 0001, Omar Chowdhury, Cesare Tinelli SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. Search on Bibsonomy FMCAD The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
30Seemein Shayesteh, Zachary Cochran, Raj Dhavalikar, Ian Huelsman, Akul Madan, Taylor Peters, Ahmed Yago, Grant Wible, Maher E. Rizkalla Enhancing Course Objectives for a Sophomore Electronic Devices Class via Peer-Led Team Learning (PLTL) Model and Attached Projects. Search on Bibsonomy FIE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio Towards Certified Model Checking for PLTL Using One-Pass Tableaux. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Cong Tian, Zhenhua Duan, Mengfei Yang Transformation from PLTL to automata via NFGs. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations. Search on Bibsonomy CILC The full citation details ... 2015 DBLP  BibTeX  RDF
30Martin Suda 0001, Christoph Weidenbach Labelled Superposition for PLTL. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Martin Suda 0001, Christoph Weidenbach A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Christian Murphy, Rita Manco Powell, Kristen Parton, Adam Cannon Lessons learned from a PLTL-CS program. Search on Bibsonomy SIGCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
30Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas Dual Systems of Tableaux and Sequents for PLTL. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Cong Tian, Zhenhua Duan A note on stutter-invariant PLTL. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Jacques Julliand, Pierre-Alain Masson, Emilie Oudot Partitioned PLTL model-checking for refined transition systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Michel Ludwig, Ullrich Hustadt Resolution-Based Model Construction for PLTL. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Propositional Linear-Time Temporal Logic, Automated Model Construction, Resolution
30Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro Systematic Semantic Tableaux for PLTL. Search on Bibsonomy PROLE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
30Françoise Bellegarde, Samir Chouali, Jacques Julliand Refinemant verification of fair transition systems can contribute to PLTL model checking. Search on Bibsonomy MEMOCODE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Stefan Schwendimann A New One-Pass Tableau Calculus for PLTL. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Vladimir A. Zakharov Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms. Search on Bibsonomy LFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Susan Horwitz, Susan H. Rodger, Maureen Biggers, David W. Binkley, C. Kolin Frantz, Dawn Gundermann, Susanne E. Hambrusch, Steven Huss-Lederman, Ethan V. Munson, Barbara G. Ryder, Monica Sweat Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. Search on Bibsonomy SIGCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF esp, introductory computer science course, peer-led team learning, pltl, inclusion, women in computer science, under-represented groups
19Monika Heiner, Sebastian Lehrack, David R. Gilbert, Wolfgang Marwan Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments. Search on Bibsonomy Trans. Comp. Sys. Biology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Ahmed Awad 0001, Matthias Weidlich 0001, Mathias Weske Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. Search on Bibsonomy ICSOC/ServiceWave The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Business Process Querying, Violation Explanation, Temporal Logic Querying, Compliance Checking
19Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Maureen Biggers, Tuba Yilmaz, Monica Sweat Using collaborative, modified peer led team learning to improve student success and retention in intro cs. Search on Bibsonomy SIGCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cs 1/2, peer led team learning, student success, computer science education, collaborative learning, retention
19Wei Dong 0006, Martin Leucker, Christian Schallhart Impartial Anticipation in Runtime-Verification. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Steven Huss-Lederman, Donald Chinn, James Skrentny Serious fun: peer-led team learning in CS. Search on Bibsonomy SIGCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF peer-led team learning, underrepresented groups, cooperative learning
19Seong-ick Moon, Kwang Hyung Lee, Doheon Lee Fuzzy branching temporal logic. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko How to Compute the Refinement Relation for Parameterized Systems. Search on Bibsonomy MEMOCODE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Paul Gastin, Denis Oddoux LTL with Past and Two-Way Very-Weak Alternating Automata. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license