"Interval Approach to Parallel Timed Systems Verification"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal verification of timed systems: a survey and perspective	Wang F.	2004
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems	Heinrich Rust	2005	Springer Berlin Heidelberg
Automotive Systems Engineering: Approach and Verification	Subramaniam Ganesan	2011	SAE
Interval Analysis: and Automatic Result Verification	Günter Mayer	2017	De Gruyter
An approach to automating the verification of compact parallel coordination programs. I.	B. D. Lubachevsky	1983	Courant Institute of Mathematical Sciences, New York University
An approach to automating the verification of compact parallel coordination programs. I.	B. D. Lubachevsky	1983	Courant Institute of Mathematical Sciences, New York University
An approach to automating the verification of compact parallel coordination programs. II.	B. D. Lubachevsky	1983	Courant Institute of Mathematical Sciences, New York University
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)	2006	Springer-Verlag Berlin Heidelberg
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Wojciech Penczek; Agata Pólrola	2006	Springer Berlin Heidelberg
Parametric Interval Algebraic Systems	Iwona Skalna	1st ed. 2018	Springer International Publishing
Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification	Pierre-Jean Meyer; Alex Devonport; Murat Arcak	1st ed. 2021	Springer International Publishing
Verification and Control of Hybrid Systems: A Symbolic Approach	Paulo Tabuada	2009	Springer US
Parallel Systems	Jonathan B. Bendor	1985	University of California Press
Short-Interval Scheduling. A Systematic Approach to Cost Reduction	Martin R. Smith	1968	NY: McGraw-Hill
Interval Methods for Systems of Equations	A. Neumaier	1991-01	Cambridge University Press
Parallel processing systems	Evans, David J.	1982	Cambridge University Press
A Survey of Verification Techniques for Parallel Programs	Howard Barringer	1985	Springer Berlin Heidelberg
Massively Parallel Microprocessor Systems	Patrick H. Stakem	2012	PRRB Publishing
Decent Interval: Decent Interval	Frank Snepp	2002	University Press of Kansas
Embedded Systems Handbook: Embedded Systems Design and Verification	Richard Zurawski	2009	Routledge
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Interval Approach to Parallel Timed Systems Verification	Yuri G. Karpov; Dmitry Sotnikov	Parallel Computing Technologies: 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings	Victor Malyshkin	2003	Springer Berlin Heidelberg
Verification of Timed Systems		Models and Analysis for Distributed Systems	Serge Haddad; Fabrice Kordon; Laurent Pautet; Laure Petrucci	2011	John Wiley & Sons
Timed Automata Approach to Verification of Systems with Degradation	Jiří Barnat; Ivana Černá; Jana Tůmová	Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers	Zdeněk Kotásek; Jan Bouda; Ivana Cerná; Lukas Sekanina; Tomas Vojnar; David Antoš	2012	Springer Berlin Heidelberg
Verification of Parameterized Timed Systems	Parosh Aziz Abdulla	Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings	Paul Pettersson; Wang Yi	2005	Springer Berlin Heidelberg
Interval Probabilistic Timed Graph Transformation Systems	Maria Maximova; Sven Schneider; Holger Giese	Graph Transformation: 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings	Fabio Gadducci; Timo Kehrer	1st ed. 2021	Springer International Publishing
Automatic Compositional Verification of Timed Systems	Shang-Wei Lin; Yang Liu; Jun Sun; Jin Song Dong; Étienne André	FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings	Dimitra Giannakopoulou; Dominique Mery	2012	Springer Berlin Heidelberg
Verification of timed systems using POSETs	Wendy Belluomini; Chris J. Myers	Computer Aided Verification: 10th International Conference, CAV' 98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings	Alan J. Hu; Moshe Y. Vardi	1998	Springer Berlin Heidelberg
Verification of Timed and Hybrid Systems	Kim Guldstrand Larsen	Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings	Mogens Nielsen; Dan Simpson	2000	Springer Berlin Heidelberg
Specification and Verification of Timed Systems	Joseph Sifakis	Formal Description Techniques VIII	Gregor von Bochmann; Rachida Dssouli; Omar Rafiq	1st ed. 1996	Springer US
Compositional Verification of Parameterised Timed Systems	Lăcrămioara Aştefănoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz	NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings	Klaus Havelund; Gerard Holzmann; Rajeev Joshi	2015	Springer International Publishing
The Verisoft Approach to Systems Verification	Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert W. Schirmer; Artem Starostin	Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings	Natarajan Shankar; Jim Woodcock	2008	Springer Berlin Heidelberg
Parallel Interval		MASTERS OF PHOTOGRAPHY Vol 9 Living Legends	Roberts, Paul, G	2015	Fashion Industry Broadcast
Specification and verification of timed lazy systems	Flavio Corradini; Marco Pistore	Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings	Wojciech Penczek; Andrzej Szalas	1996	Springer Berlin Heidelberg
Interval timed Petri nets		Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications	N. Marti-Oliet, J. Mesegue (eds.)
Timed Verification with μCRL	Stefan Blom; Natalia Ioustinova; Natalia Sidorova	Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers	Manfred Broy; Alexandre V. Zamulin	2003	Springer Berlin Heidelberg
Verification Using Timed Automata		Real-Time Systems: Scheduling, Analysis, and Verification	Albert M. K. Cheng	2002	John Wiley & Sons
Verification of parallel systems via decomposition	Jan Friso Groote; Faron Moller	CONCUR ' 92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings	Walter R. Cleaveland	1992	Springer Berlin Heidelberg
Applying Timed Interval Calculus to Simulink Diagrams	Chunqing Chen; Jin Song Dong	Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings	Zhiming Liu; Jifeng He	2006	Springer Berlin Heidelberg
Prom timed to hybrid systems	Oded Maler; Zohar Manna; Amir Pnueli	Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings	J. W. Bakker; C. Huizing; W. P. Roever; G. Rozenberg	1992	Springer Berlin Heidelberg
Parallel interval methods for perturbed linear systems	Kaj Madsen; Ole Toft	Parallel Scientific Computing: First International Workshop, PARA ' 94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings	Jack Dongarra; Jerzy Wasniewski	1994	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Interval Approach to Parallel Timed Systems Verification" - similar Books and Chapters