Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Mariëlle Stoelinga | lit.salon

Author

Mariëlle Stoelinga

7 works

2012–2025 across 6 dated works

No biography is available yet.

Start with

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings2012
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures2014
With Anne Remke
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings2019
With Étienne André
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held As Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings2021
With Esther Guerra

Books

6 works

Featured (6)Featured (6)All (7)All (7)

Search booksSort books

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures2014
With Anne Remke
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings2019
With Étienne André
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms2025
With Enno Ruijters, Pavel Krčál
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Journey from Process Algebra Via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday2022
With Nils Jansen, Petra van den Bos
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held As Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings2021
With Esther Guerra
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Mariëlle Stoelinga.

The conversation is still open.

There is no public salon activity to show for Mariëlle Stoelinga yet.