Search results for "PLTL"

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