Search Results - "Huisman, Marieke"

Deductive Verification of Cooperative RTOS Applications.

Authors: Tasche, Philip Herber, Paula Huisman, Marieke

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p

Behavior Nets: Context-Aware Behavior Modeling for Code Injection-Based Windows Malware.

Authors: Starink, Jerre Huisman, Marieke Peter, Andreas et al.

Source: ACM Transactions on Privacy & Security; Aug2025, Vol. 28 Issue 3, p1-29, 29p

Preserving provability over GPU program optimizations with annotation-aware transformations.

Authors: Şakar, Ömer Safari, Mohsen Huisman, Marieke et al.

Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

An Abstraction Technique for Verifying Shared-Memory Concurrency †.

Authors: Oortwijn, Wytse Gurov, Dilian Huisman, Marieke

Source: Applied Sciences (2076-3417); Jun2020, Vol. 10 Issue 11, p3928, 48p

Formal Methods for Industrial Critical Systems.

Authors: Groote, Jan Friso Huisman, Marieke

Source: International Journal on Software Tools for Technology Transfer. Apr2024, Vol. 26 Issue 2, p127-129. 3p.

Subjects: Industrialism, Technology transfer, Conference papers, Stochastic analysis, Research & development

Formal verification of parallel prefix sum and stream compaction algorithms in CUDA.

Authors: Safari, Mohsen Huisman, Marieke

Source: Theoretical Computer Science. Apr2022, Vol. 912, p81-98. 18p.

Subjects: Compacting, Parallel algorithms, Suffixes & prefixes (Grammar), High performance computing, Rock glaciers, Algorithms

TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019.

Authors: Beyer, Dirk Huisman, Marieke

Source: International Journal on Software Tools for Technology Transfer. Dec2021, Vol. 23 Issue 6, p829-832. 4p.

Subjects: Computer software testing, Software development tools, Technology transfer, Contests, International competition

Procedure-modular specification and verification of temporal safety properties.

Authors: Soleimanifard, Siavash Gurov, Dilian Huisman, Marieke

Source: Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p83-100, 18p

PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.

Authors: AMIGHI, AFSHIN HAACK, CHRISTIAN HUISMAN, MARIEKE et al.

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-66, 66p

VerifyThis 2019: a program verification competition.

Authors: Dross, Claire Furia, Carlo A Huisman, Marieke et al.

Source: International Journal on Software Tools for Technology Transfer; Dec2021, Vol. 23 Issue 6, p883-893, 11p

Effective verification of confidentiality for multi-threaded programs.

Authors: Ngo, Tri Minh Stoelinga, Mariëlle Huisman, Marieke

Source: Journal of Computer Security; 2014, Vol. 22 Issue 2, p269-300, 32p

TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019.

Authors: Beyer, Dirk Huisman, Marieke Kordon, Fabrice et al.

Source: International Journal on Software Tools for Technology Transfer. Dec2021, Vol. 23 Issue 6, p879-881. 3p.

Subjects: Software development tools, Computer software testing, Contests

Survey of annotation generators for deductive verifiers.

Authors: Lathouwers, Sophie Huisman, Marieke

Source: Journal of Systems & Software. May2024, Vol. 211, pN.PAG-N.PAG. 1p.

Tools for the construction and analysis of systems: A special issue for TACAS 2018.

Authors: Beyer, Dirk Huisman, Marieke

Source: International Journal on Software Tools for Technology Transfer. Dec2020, Vol. 22 Issue 6, p685-687. 3p.

Subjects: Systems software, Software development tools, Technology transfer, Construction, Conference papers

VerifyThis 2015.

Authors: Huisman, Marieke Klebanov, Vladimir Monahan, Rosemary et al.

Source: International Journal on Software Tools for Technology Transfer. Nov2017, Vol. 19 Issue 6, p763-771. 9p.

Subjects: Software verification, Computer software installation, Software development tools, Computer software conferences

Geographic Terms: London (England)

Specification and verification of synchronization with condition variables.

Authors: De C. Gomes, Pedro Gurov, Dilian Huisman, Marieke et al.

Source: Science of Computer Programming; Oct2018, Vol. 163, p174-189, 16p

Software quality tools and techniques presented in FASE’17.

Authors: Huisman, Marieke Rubin, Julia

Source: International Journal on Software Tools for Technology Transfer. Nov2018, Vol. 20 Issue 6, p611-613. 3p.

Subjects: Computer software quality control, Software engineering

Witnessing the elimination of magic wands.

Authors: Blom, Stefan Huisman, Marieke

Source: International Journal on Software Tools for Technology Transfer. Nov2015, Vol. 17 Issue 6, p757-781. 25p.

Subjects: Software verification, Computer operators, Server farms (Computer network management), Java programming language, Algorithms, Formal methods (Computer science), Hoare logic

VerifyThis 2012.

Authors: Huisman, Marieke Klebanov, Vladimir Monahan, Rosemary

Source: International Journal on Software Tools for Technology Transfer. Nov2015, Vol. 17 Issue 6, p647-657. 11p.

Subjects: Software verification, Formal methods (Computer science), Software engineering, National Physical Laboratory (Great Britain), Boolean functions, Software development tools, Conferences & conventions

Complexity and information flow analysis for multi-threaded programs.

Authors: Ngo, Tri Huisman, Marieke

Source: European Physical Journal: Special Topics. Jul2017, Vol. 226 Issue 10, p2375-2392. 18p.