Search results for "linear-time temporal logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Norihiro Kamide	Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.	CLIMA	2008	DBLP DOI BibTeX RDF
2	Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin	Automated Natural Deduction for Propositional Linear-Time Temporal Logic.	TIME	2007	DBLP DOI BibTeX RDF
2	Laura Giordano, Alberto Martelli	Tableau-based automata construction for dynamic linear time temporal logic*.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification 03B44, 68N30
2	Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin	Natural Deduction Calculus for Linear-Time Temporal Logic.	JELIA	2006	DBLP DOI BibTeX RDF
2	Laura Giordano, Alberto Martelli	On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic.	TIME	2004	DBLP DOI BibTeX RDF
2	Eric Bodden	A lightweight LTL runtime verification tool for java.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	joinpoints, linear-time temporal logic (LTL), metadata, aspectJ, concurrent systems, runtime verification
2	Yih-Kuen Tsay	Compositional Verification in Linear-Time Temporal Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
2	Klaus Schneider, Dirk W. Hoffmann	A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata.	TPHOLs	1999	DBLP DOI BibTeX RDF
2	Jesper G. Henriksen, P. S. Thiagarajan	A Product Version of Dynamic Linear Time Temporal Logic.	CONCUR	1997	DBLP DOI BibTeX RDF
2	P. S. Thiagarajan, Igor Walukiewicz	An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.	LICS	1997	DBLP DOI BibTeX RDF
2	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
2	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
1	Norihiro Kamide	Bounded linear-time temporal logic: A proof-theoretic investigation.	Ann. Pure Appl. Logic	2012	DBLP DOI BibTeX RDF
1	Alan Jeffrey	LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs.	PLPV	2012	DBLP DOI BibTeX RDF
1	Kensuke Kojima, Atsushi Igarashi	Constructive linear-time temporal logic: Proof systems and Kripke semantics.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Heinrich Wansing, Norihiro Kamide	Synchronized Linear-Time Temporal Logic.	Studia Logica	2011	DBLP DOI BibTeX RDF
1	Norihiro Kamide, Heinrich Wansing	A Paraconsistent Linear-time Temporal Logic.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Mariusz Giero	The Axiomatization of Propositional Linear Time Temporal Logic.	Formalized Mathematics	2011	DBLP DOI BibTeX RDF
1	Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen	Learning Probabilistic Automata for Model Checking.	QEST	2011	DBLP DOI BibTeX RDF	Probabilistic Linear Time Temporal Logic, Model Checking, Learning, Probabilistic Automata
1	Ken Kaneiwa, Norihiro Kamide	Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application.	Applied Artificial Intelligence	2010	DBLP DOI BibTeX RDF
1	Norihiro Kamide, Heinrich Wansing	Combining linear-time temporal logic with constructiveness and paraconsistency.	J. Applied Logic	2010	DBLP DOI BibTeX RDF
1	Stéphane Demri, Alexander Rabinovich	The complexity of linear-time temporal logic over the class of ordinals	Logical Methods in Computer Science	2010	DBLP DOI BibTeX RDF
1	Martin Leucker, César Sánchez	Regular Linear-Time Temporal Logic.	TIME	2010	DBLP DOI BibTeX RDF
1	Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof	Declarative workflows to efficiently manage flexible and advanced business processes.	PPDP	2010	DBLP DOI BibTeX RDF	declarative workflow, executable specification language, temporal logic, business process management
1	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
1	Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu	Automatic verification of data-centric business processes.	ICDT	2009	DBLP DOI BibTeX RDF
1	Christian Dax, Felix Klaedtke, Stefan Leue	Specification Languages for Stutter-Invariant Regular Properties.	ATVA	2009	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Joe Hendrix	Linear Functional Fixed-points.	CAV	2009	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Marco Roveri, Stefano Tonetta	Requirements Validation for Hybrid Systems.	CAV	2009	DBLP DOI BibTeX RDF
1	Christian Dax, Felix Klaedtke, Martin Lange	On Regular Temporal Logics with Past, .	ICALP	2009	DBLP DOI BibTeX RDF
1	Mehmet A. Orgun, Guido Governatori, Chuchang Liu	Modal tableaux for verifying stream authentication protocols.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	Fibring logics, System-specific trust theories, Modal tableaux, Temporal logic, Security protocols, Belief logic
1	Monika Heiner, Sebastian Lehrack, David Gilbert, Wolfgang Marwan	Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments.	T. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
1	Pengcheng Zhang, Bixin Li, Mingjie Sun	A Timed Extension of Property Sequence Chart.	HASE	2008	DBLP DOI BibTeX RDF
1	Robin Donaldson, David Gilbert	A Model Checking Approach to the Parameter Estimation of Biochemical Pathways.	CMSB	2008	DBLP DOI BibTeX RDF
1	Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin	A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.	IICAI	2007	DBLP BibTeX RDF
1	Jiri Barnat, Lubos Brim, Martin Leucker	Parallel Model Checking and the FMICS-jETI Platform.	ICECCS	2007	DBLP DOI BibTeX RDF
1	Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell	The Cost of Punctuality.	LICS	2007	DBLP DOI BibTeX RDF
1	Sven Schewe, Bernd Finkbeiner	Bounded Synthesis.	ATVA	2007	DBLP DOI BibTeX RDF
1	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.	CADE	2007	DBLP DOI BibTeX RDF
1	Martin Lange	Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Noetherianity and Combination Problems.	FroCos	2007	DBLP DOI BibTeX RDF
1	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro	Model Checking Temporal Metric Specifications with Trio2Promela.	FSEN	2007	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin
1	Rémi Brochenin, Stéphane Demri, Étienne Lozes	Reasoning About Sequences of Memory States.	LFCS	2007	DBLP DOI BibTeX RDF
1	Stéphane Demri, Deepak D'Souza, Régis Gascon	A Decidable Temporal Logic of Repeating Values.	LFCS	2007	DBLP DOI BibTeX RDF
1	Kai Engelhardt, Peter Gammie, Ron van der Meyden	Model Checking Knowledge and Linear Time: PSPACE Cases.	LFCS	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Model Checking Invariants Through Search.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Alberto Lluch-Lafuente	Towards Model Checking Spatial Properties with SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
1	Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham	Improved verification of hardware designs through antecedent conditioned slicing.	STTT	2007	DBLP DOI BibTeX RDF	LTL property, Antecedent conditioned slicing, Verilog RTL, Model checking, Program slicing, Hardware description languages, Hardware verification
1	Shengbing Jiang, Ratnesh Kumar	Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications.	IEEE T. Automation Science and Engineering	2006	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge	Temporal qualitative coalitional games.	AAMAS	2006	DBLP DOI BibTeX RDF	logic, repeated games, coalitional games
1	Yosihiro Yuse, Atsushi Igarashi	A modal type system for multi-level generating extensions with persistent code.	PPDP	2006	DBLP DOI BibTeX RDF	time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
1	Andreas Bauer 0002, Martin Leucker, Christian Schallhart	Model-based runtime analysis of distributed reactive systems.	ASWEC	2006	DBLP DOI BibTeX RDF
1	Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori	Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.	DASC	2006	DBLP DOI BibTeX RDF
1	Milos Besta, Frank A. Stomp	An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm.	ICECCS	2006	DBLP DOI BibTeX RDF
1	Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin	Natural Deduction Calculus for Computation Tree Logic.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Aarti Gupta	An Automata-Theoretic Approach for Model Checking Threads for LTL Propert.	LICS	2006	DBLP DOI BibTeX RDF
1	Clare Dixon, Michael Fisher, Boris Konev	Is There a Future for Deductive Temporal Verification?	TIME	2006	DBLP DOI BibTeX RDF	fragments of PTL, deductive verification, clausal temporal resolution, complexity
1	Alberto Martelli, Laura Giordano	Reasoning About Web Services in a Temporal Action Logic.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
1	Alexander Moshe Rabinovich	Decidability and Expressive Power of Real Time Logics.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar	Model Checking with Strong Fairness.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	fair discrete systems, temporal testers, model checking, temporal logic, fairness, CTL, LTL
1	Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis	Analysis of recursive state machines.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
1	Maty Sylla, Frank A. Stomp, Willem P. de Roever	Verifying Parameterized Refinement.	ICECCS	2005	DBLP DOI BibTeX RDF
1	Abdelouahid Derhab, Nadjib Badache, Abdelmadjid Bouabdallah	A Partition Prediction Algorithm for Service Replication in Mobile Ad Hoc Networks.	WONS	2005	DBLP DOI BibTeX RDF	TORA routing protocol, mobile ad hoc networks, formal verification, availability, service replication
1	Stéphane Demri, David Nowak	Reasoning About Transfinite Sequences.	ATVA	2005	DBLP DOI BibTeX RDF
1	Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun	A Fibred Belief Logic for Multi-agent Systems.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
1	Stefan Staber, Barbara Jobstmann, Roderick Bloem	Finding and Fixing Faults.	CHARME	2005	DBLP DOI BibTeX RDF
1	Igor Walukiewicz	From Logic to Games.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Milos Besta, Frank A. Stomp	A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	formal methods, pattern matching, theorem proving, PVS
1	Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma	Collecting Statistics Over Runtime Executions.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	program profiling, temporal logic, specification languages, runtime verification, runtime monitoring
1	Kimmo Varpaaniemi	On Stubborn Sets in the Verification of Linear Time Temporal Properties.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	reduced state space generation, stubborn sets, verification of LTL formulas, reachability analysis
1	Igor Walukiewicz	Difficult Configurations-On the Complexity of LTrL.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	verification, temporal logics, trace theory
1	Padmanabhan Krishnan	Uniform Descriptions for Model Based Testing.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
1	Sudarshan Vasudevan, James F. Kurose, Donald F. Towsley	Design and Analysis of a Leader Election Algorithm for Mobile Ad Hoc Networks.	ICNP	2004	DBLP DOI BibTeX RDF
1	Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell	Object Analysis Patterns for Embedded Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	object analysis, model checking, embedded systems, formal specification, conceptual modeling, requirements, patterns, Object-oriented modeling
1	Fang Wang, Sofiène Tahar, Otmane Aït Mohamed	First-Order LTL Model Checking Using MDGs.	ATVA	2004	DBLP DOI BibTeX RDF
1	Patrick Maier	Intuitionistic LTL and a New Characterization of Safety and Liveness.	CSL	2004	DBLP DOI BibTeX RDF
1	Anca Muscholl, Igor Walukiewicz	An NP-Complete Fragment of LTL.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Marco Roveri, Daniel Sheridan	Bounded Verification of Past LTL.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Stéphane Demri	LTL over Integer Periodicity Constraints: (Extended Abstract).	FoSSaCS	2004	DBLP DOI BibTeX RDF
1	G. Venkatesh	Reasoning About Game Equilibria Using Temporal Logic.	FSTTCS	2004	DBLP DOI BibTeX RDF
1	Laura Giordano, Alberto Martelli, Camilla Schwind	Verifying Communicating Agents by Model Checking in a Temporal Action Logic.	JELIA	2004	DBLP DOI BibTeX RDF
1	Nicolas Markey	Past is for free: on the complexity of verifying linear temporal properties with past.	Acta Inf.	2004	DBLP DOI BibTeX RDF
1	Bernd Finkbeiner, Henny Sipma	Checking Finite Traces Using Alternating Automata.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	alternating automata, trace checking, temporal logic, runtime verification, online monitoring
1	Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau	Verifying linear time temporal logic properties of concurrent Ada programs with quasar.	SIGAda	2003	DBLP DOI BibTeX RDF	petri nets, concurrency, temporal logic, software verification
1	Alexander Bolotov	A Clausal Resolution Method for Extended Computation Tree Logic ECTL. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
1	Bernhard Heinemann	An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
1	Laura Giordano, Alberto Martelli, Camilla Schwind	Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.	AI*IA	2003	DBLP DOI BibTeX RDF
1	Doron Drusinsky	Monitoring Temporal Rules Combined with Time Series.	CAV	2003	DBLP DOI BibTeX RDF
1	Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Model-Checking TRIO Specifications in SPIN.	FME	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin, modular specifications
1	Jei-Wen Teng, Yih-Kuen Tsay	Composing Temporal-Logic Specifications with Machine Assistance.	FME	2003	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software
1	Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.	MFCS	2003	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
1	Deepak D'Souza, Madhavan Mukund	Checking Consistency of SDL+MSC Specifications.	SPIN	2003	DBLP DOI BibTeX RDF
1	Carsten Fritz	Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata.	CIAA	2003	DBLP DOI BibTeX RDF
1	P. S. Thiagarajan, Igor Walukiewicz	An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
1	Anatoli Degtyarev, Michael Fisher, Boris Konev	A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
1	Milos Besta, Frank A. Stomp	Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm.	ICECCS	2002	DBLP DOI BibTeX RDF
1	François Laroussinie, Nicolas Markey, Ph. Schnoebelen	Temporal Logic with Forgettable Past.	LICS	2002	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
1	Stéphane Demri, Deepak D'Souza	An Automata-Theoretic Approach to Constraint LTL.	FSTTCS	2002	DBLP DOI BibTeX RDF