Search results for "real-time verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Udo Brockmeyer, Gunnar Wittich	Real-Time Verification of Statemate Designs.	CAV	1998	DBLP DOI BibTeX RDF
2	Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund	Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	audio/video protocol, real-life protocol, real-time considerations, real-time verification tool, error trace, software engineering, formal verification, formal modeling, automatic verification, industrial case study, UPPAAL, assembler code
1	Indranil Saha, Janardan Misra, Suman Roy	A Simplification of a Real-Time Verification Problem	CoRR	2010	DBLP BibTeX RDF
1	Alois Ferscha	Spatial zones of influence.	iiWAS	2008	DBLP DOI BibTeX RDF
1	Alois Ferscha	Spatial zones of influence.	MoMM	2008	DBLP DOI BibTeX RDF
1	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Verification of networks of timed automata using mCRL2.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Marek Gorgon, Piotr Pawlik, Miroslaw Jablonski, Jaromir Przybylo	FPGA-based Road Traffic Videodetector.	DSD	2007	DBLP DOI BibTeX RDF
1	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Time abstraction in timed /spl mu/CRL a la regions.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston	Performance analysis of probabilistic timed automata using digital clocks.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, Digital clocks
1	Georgios Logothetis	Forward symbolic model checking for real time systems.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Optimal scheduling using priced timed automata.	SIGMETRICS Performance Evaluation Review	2005	DBLP DOI BibTeX RDF
1	Jasmine Lam, John McAllister, Jennifer Dudley	Core-Based Methodology: An Automated Approach for Implementing a Complete System from Algorithms to a Heterogeneous Network including FPGAs.	FCCM	2005	DBLP DOI BibTeX RDF
1	Anders Hessel, Paul Pettersson	A Test Case Generation Algorithm for Real-Time Systems.	QSIC	2004	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Priced Timed Automata: Algorithms and Applications.	FMCO	2004	DBLP DOI BibTeX RDF
1	Dirk Beyer, Andreas Noack	Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?	FORTE	2003	DBLP DOI BibTeX RDF
1	George Logothetis, Klaus Schneider, C. Metzler	Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification.	SBCCI	2003	DBLP DOI BibTeX RDF
1	George Logothetis, Klaus Schneider, C. Metzler	Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.	RTSS	2003	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek	To Store or Not to Store.	CAV	2003	DBLP DOI BibTeX RDF	Timed automata model checking, Static analysis
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston	Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.	FORMATS	2003	DBLP DOI BibTeX RDF
1	Shiguang Shan, Wen Gao, Xilin Chen, Bo Cao, Wenbin Zeng	A Face-Unlock Screen Saver by Using Face Verification Based on Identity-Specific Subspaces.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
1	Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka	Real-Time Verification Techniques for Untimed Systems.	Electr. Notes Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Franck Cassez, Kim Guldstrand Larsen	The Impressive Power of Stopwatches.	CONCUR	2000	DBLP DOI BibTeX RDF
1	Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou	Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Holger Kropp, Carsten Reuter, Matthias Wiege, Tien-Toan Do, Peter Pirsch	An FPGA-based Prototyping System for Real-Time Verification of Video Processing Schemes.	FPL	1999	DBLP DOI BibTeX RDF
1	Karsten Strehl	Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.	RTCSA	1999	DBLP DOI BibTeX RDF	timed reachability analysis, real-time symbolic model checking, Formal verification, timed automata, binary decision diagrams
1	Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi	Efficient Timed Reachability Analysis Using Clock Difference Diagrams.	CAV	1999	DBLP DOI BibTeX RDF
1	Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen	Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).	ICSE	1997	DBLP DOI BibTeX RDF	real-time verification, telecommunications software, model checking, formal methods, probabilistic verification
1	David L. Dill, Howard Wong-Toi	Verification of Real-Time Systems by Successive Over and Under Approximation.	CAV	1995	DBLP DOI BibTeX RDF
1	Steve Vestal	Fixed-Priority Sensitivity Analysis for Linear Compute Time Models.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	fixed-priority sensitivity analysis, linear computation time models, scheduling discipline, hard real-time periodic tasks, task scheduling feasibility, real-time verification, real-time benchmarking, real-time architectures, scheduling, real-time systems, computational complexity, formal verification, software components, real-time scheduling, sensitivity analysis, modules, schedulability analysis, software development process, rate monotonic scheduling, task decomposition, fixed-priority preemptive scheduling, uniprocessor