Search results for "temporal properties"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Mark Gabel, Zhendong Su	Online inference and enforcement of temporal properties.	ICSE	2010	DBLP DOI BibTeX RDF	online algorithm, dynamic analysis, temporal properties
3	Qin Wang, Marsanori Idesawa	Temporal Properties of Illusory-Surface Perception Probed with Poggendorff Configuration.	ISNN	2008	DBLP DOI BibTeX RDF	surface perception, illusory surface, Poggendorff illusion, temporal properties
3	Marco Autili, Paola Inverardi, Patrizio Pelliccione	Graphical scenarios for specifying temporal properties: an automated approach.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Scenario based notation, System requirements specification, Temporal properties specification
3	Marco Autili, Paola Inverardi, Patrizio Pelliccione	A scenario based notation for specifying temporal properties.	SCESM	2006	DBLP DOI BibTeX RDF	scenario based notation, system requirements specification, temporal properties specification
3	Jinlin Yang, David Evans	Dynamically inferring temporal properties.	PASTE	2004	DBLP DOI BibTeX RDF	property patterns, dynamic analysis, concurrent programming, invariants, temporal properties
2	Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang	Runtime Monitoring of Data-centric Temporal Properties for Web Services.	ICWS	2011	DBLP DOI BibTeX RDF	BPEL, runtime monitoring, temporal properties
2	Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin	Model checking lots of systems: efficient verification of temporal properties in software product lines.	ICSE	2010	DBLP DOI BibTeX RDF	specification, software product lines, features
2	Natalie Gruska, Andrzej Wasylkowski, Andreas Zeller	Learning from 6, 000 projects: lightweight cross-project anomaly detection.	ISSTA	2010	DBLP DOI BibTeX RDF	language independent parsing, lightweight parsing, mining specifications, formal concept analysis, temporal properties
2	Dimitrios Lymberopoulos, Athanasios Bamis, Andreas Savvides	A methodology for extracting temporal properties from sensor network data streams.	MobiSys	2009	DBLP DOI BibTeX RDF	temporal structure, sensor networks, data stream, assisted living
2	David Lo, Leonardo Mariani, Mauro Pezzè	Automatic steering of behavioral model inference.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	mining automata, dynamic analysis, temporal properties
2	Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer	Verification of Temporal Properties in Automotive Embedded Software.	DATE	2008	DBLP DOI BibTeX RDF
2	A. Prasad Sistla, Abhigna R. Srinivas	Monitoring Temporal Properties of Stochastic Systems.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Mark Gabel, Zhendong Su	Javert: fully automatic mining of general temporal properties from dynamic traces.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
2	Serge Abiteboul, Luc Segoufin, Victor Vianu	Static analysis of active XML systems.	PODS	2008	DBLP DOI BibTeX RDF	active xml, automatic verification, temporal properties
2	Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour	Extending Model Checking to Data-Aware Temporal Properties of Web Services.	WS-FM	2007	DBLP DOI BibTeX RDF
2	Nazareno Aguirre, Germán Regis, T. S. E. Maibaum	Verifying Temporal Properties of CommUnity Designs.	IFM	2007	DBLP DOI BibTeX RDF
2	Shmuel Katz	Aspect Categories and Classes of Temporal Properties.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF	Aspect specification, invasive, aspect categories, aspect verification, regulative, dataflow analysis, spectative
2	Alain Giorgetti, Julien Groslambert	JAG: JML Annotation Generation for Verifying Temporal Properties	FASE	2006	DBLP DOI BibTeX RDF
2	Roberta Gori, Francesca Levi	An Analysis for Proving Temporal Properties of Biological Systems.	APLAS	2006	DBLP DOI BibTeX RDF
2	Mamadou K. Traoré	Analyzing static and temporal properties of simulation models.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
2	Mihai Danes, Dorel Lucanu, Gabriel Ciobanu	Specification of Coordinated Objects and Verification of Their Temporal Properties.	SYNASC	2005	DBLP DOI BibTeX RDF
2	Máté Tejfel, Zoltán Horváth, Tamás Kozsik	Temporal Properties of Clean Programs Proven in Sparkle-T.	CEFP	2005	DBLP DOI BibTeX RDF
2	Alberto Cerpa, Jennifer L. Wong, Miodrag Potkonjak, Deborah Estrin	Temporal properties of low power wireless links: modeling and implications on multi-hop routing.	MobiHoc	2005	DBLP DOI BibTeX RDF	experimental test-beds, nonparametric statistical modeling, performance evaluation, sensor networks, wireless communication, routing algorithms, time series analysis
2	Reinhold Huber, Christoph Nowak, Bernhard Spatzek	Image acquisition using aperture controladapted to spatio-temporal properties.	Mach. Vis. Appl.	2004	DBLP DOI BibTeX RDF	Aperture control, Adaptive control, Image quality, Image acquisition
2	Damien Massé	Abstract Domains for Property Checking Driven Analysis of Temporal Properties.	AMAST	2004	DBLP DOI BibTeX RDF
2	Jinlin Yang, David Evans	Automatically Inferring Temporal Properties for Program Evolution .	ISSRE	2004	DBLP DOI BibTeX RDF
2	Songtao Xia, James Hook	Certifying Temporal Properties for Compiled C Programs.	VMCAI	2004	DBLP DOI BibTeX RDF
2	Ludmila Cherkasova, Minaxi Gupta	Analysis of enterprise media server workloads: access patterns, locality, content evolution, and rates of change.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	content evolution, enterprise media servers, sharing patterns, static and temporal properties, locality, dynamics, access patterns, workload analysis
2	Ivana Cerná, Radek Pelánek	Relating Hierarchy of Temporal Properties to Model Checking.	MFCS	2003	DBLP DOI BibTeX RDF
2	Andrés Terrasa, Guillem Bernat	Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis.	RTCSA	2003	DBLP DOI BibTeX RDF
2	Graeme Smith, Kirsten Winter	Proving Temporal Properties of Z Specifications Using Abstraction.	ZB	2003	DBLP DOI BibTeX RDF
2	Bernard Berthomieu, François Vernadat	State Class Constructions for Branching Analysis of Time Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets
2	Damien Massé	Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties.	SAS	2002	DBLP DOI BibTeX RDF
2	Damien Massé	Combining Forward and Backward Analyses of Temporal Properties.	PADO	2001	DBLP DOI BibTeX RDF
2	Anthony Winstanley, Mark R. Greenstreet	Temporal Properties of Self-Timed Rings.	CHARME	2001	DBLP DOI BibTeX RDF
2	Iulian Ober, Alain Kerbrat	Verification of Quantitative Temporal Properties of SDL Specifications.	SDL Forum	2001	DBLP DOI BibTeX RDF
2	Malcolm Slaney, Dulce B. Ponceleon, James Kaufman	Multimedia edges: finding hierarchy in all dimensions.	ACM Multimedia	2001	DBLP DOI BibTeX RDF	multimedia, video, singular-value decomposition, images, audio, hierarchy, scale space, latent semantic indexing, color space, temporal properties, semantic space, automatic segmentation
2	Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel	Simulation Meets Verification: Checking Temporal Properties in SystemC.	EUROMICRO	2000	DBLP DOI BibTeX RDF
2	Chris Greenhalgh, Jim Purbrick, Steve Benford, Michael P. Craven, Adam Drozd, Ian Taylor	Temporal links: recording and replaying virtual environments.	ACM Multimedia	2000	DBLP DOI BibTeX RDF	post-production technologies, recording and editing techniques, collaborative virtual environments, temporal properties
2	Zohar Manna	Visual Verification of Temporal Properties. (PDF / PS)	TIME	1999	DBLP DOI BibTeX RDF
2	Thomas Wilke	Classifying Discrete Temporal Properties.	STACS	1999	DBLP DOI BibTeX RDF
2	Jan Friso Groote, Radu Mateescu	Verification of Temporal Properties of Processes in a Setting with Data.	AMAST	1998	DBLP DOI BibTeX RDF
2	K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel	Experiences with analysis of formal specifications in Astral.	RTCSA	1997	DBLP DOI BibTeX RDF	temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
2	Chie Dou	Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
2	Jyhjong Lin, David Chenho Kung, Pei Hsia	Top-down development of real-time software specification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
2	Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar	Specifying fault tolerance in mission critical systems. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
2	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
2	Laura K. Dillon, Qing Yu	Oracles for Checking Temporal Properties of Concurrent Systems.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
2	Julian C. Bradfield	Proving temporal properties of Petri Nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	model-checking, Petri nets, temporal logic, tableau systems
2	Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis	Memory Efficient Algorithms for the Verification of Temporal Properties.	CAV	1990	DBLP DOI BibTeX RDF
2	Bowen Alpern, Fred B. Schneider	Verifying Temporal Properties without Temporal Logic.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
2	Costas Courcoubetis, Mihalis Yannakakis	Verifying Temporal Properties of Finite-State Probabilistic Programs	FOCS	1988	DBLP DOI BibTeX RDF	finite-state probabilistic programs, concurrent programs, linear temporal logic, temporal properties, sequential programs, PSPACE, omega -automata
1	Susanne Raisig, Herbert Hagendorf, Elke Van der Meer	The role of temporal properties on the detection of temporal violations: insights from pupillometry.	Cognitive Processing	2012	DBLP DOI BibTeX RDF
1	Hengfeng Wei, Yu Huang 0002, Jiannong Cao, Xiaoxing Ma, Jian Lu	Formal specification and runtime detection of temporal properties for asynchronous context.	PerCom	2012	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Georgios E. Fainekos	Falsification of temporal properties of hybrid systems using the cross-entropy method.	HSCC	2012	DBLP DOI BibTeX RDF
1	Artur Meski, Wojciech Penczek, Agata Pólrola	BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Nicolas Ferry, Jean-Yves Tigli, Stephane Lavirotte, Gaëtan Rey, Michel Riveill	Aspects of Assembly and Cascaded Aspects of Assembly: Logical and Temporal Properties	CoRR	2011	DBLP BibTeX RDF
1	Junwei Cao, Fan Zhang, Ke Xu, Lianchen Liu, Cheng Wu	Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows.	J. Comput. Sci. Technol.	2011	DBLP DOI BibTeX RDF
1	Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic	Parametric Identification of Temporal Properties.	RV	2011	DBLP DOI BibTeX RDF
1	Amirhossein Vakili	Analyzing temporal properties of abstract models.	ASE	2011	DBLP DOI BibTeX RDF
1	Azlan Ismail, Jun Yan, Jun Shen	Analyzing Fault-Impact Region of Composite Service for Supporting Fault Handling Process.	IEEE SCC	2011	DBLP DOI BibTeX RDF	Temporal Impact, Temporal Satisfaction, Impact Analysis, Temporal Consistency, Temporal Properties
1	Chiara Boldrini, Andrea Passarella	HCMM: Modelling spatial and temporal properties of human mobility driven by users' social relationships.	Computer Communications	2010	DBLP DOI BibTeX RDF
1	Roberta Gori, Francesca Levi	Abstract interpretation based verification of temporal properties for BioAmbients.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Faraz Hussain, Gary T. Leavens	temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties.	SEFM	2010	DBLP DOI BibTeX RDF
1	Jens Claßen, Gerhard Lakemeyer	On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.	ECAI	2010	DBLP DOI BibTeX RDF
1	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
1	André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa	Model-Checking Temporal Properties of Real-Time HTL Programs.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li, Bin Wu	Mining program workflow from interleaved traces.	KDD	2010	DBLP DOI BibTeX RDF	graphical behavior models, temporal properties, workflow mining
1	Andrew G. West, Sampath Kannan, Insup Lee	Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata?	EUROSEC	2010	DBLP DOI BibTeX RDF	content-based access control, spatio-temporal reputation, vandalism, Wikipedia, collaborative software
1	Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros	On the connections between PCTL and dynamic programming.	HSCC	2010	DBLP DOI BibTeX RDF	pctl, dynamic programming, markov processes, integral equation
1	Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray	Receding horizon control for temporal logic specifications.	HSCC	2010	DBLP DOI BibTeX RDF	embedded control software, receding horizon control, linear temporal logic
1	Athanasios Bamis, Jia Fang, Andreas Savvides	Discovering routine events in sensor streams for macroscopic sensing composition.	IPSN	2010	DBLP DOI BibTeX RDF	human routine discovery, macroscopic sensing composition, periodic events recognition, assisted living
1	Mostafa Keikha	Investigation on smoothing and aggregation methods in blog retrieval.	SIGIR	2010	DBLP DOI BibTeX RDF	user generated data, temporal analysis, blog search
1	Andrew G. West, Sampath Kannan, Insup Lee	STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF
1	Andrew G. West, Sampath Kannan, Insup Lee	Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF
1	Djones Vinicius Lettnin	Verification of temporal properties in embedded software.		2009	RDF
1	Du Zhang	On Temporal Properties of Knowledge Base Inconsistency.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	knowledge inconsistency, temporal inconsistency, interval relations, conflicting intervals, Interval temporal logic
1	Ahmed Bouajjani, Axel Legay, Pierre Wolper	A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking	CoRR	2009	DBLP BibTeX RDF
1	Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel	Specifying and Monitoring Temporal Properties in Web Services Compositions.	ECOWS	2009	DBLP DOI BibTeX RDF
1	César Andrés, Mercedes G. Merayo, Manuel Núñez	Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.	SEFM	2009	DBLP DOI BibTeX RDF
1	Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer	Semiformal verification of temporal properties in automotive hardware dependent software.	DATE	2009	DBLP BibTeX RDF
1	Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko	TAGED Approximations for Temporal Properties Model-Checking.	CIAA	2009	DBLP DOI BibTeX RDF
1	Michael Pradel, Thomas R. Gross	Automatic Generation of Object Usage Specifications from Large Method Traces.	ASE	2009	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, temporal properties, Specification inference
1	Anna Monreale, Fabio Pinelli, Roberto Trasarti, Fosca Giannotti	WhereNext: a location predictor on trajectory pattern mining.	KDD	2009	DBLP DOI BibTeX RDF	trajectory patterns, spatio-temporal data mining
1	Claudia Szabo, Yong Meng Teo	An Approach for Validation of Semantic Composability in Simulation Models.	PADS	2009	DBLP DOI BibTeX RDF	semantic composability, simulation, component, validation
1	Naoki Kobayashi	Types and higher-order recursion schemes for verification of higher-order programs.	POPL	2009	DBLP DOI BibTeX RDF	model checking, type system, higher-order recursion scheme
1	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: logic-based LSC consistency checking.	PPDP	2009	DBLP DOI BibTeX RDF	play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming
1	Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner	Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams.	SBCCI	2009	DBLP DOI BibTeX RDF	embedded systems, formal verification, model driven engineering
1	Tomohiko Mukai, Shigeru Kuriyama	Pose-timeline for propagating motion edits.	Symposium on Computer Animation	2009	DBLP DOI BibTeX RDF
1	Masoud Valafar, Reza Rejaie, Walter Willinger	Beyond friendship graphs: a study of user interactions in Flickr.	WOSN	2009	DBLP DOI BibTeX RDF	measurement, user interaction, online social networks
1	Yin Zhang, Matthew Roughan, Walter Willinger, Lili Qiu	Spatio-temporal compressive sensing and internet traffic matrices.	SIGCOMM	2009	DBLP DOI BibTeX RDF	prediction, interpolation, anomaly detection, tomography, compressive sensing, traffic matrix
1	David A. Cape, Bruce M. McMillin	Dihomotopic Reduction Used in Deadlock Detection.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Abhishek Dubey	Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems.	ECBS	2009	DBLP DOI BibTeX RDF
1	Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti	Inline Assertions - Embedding Formal Properties in a Test Bench.	VLSI Design	2009	DBLP DOI BibTeX RDF
1	Cyril Joder, Slim Essid, Gaël Richard	Temporal Integration for Audio Classification With Application to Musical Instrument Classification.	IEEE Transactions on Audio, Speech & Language Processing	2009	DBLP DOI BibTeX RDF
1	Seung-Hyun Kong	TOA and AOD statistics for down link Gaussian scatterer distribution model.	IEEE Transactions on Wireless Communications	2009	DBLP DOI BibTeX RDF
1	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
1	Carla A. D. M. Delgado, Mario R. F. Benevides	Verification of Epistemic Properties in Probabilistic Multi-Agent Systems.	MATES	2009	DBLP DOI BibTeX RDF
1	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Andreas Lochbihler, Gregor Snelting	On temporal path conditions in dependence graphs.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Temporal logic, Security analysis, Program dependence graph, Path condition