Tag ltl [27 articles] Export Sort

Recent papers classified by the tag ltl.

Hide details

	Tools and rules for the practicing verifier [My Copy] (1990) by Z. Manna, Amir Pnueli posted to modelchecking ltl by fsautomata on 2009-11-05 04:15:49 as
	Property-based Slicing for Agent Verification [My Copy] J Logic Computation (16 June 2009), exp029. by Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser posted to ltl bdi agents by louised on 2009-10-19 15:42:20 as
	The temporal logic of programs [My Copy] Foundations of Computer Science, 1977., 18th Annual Symposium on In Symposium on Foundations of Computer Science, Vol. 0 (18 July 2008), pp. 46-57. by Amir Pnueli posted to concurrency linear_temporal_logic ltl nrl parallel by knowlengr on 2009-07-29 16:27:35 as along with 3 people ajholanda michaelbanks prahlad
	On the freeze quantifier in Constraint LTL: Decidability and complexity☆ [My Copy] Information and Computation, Vol. 205, No. 1. (January 2007), pp. 2-24. by S DEMRI,, R LAZIC,, D NOWAK, posted to ltl temporal-logics by streetlightios on 2009-05-12 04:00:26 as along with 2 people dimap fheintz
	LTL with the Freeze Quantifier and Register Automata [My Copy] Logic in Computer Science, 2006 21st Annual IEEE Symposium on In Logic in Computer Science, 2006 21st Annual IEEE Symposium on (2006), pp. 17-26. by S. Demri, R. Lazic posted to automata ltl by streetlightios on 2009-05-12 03:58:12 as along with 1 person fheintz
	UPPAAL — a tool suite for automatic verification of real-time systems [My Copy] Hybrid Systems III (1996), pp. 232-243. by Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi posted to ltl modelchecking by fsautomata on 2009-03-19 18:32:42 as
	Software Construction and Analysis Tools for Future Space Missions [My Copy] by Michael R. Lowry posted to ltl modelchecking by fsautomata on 2009-03-19 18:30:19 as
	Property specification patterns for finite-state verification [My Copy] In Proceedings of the Second Workshop on Formal Methods in Software Practice (1998), pp. 7-15. by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to ltl modelchecking by fsautomata on 2009-03-18 03:55:20 as
	Fast LTL to Büchi Automata Translation [My Copy] In CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification (2001), pp. 53-65. by Paul Gastin, Denis Oddoux posted to ltl modelchecking by fsautomata on 2009-03-18 03:53:37 as
	The complexity of propositional linear temporal logics [My Copy] J. ACM, Vol. 32, No. 3. (July 1985), pp. 733-749. by A. P. Sistla, E. M. Clarke posted to logic ltl modelchecking by fsautomata on 2009-03-18 03:50:55 as along with 1 person jfischer
	Reasoning about infinite computation paths [My Copy] Foundations of Computer Science, 1983., 24th Annual Symposium on In Foundations of Computer Science, 1983., 24th Annual Symposium on (1983), pp. 185-194. by Pierre Wolper, Moshe Y. Vardi, Prasad A. Sistla posted to ltl modelchecking by fsautomata on 2009-03-18 03:50:01 as
	Bisimulation minimization in an automata-theoretic verification framework [My Copy] In In Formal Methods in Computer-Aided Design (FMCAD (1998), pp. 115-132. by Kathi Fisler, Moshe Y. Vardi posted to ltl modelchecking by fsautomata on 2009-03-18 03:14:22 as
	Patterns in Property Specifications for Finite-State Verification [My Copy] In Proceedings of the 21st International Conference on Software Engineering ICSE'99 (1999) by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to discovery ltl patterns by fsautomata on 2009-03-15 22:07:05 as
	CCS expressions, finite state processes, and three problems of equivalence [My Copy] In PODC '83: Proceedings of the second annual ACM symposium on Principles of distributed computing (1983), pp. 228-240. by Paris C. Kanellakis, Scott A. Smolka posted to logic ltl by fsautomata on 2008-09-29 20:30:01 as along with 1 person theshadowhost
	An n log n algorithm for minimizing states in a finite automaton [My Copy] (1971) by John E. Hopcroft posted to fsa ltl by fsautomata on 2008-09-26 21:46:02 as along with 2 people AbnerCYH vannevarvision
	Timed regular expressions [My Copy] J. ACM, Vol. 49, No. 2. (2002), pp. 172-206. posted to ltl regexp by fsautomata on 2008-09-22 19:00:15 as
	Regular Model Checking for LTL(MSO) [My Copy] Computer Aided Verification (2004), pp. 348-360. by Parosh A. Abdulla, Bengt Jonsson, Marcus Nilsson, Julien D’orso, Mayank Saksena posted to ltl by fsautomata on 2008-09-19 03:25:57 as
	Incremental and Complete Bounded Model Checking for Full PLTL [My Copy] Computer Aided Verification (2005), pp. 98-111. by Keijo Heljanko, Tommi Junttila, Timo Latvala posted to incremental ltl modelchecker by hwang on 2008-08-19 17:32:51 as
	Memory efficient algorithms for the verification of temporal properties [My Copy] Computer-Aided Verification (1991), pp. 233-242. by C. Courcoubetis, M. Vardi, P. Wolper, M. Yannakakis posted to ltl modelchecker nested-dfs by hwang on 2008-07-29 18:19:41 as
	Distributed breadth-first search LTL model checking [My Copy] Formal Methods in System Design, Vol. 29, No. 2. (2006), pp. 117-134. by Jiří Barnat, Ivana Černá posted to distributed ltl modelchecker by hwang on 2008-07-28 17:50:59 as
	Bounded Model Checking for Past LTL [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2003), pp. 18-33. by Marco Benedetti, Alessandro Cimatti posted to 2003 bounded ltl modelchecking by shimomura on 2008-05-12 09:49:40 as
	Safe programming of PLC using formal verification methods [My Copy] In Proc.\ 4th Int.\ PLCopen Conf.\ on Industrial Control Programming ({ICP}'2000), Utrecht, The Netherlands, Oct.\ 2000 (2000), pp. 73-78. by O. De Smet, S. Couffin, O. Rossi, et al.G. Canet, J. J. Lesage, Ph, H. Papini posted to sfc safety plc ltl ld formal-verification by voronov on 2008-04-28 16:50:52 as along with 2 people zhensong dwei98
	Temporal logic with forgettable past [My Copy] Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on In Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on (2002), pp. 383-392. by F. Laroussinie, N. Markey, P. Schnoebelen posted to logic ltl temporal_logic by bfraser on 2008-03-14 22:57:46 as
	Model checking LTL using constraint programming [My Copy] Application and Theory of Petri Nets 1997 (1997), pp. 1-20. by Javier Esparza, Stephan Melzer posted to constraint ltl model_checking by bfraser on 2007-11-23 20:23:35 as
	A lightweight LTL runtime verification tool for java [My Copy] In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 306-307. by Eric Bodden posted to ltl runtime verification by bfraser on 2007-07-11 22:36:26 as along with 2 people plaugg KarlKlose
	LTL with the Freeze Quantifier and Register Automata [My Copy] (5 Oct 2006) by Stephane Demri, Ranko Lazic posted to freeze-quantifier ltl register-automata by lostinmidlands on 2006-11-13 15:30:23 as
	Model Checking Generic Container Implementations [My Copy] In Generic Programming (1998), pp. 162-177. by Matthew B. Dwyer, Corina S. Pasareanu posted to bandera ltl modelchecking program by gchpaco on 2005-01-20 22:02:48 as along with 1 person bfraser

Note: You may cite this page as: http://www.citeulike.org/tag/ltl

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

modelchecking	10
logic	3
louise_read	3
model_checking	3
modelchecker	3
program-monitoring	2
rewriting	2
verification	2
2003	1
agents	1
automata	1
bandera	1
bdi	1
bmc	1
bounded	1
checking	1
concurrency	1
constraint	1
control_systems	1
discovery	1
distributed	1
formal-verification	1
freeze-quantifier	1
fsa	1
incremental	1
ld	1
linear_temporal_logic	1
model	1
nested-dfs	1
network_modeling	1
nrl	1
parallel	1
patterns	1
petri_net	1
plc	1
program	1
regexp	1
register-automata	1
robotics	1
runtime	1
safety	1
sat	1
sfc	1
swarm	1
swarm_robotics	1
synthetic_gene_networks	1
temporal-logic	1
temporal-logics	1
temporal_logic	1

Tag ltl [27 articles] Export Sort

Related Tags