Huisman, Marieke.
Overview
| Works: | 1 works in 8 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
International Workshop on Formal Methods for Industrial Critical Systems (2022 :); Huisman, Marieke.; SpringerLink (Online service); Groote, Jan Friso.
(Electronic resources)
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 /
by:
Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service); TACAS (Conference) (2018 :); ETAPS (Conference) (2018 :)
(Electronic resources)
Formal methods = 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings /
by:
Huisman, Marieke.; Zhan, Naijun.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2021 :); Pasareanu, Corina.
(Electronic resources)
Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
Huisman, Marieke.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques (2023 :); FORTE Conference (2023 :); Ravara, Antonio.
(Electronic resources)
Fundamental approaches to software engineering = 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
FASE (Conference) (2017 :); Huisman, Marieke.; SpringerLink (Online service); ETAPS (Conference) (2017 :); Rubin, Julia.
(Electronic resources)
Concise guide to software verification = from model checking to annotation checking /
by:
Huisman, Marieke.; SpringerLink (Online service); Wijs, Anton.
(Electronic resources)
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 II /
by:
Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service); TACAS (Conference) (2018 :); ETAPS (Conference) (2018 :)
(Electronic resources)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
Abraham, Erika.; Huisman, Marieke.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Data Structures, Cryptology and Information Theory.
Computing Methodologies.
Theory of Computation.
Computer network protocols
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer and Information Systems Applications.
Computing Milieux.
Software Testing.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
System design
Special Purpose and Application-Based Systems.
Computer software- Verification.
Computational Number Theory.
Computer Engineering and Networks.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer Science.
Computer software- Verification
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.
System analysis
Compilers and Interpreters.