Languages
Stoelinga, Marielle.
Overview
| Works: | 3 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Formal modeling and analysis of timed systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
FORMATS (Conference) (2019 :); Andre, Etienne.; Stoelinga, Marielle.; SpringerLink (Online service)
(Electronic resources)
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 /
by:
FASE (Conference) (2021 :); Guerra, Esther.; Stoelinga, Marielle.; SpringerLink (Online service); ETAPS (Conference) (2021 :)
(Electronic resources)
A journey from process algebra via timed automata to model learning = essays dedicated to Frits Vaandrager on the occasion of his 60th birthday /
by:
Vaandrager, Frits,; Jansen, Nils.; Stoelinga, Marielle.; Bos, Petra van den.; SpringerLink (Online service)
(Electronic resources)
Stochastic model checking = rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanced lectures /
by:
Remke, Anne.; Stoelinga, Marielle.; SpringerLink (Online service)
(Electronic resources)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
Stoelinga, Marielle.; Pinger, Ralf.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Data Structures and Information Theory.
Natural Language Processing (NLP)
Theory of Computation.
Computer programs- Reliability
Logics and Meanings of Programs.
Stochastic models
Software Engineering/Programming and Operating Systems.
Logic in AI.
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer Appl. in Administrative Data Processing.
Programming Languages, Compilers, Interpreters.
Computer simulation
Computer Engineering and Networks.
Computer science- Mathematics.
Computer Science.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer System Implementation.
Computer programs- Verification
Temporal automata
System analysis