"Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Reactive Extrusion Systems	Leon P.B.M. Janssen	2004	Routledge
Logic Synthesis for Compositional Microprogram Control Units	Alexander Barkalov; Larysa Titarenko	2008	Springer Berlin Heidelberg
Chemical Synthesis Using Highly Reactive Metals	Reuben D. Rieke	2016	John Wiley & Sons
Synchronous Programming of Reactive Systems	Nicolas Halbwachs	1993	Springer US
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications	Gaurav Singh; Sandeep Kumar Shukla	2010	Springer New York
Reactive inkjet printing: a chemical synthesis tool	Patrick J Smith, Patrick J Smith, Aoife Morrin, Chris Tse, Yi Zhang, David Gregory, Christopher Tuck, Paul Calvert, Stephen Yeates, Jonathan Stringer, Mark Wilson, Alison Lennon, Ghassan Jabbour, Patrick Rider	2018	Royal Society of Chemistry
Temporal Verification of Reactive Systems: Safety	Zohar Manna; Amir Pnueli	1995	Springer New York
Computer-Aided Modeling of Reactive Systems	Warren E. Stewart	2008	John Wiley & Sons
Dynamics and Modelling of Reactive Systems	Warren E. Stewart; W. Harmon Ray and Charles C. Conley	1980	Academic Press
Gasdynamics of Explosions and Reactive Systems	A. K. Oppenheim	1980	Pergamon
Reactive Flow Modeling of Hydrothermal Systems	Michael Kühn	2004	Springer Berlin Heidelberg
Design Methods for Reactive Systems	R.J. Wieringa	2003	Morgan Kaufmann
Dataflow and Reactive Programming Systems	Matt Carkci
Specification and Compositional Verification of Real-Time Systems	Jozef Hooman	1991	Springer Berlin Heidelberg
Compositional Verification of Concurrent and Real-Time Systems	Eric Y.T. Juan; Jeffrey J.P. Tsai	2002	Springer US
Synthesis of Feedback Systems	IsaaC.M. Horowitz	1963	Academic Press
Behavioral Specifications of Businesses and Systems	Haim Kilov; Bernhard Rumpe; Ian Simmonds	1999	Springer US
Behavioral specifications of businesses and systems	Haim Kilov; Bernhard Rumpe	1999	Kluwer Academic
Reactive Systems: Modelling, Specification and Verification	Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba	2007-08	Cambridge University Press
Specifications of Database Systems: International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991	David J. Harper; Moira C. Norrie	1992	Springer London
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
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications	Hillel Kugler; Itai Segall	Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings	Stefan Kowalewski; Anna Philippou	2009	Springer Berlin Heidelberg
Compositional Synthesis of Reactive Controllers for Multi-agent Systems	Rajeev Alur; Salar Moarref; Ufuk Topcu	Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II	Swarat Chaudhuri; Azadeh Farzan	1st ed. 2016	Springer International Publishing
Synthesis of Asynchronous Reactive Programs from Temporal Specifications	Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa’ar	Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I	Hana Chockler; Georg Weissenbacher	1st ed. 2018	Springer International Publishing
Synthesis of Reactive Systems		Dependable software systems engineering	Esparza, Javier(Editor); Grumberg, Orna(Editor); Sickert, Salomon(Editor)	2016	Ios Pr Inc; IOS Press
Compositional Synthesis of Modular Systems	Bernd Finkbeiner; Noemi Passing	Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings	Zhe Hou; Vijay Ganesh	1st ed. 2021	Springer International Publishing
Synthesis of Digital Systems from English Specifications	George Zobrist	VLSI Design Environments	George Zobrist	2000	Routledge
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications	Joel Greenyer; Ekkart Kindler	Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings	Ana Moreira; Bernhard Schätz; Jeff Gray; Antonio Vallecillo; Peter Clarke	2013	Springer Berlin Heidelberg
Architectural Specifications for Reactive Systems	Artur Zawłocki	Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers	José Luiz Fiadeiro; Peter D. Mosses; Fernando Orejas	2005	Springer Berlin Heidelberg
Automatic Compositional Synthesis of Distributed Systems	Werner Damm; Bernd Finkbeiner	FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings	Cliff Jones; Pekka Pihlajasaari; Jun Sun	2014	Springer International Publishing
Synthesis of Distributed Systems from Knowledge-Based Specifications	Ron van der Meyden; Thomas Wilke	CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings	Martín Abadi; Luca Alfaro	2005	Springer Berlin Heidelberg
Synthesis of Specifications from Programs	N. Tareb; Y. Kodratoff	3. Österreichische Artificial-Intelligence-Tagung: Wien, 22–25. September 1987	Ernst Buchberger; Johannes Retti	1987	Springer Berlin Heidelberg
Strong Safe Realizability of Message Sequence Chart Specifications	Abdolmajid Mousavi; Behrouz Far; Armin Eberlein; Behrouz Heidari	International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings	Farhad Arbab; Marjan Sirjani	2007	Springer Berlin Heidelberg
Automatic synthesis of specifications from the dynamic observation of reactive programs	Bernard Boigelot; Patrice Godefroid	Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS' 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings	Ed Brinksma	1997	Springer Berlin Heidelberg
Synthesis from Combined Specifications		Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings	Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)	2013	Springer Nature.
Realizable and unrealizable specifications of reactive systems	Martín Abadi; Leslie Lamport; Pierre Wolper	Automata, Languages and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings	Giorgio Ausiello; Mariangiola Dezani-Ciancaglini; Simonetta Ronchi Della Rocca	1989	Springer Berlin Heidelberg
Compositional Modeling of Reactive Systems Using Open Nets	P. Baldan; A. Corradini; H. Ehrig; R. Heckel	CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings	Kim G. Larsen; Mogens Nielsen	2001	Springer Berlin Heidelberg
Effective Synthesis of Asynchronous Systems from GR(1) Specifications	Uri Klein; Nir Piterman; Amir Pnueli	Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings	Viktor Kuncak; Andrey Rybalchenko	2012	Springer Berlin Heidelberg
Component Synthesis from Service Specifications	Ingolf H. Krüger; Reena Mathew	Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers	Stefan Leue; Tarja J. Systä	2005	Springer Berlin Heidelberg
Synthesis from knowledge-based specifications	Ron van der Meyden; Moshe Y. Vardi	CONCUR ' 98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings	Davide Sangiorgi; Robert de Simone	1998	Springer Berlin Heidelberg
Program synthesis from incomplete specifications	Gérard Guiho; Christian Gresse	5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980	Wolfgang Bibel; R. Kowalski	1980	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications" - similar Books and Chapters