Search results for "metric temporal logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	testing, robustness, hybrid systems, metric temporal logic
2	Joël Ouaknine, James Worrell	Some Recent Results in Metric Temporal Logic.	FORMATS	2008	DBLP DOI BibTeX RDF
2	Sertac Karaman, Emilio Frazzoli	Vehicle Routing Problem with Metric Temporal Logic Specifications.	CDC	2008	DBLP DOI BibTeX RDF
2	Carlo A. Furia, Matteo Pradella, Matteo Rossi	Practical Automated Partial Verification of Multi-paradigm Real-Time Models.	ICFEM	2008	DBLP DOI BibTeX RDF	timed automata, discretization, bounded model checking, Metric temporal logic, dense time
2	Joël Ouaknine, James Worrell	Safety Metric Temporal Logic Is Fully Decidable.	TACAS	2006	DBLP DOI BibTeX RDF
2	Joël Ouaknine, James Worrell	On Metric Temporal Logic and Faulty Turing Machines.	FoSSaCS	2006	DBLP DOI BibTeX RDF
2	Joël Ouaknine, James Worrell	On the Decidability of Metric Temporal Logic.	LICS	2005	DBLP DOI BibTeX RDF
2	John Håkansson, Bengt Jonsson, Ola Lundqvist	Generating online test oracles from temporal logic specifications.	STTT	2003	DBLP DOI BibTeX RDF	Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
2	Maria Laura Cobo, Juan Carlos Augusto	EMTPL: A Programming Language for Temporal Deductive Data Bases.	SCCC	1999	DBLP DOI BibTeX RDF	Deductive Data Bases, Programming Languages, Metric Temporal Logic
2	Hans-Hellmut Nagel	Natural Language Description of Image Sequences as a Form of Knowledge Representation.	KI	1999	DBLP DOI BibTeX RDF	Image Sequence Evaluation, Fuzzy Metric-Temporal Logic, Natural Language Text Understanding, Road Traffic, Vehicle Behavior, Knowledge Representation, Machine Vision, Situation
1	Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer	Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.	LPAR	2012	DBLP DOI BibTeX RDF
1	David Munch, Joris IJsselmuiden, Michael Arens, Rainer Stiefelhagen	High-level situation recognition using Fuzzy Metric Temporal Logic, case studies in surveillance and smart environments.	ICCV Workshops	2011	DBLP DOI BibTeX RDF
1	Carlo A. Furia, Matteo Rossi	A theory of sampling for continuous-time metric temporal logic.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
1	Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan	Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.	TIME	2010	DBLP DOI BibTeX RDF
1	Gianpaolo Cugola, Alessandro Margara	TESLA: a formally defined event specification language.	DEBS	2010	DBLP DOI BibTeX RDF
1	Carlo A. Furia, Matteo Rossi	A Theory of Sampling for Continuous-time Metric Temporal Logic	CoRR	2009	DBLP BibTeX RDF
1	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	A Metric Encoding for Bounded Model Checking.	FM	2009	DBLP DOI BibTeX RDF	Bounded model checking, metric temporal logic
1	Joël Ouaknine, Alexander Rabinovich, James Worrell	Time-Bounded Verification.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Peter Csaba Ölveczky	Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.	SNPD	2008	DBLP DOI BibTeX RDF	formal modeling and analysis, object-oriented real-time systems, embedded medical devices, rewriting logic, metric temporal logic
1	Carlo A. Furia, Matteo Pradella, Matteo Rossi	Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.	FM	2008	DBLP DOI BibTeX RDF	real-time, sampling, discretization, metric temporal logic, verification techniques, dense time
1	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.	ICTAC	2008	DBLP DOI BibTeX RDF	bi-infinite words and automata, Bounded model checking, metric temporal logic
1	Carlo A. Furia, Matteo Rossi	MTL with Bounded Variability: Decidability and Complexity.	FORMATS	2008	DBLP DOI BibTeX RDF
1	Carlo A. Furia, Paola Spoletini	Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Joël Ouaknine, James Worrell	On the decidability and complexity of Metric Temporal Logic over finite words.	Logical Methods in Computer Science	2007	DBLP DOI BibTeX RDF
1	Joël Ouaknine, James Worrell	On the decidability and complexity of Metric Temporal Logic over finite words	CoRR	2007	DBLP BibTeX RDF
1	Deepak D'Souza, Pavithra Prabhakar	On the expressiveness of MTL in the pointwise and continuous semantics.	STTT	2007	DBLP DOI BibTeX RDF	Metric Temporal Logic, Real-time logics
1	Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Trio2Promela: A Model Checker for Temporal Metric Specifications.	ICSE Companion	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	Carlo A. Furia, Matteo Rossi	On the Expressiveness of MTL Variants over Dense Time.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Stefano Baratella, Andrea Masini	A note on unbounded metric temporal logic over dense time domains.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
1	Doron Drusinsky	On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata.	J. UCS	2006	DBLP BibTeX RDF
1	Insu Song, Guido Governatori	Hardware Implementation of Temporal Nonmonotonic Logics.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	agent, knowledge representation, temporal logic, nonmonotonic logic, chip design
1	Georgios E. Fainekos, George J. Pappas	Robustness of Temporal Logic Specifications.	FATES/RV	2006	DBLP DOI BibTeX RDF	Timed State Sequences, Metric and Linear Temporal Logic, Robustness, Monitoring, Metric spaces
1	Carlo A. Furia, Matteo Rossi	Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Kamal Lodaya, Paritosh K. Pandya	A Dose of Timed Logic, in Guarded Measure.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Pavithra Prabhakar, Deepak D'Souza	On the Expressiveness of MTL with Past Operators.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Yoram Hirshfeld, Alexander Moshe Rabinovich	Timer formulas and decidable metric temporal logic.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
1	Prasanna Thati, Grigore Rosu	Monitoring Algorithms for Metric Temporal Logic Specifications.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Stefano Baratella, Andrea Masini	An infinitary variant of Metric Temporal Logic over dense time domains.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
1	Doron Drusinsky	Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Doron Drusinsky, Man-tak Shing	TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
1	Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi	A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
1	Christoph Brzoska	Programming in Metric Temporal Logic.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
1	Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro	A Finite-Domain Semantics for Testing Temporal Logic Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Michael Haag, Wolfgang Theilmann, Kart Schäfer, Hans-Hellmut Nagel	Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming.	KI	1997	DBLP DOI BibTeX RDF
1	Yassine Lakhnech, Jozef Hooman	Metric Temporal Logic with Durations.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
1	Yassine Lakhnech, Jozef Hooman	Reasoning about Durations in Metric Temporal Logic.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Jan Chomicki	Real-Time Integrity Constraints.	PODS	1992	DBLP DOI BibTeX RDF
1	Ron Koymans	Specifying Real-Time Properties with Metric Temporal Logic.	Real-Time Systems	1990	DBLP DOI BibTeX RDF