"Checking Workflow Schemas with Time Constraints Using Timed Automata"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
The theory of timed I/O automata	Dilsun K. Kaynar	2011	Morgan & Claypool
Architecture timed: designing with time in mind /	Franck, Karen A.,		Wiley & Sons, Limited, John
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
The Theory of Timed I/O Automata, Second Edition	Dilsun Kaynar; Nancy Lynch; Roberto Segala; Frits Vaandrager		Springer International Publishing
Time: Limits and Constraints	Jo Alyson Parker; Paul André Harris; Christian Steineck (Editors)	2010-07-14	Brill
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems	Howard Bowman; Rodolfo Gomez	2006	Springer London
Modeling Chemical Systems using Cellular Automata	Lemont B. Kier; Paul G. Seybold; Chao-Kun Cheng	2005	Springer Netherlands
The Workflow of Data Analysis Using Stata	James Scott Long	2009	Stata Press
Timed Arrays: Wideband and Time Varying Antenna Arrays	Randy L. Haupt	2015	Wiley-IEEE Press
XML Schemas	Lucinda Dykes; Ed Tittel; Chelsea Valentine	January 18, 2002	Sybex Inc
Digital Photography Workflow Handbook using Photoshop CS and Raw Converters for the Digital Photography Workflow	Steinmueller B., Steinmueller U.	2004
Filter Design With Time Domain Mask Constraints: Theory and Applications	Ba-Ngu Vo; Antonio Cantoni; Kok Lay Teo	2001	Springer US
Programming Workflow Applications with Domino	Daniel Giblin; Richard Lam	2000	Routledge
Automate It with Zapier: Boost your business productivity using effective workflow automation techniques	Kelly Goss	2021	Packt Publishing
Checking C programs with lint	Ian F. Darwin	1990	O’Reilly & Associates
Checking C programs with lint	Ian F. Darwin	1990	O'Reilly & Associates
A distance to the Hyades using a least squares with probabilistic constraints	William J. Cooke	1993
New presentation of cooking with timed recipes	Auguste Gay	1924	Ringsmith and Wellman
Optimization with PDE Constraints	Michael Hinze; Rene Pinnau; Michael Ulbrich; Stefan Ulbrich	2009	Springer Netherlands
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
Checking Workflow Schemas with Time Constraints Using Timed Automata	Elisabetta De Maria; Angelo Montanari; Marco Zantoni	On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings	Zahir Tari	2005	Springer Berlin Heidelberg
Model checking timed automata	Sergio Yovine	Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996	Grzegorz Rozenberg; Frits W. Vaandrager	1998	Springer Berlin Heidelberg
Model Checking Timed Automata	Patricia Bouyer; François Laroussinie	Modeling and Verification of Real-time Systems	Nicolas Navet; Stephan Merz	2008	John Wiley & Sons
Nested Timed Automata with Diagonal Constraints	Yuwei Wang; Yunqing Wen; Guoqiang Li; Shoji Yuen	Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi' an, China, November 13-17, 2017, Proceedings	Zhenhua Duan; Luke Ong	1st ed. 2017	Springer International Publishing
Model Checking Timed Automata with Priorities Using DBM Subtraction	Alexandre David; John Håkansson; Kim G. Larsen; Paul Pettersson	Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings	Eugene Asarin; Patricia Bouyer	2006	Springer Berlin Heidelberg
Model Checking Prioritized Timed Automata	Shang-Wei Lin; Pao-Ann Hsiung; Chun-Hsian Huang; Yean-Ru Chen	Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings	Doron A. Peled; Yih-Kuen Tsay	2005	Springer Berlin Heidelberg
Timed Automata with Observers under Energy Constraints		HSCC'10: proceedings of the 13th International Conference on hybrid systems: computation and control: April 12-15, 2010, Stockholm, Sweden	Karl Henrik Johansson, Wang Yi, Association for Computing Machinery. Special Interest Group on Embedded Systems	2010	Association for Computing Machinery
Efficient Timed Diagnosis Using Automata with Timed Domains	Patricia Bouyer; Samy Jaziri; Nicolas Markey	Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings	Christian Colombo; Martin Leucker	1st ed. 2018	Springer International Publishing
Checking Timed Büchi Automata Emptiness Using LU-Abstractions	Guangyuan Li	Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings	Joel Ouaknine; Frits W. Vaandrager	2009	Springer Berlin Heidelberg
Lazy Reachability Checking for Timed Automata Using Interpolants	Tamás Tóth; István Majzik	Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings	Alessandro Abate; Gilles Geeraerts	1st ed. 2017	Springer International Publishing
Verification Using Timed Automata		Real-Time Systems: Scheduling, Analysis, and Verification	Albert M. K. Cheng	2002	John Wiley & Sons
Parametric Deadlock-Freeness Checking Timed Automata	Étienne André	Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings	Augusto Sampaio; Farn Wang	1st ed. 2016	Springer International Publishing
Model-Checking for Weighted Timed Automata	Thomas Brihaye; Véronique Bruyère; Jean-François Raskin	Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings	Yassine Lakhnech; Sergio Yovine	2004	Springer Berlin Heidelberg
Verified Model Checking of Timed Automata	Simon Wimmer; Peter Lammich	Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I	Dirk Beyer; Marieke Huisman	1st ed. 2018	Springer International Publishing
Updatable Timed Automata with Additive and Diagonal Constraints	Lakshmi Manasa; Shankara Narayanan Krishna; Kumar Nagaraj	Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings	Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe	2008	Springer Berlin Heidelberg
Verifying timed behavior automata with nonbinary delay constraints	David K. Probst; Hon F. Li	Computer Aided Verification: Fourth International Workshop, CAV ' 92, Montreal, Canada, June 29 - July 1, 1992. Proceedings	Gregor von Bochmann; David K. Probst	1993	Springer Berlin Heidelberg
Model Checking Probabilistic Timed Systems against Timed Automata Specification	Junhua Zhang	Advances in Computer Science and its Applications: CSA 2013	Hwa Young Jeong; Mohammad S. Obaidat; Neil Y. Yen; James J. (Jong Hyuk) Park	2014	Springer Berlin Heidelberg
Timed Automata		Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Wojciech Penczek; Agata Pólrola	2006	Springer Berlin Heidelberg
Timed Automata	Rajeev Alur	Verification of Digital and Hybrid Systems	M. Kemal Inan; Robert P. Kurshan	2000	Springer Berlin Heidelberg
Timed Automata	Béatrice Bérard; Michel Bidoit; Alain Finkel; François Laroussinie; Antoine Petit; Laure Petrucci et al.	Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Checking Workflow Schemas with Time Constraints Using Timed Automata" - similar Books and Chapters