Mariëlle Stoelinga – författare
Visar alla böcker från författaren Mariëlle Stoelinga. Handla med fri frakt och snabb leverans.
21 produkter
Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Av Étienne André, Mariëlle Stoelinga
Häftad, 2019
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected …
Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Av Marielle Stoelinga, Etienne Andre
E-bok, 2019
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected …
Fundamental Approaches to Software Engineering
24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Av Esther Guerra, Mariëlle Stoelinga
Häftad, 2021
455 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The …
Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Av Nils Jansen, Mariëlle Stoelinga m. fl.
Häftad, 2022
566 kr
Lägg i varukorg
This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal …
Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Av Petra van den Bos, Marielle Stoelinga m. fl.
E-bok, 2022
732 kr
Lägg i varukorg
This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal …
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Av Nils Jansen, Sebastian Junges m. fl.
Häftad, 2024
846 kr
Lägg i varukorg
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of …
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Av Matthias Volk, Marielle Stoelinga m. fl.
E-bok, 2024
1091 kr
Lägg i varukorg
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master''s and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of …
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Av Nils Jansen, Sebastian Junges m. fl.
Häftad, 2024
790 kr
Lägg i varukorg
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of …
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Av Matthias Volk, Marielle Stoelinga m. fl.
E-bok, 2024
1007 kr
Lägg i varukorg
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master''s and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of …
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Av Nils Jansen, Sebastian Junges m. fl.
Häftad, 2024
902 kr
Lägg i varukorg
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of …
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Av Matthias Volk, Marielle Stoelinga m. fl.
E-bok, 2024
1175 kr
Lägg i varukorg
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master''s and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of …
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Av Mariëlle Stoelinga, Enno Ruijters m. fl.
Inbunden, 2026
713 kr
Lägg i varukorg
Fault tree analysis is key tool in risk analysis. It is a widely used industry standard with applications in amongst others, the aerospace, automotive, chemical and nuclear industries.Society depends on complex engineering systems such as (nuclear) power plants, airplanes, and data centers, and …
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Av Pavel Krcal, Enno Ruijters m. fl.
E-bok, 2026
897 kr
Lägg i varukorg
Fault tree analysis is key tool in risk analysis. It is a widely used industry standard with applications in amongst others, the aerospace, automotive, chemical and nuclear industries.Society depends on complex engineering systems such as (nuclear) power plants, airplanes, and data centers, and …
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I
Av Augusto Sampaio, Marielle Stoelinga
Häftad, 2026
456 kr
Lägg i varukorg
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026. The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 …
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
Av Augusto Sampaio, Marielle Stoelinga
Häftad, 2026
456 kr
Lägg i varukorg
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026. The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 …
Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
Av Mariëlle Stoelinga, Ralf Pinger
Häftad, 2012
507 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to …
Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
Av Ralf Pinger, Marielle Stoelinga
E-bok, 2012
638 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to …
Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Av Kaustubh Joshi, Markus Siegle m. fl.
Häftad, 2013
550 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and …
Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Av Pedro R. D'Argenio, Marielle Stoelinga m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and …
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Av Anne Remke, Mariëlle Stoelinga
Häftad, 2014
544 kr
Lägg i varukorg
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly …
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Av Marielle Stoelinga, Anne Remke
E-bok, 2014
652 kr
Lägg i varukorg
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly …
