Marieke Huisman | Academic Influence

Marieke Huisman's AcademicInfluence.com Rankings

Marieke Huisman

Computer Science

#2760

World Rank

#2888

Historical Rank

Software Engineering

#166

World Rank

#167

Historical Rank

Database

#8758

World Rank

#9195

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Marieke Huisman's Degrees

PhD Computer Science University of Twente
Masters Computer Science University of Twente
Bachelors Computer Science University of Twente

Similar Degrees You Can Earn

Why Is Marieke Huisman Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Marieke Huisman is a Dutch Computer Scientist and a professor of Software Reliability at the University of Twente, where she leads the Formal Methods and Tools Group. Career Huisman graduated from Utrecht University in 1996. She obtained her PhD at Radboud University Nijmegen in 2001; her dissertation, entitled Reasoning about Java programs in higher order logic using PVS and Isabelle, was supervised by Henk Barendregt.

(See a Problem?)

Marieke Huisman's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Reasoning about Java programs in higher order logic using PVS and Isabelle (2001) (144)
Java Program Verification via a Hoare Logic with Abrupt Termination (2000) (141)
Theorem Proving in Higher Order Logics (1998) (95)
A temporal logic characterisation of observational determinism (2006) (90)
Reasoning about Java classes: preliminary report (1998) (89)
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools (1998) (74)
The VerCors Tool for Verification of Concurrent Programs (2014) (70)
A Type-Theoretic Memory Model for Verification of Sequential Java Programs (1999) (63)
Formal methods for smart cards: an experience report (2005) (60)
The VerCors Tool Set: Verification of Parallel and Concurrent Software (2017) (60)
JACK - A Tool for Validation of Security and Behaviour of Java Applications (2006) (57)
CHASE: A Static Checker for JML's Assignable Clause (2002) (53)
Specification and verification of GPGPU programs (2013) (51)
A Comparison of PVS and Isabelle/HOL (1998) (49)
Permission-Based Separation Logic for Multithreaded Java Programs (2014) (49)
Reasoning about Java's Reentrant Locks (2008) (49)
Enforcing High-Level Security Properties for Applets (2004) (49)
Extending JML Specifications with Temporal Logic (2002) (49)
A case study in class library verification: Java’s vector class (1999) (47)
Formal Techniques for Java-Like Programs (FTfJP) (2004) (44)
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java (2002) (42)
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (2007) (42)
Edinburgh Research Explorer Mobile Resource Guarantees for Smart Devices (2005) (40)
Checking Absence of Illicit Applet Interactions: A Case Study (2004) (39)
The COST IC0701 Verification Competition 2011 (2011) (35)
Compositional verification of sequential programs with procedures (2008) (34)
The Java Memory Model: a Formal Explanation (2007) (33)
TOOLympics 2019: An Overview of Competitions in Formal Methods (2019) (32)
The VerCors project: setting up basecamp (2012) (31)
VerifyThis 2012 (2015) (31)
VerifyThis 2015 A program veriﬁcation competition (2016) (30)
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools (2019) (29)
Jakarta: A Toolset for Reasoning about JavaCard (2001) (26)
Verification of Concurrent Systems with VerCors (2014) (26)
Inheritance in Higher Order Logic: Modeling and Reasoning (2000) (25)
History-Based Verification of Functional Behaviour of Concurrent Programs (2015) (23)
Verification of Loop Parallelisations (2015) (22)
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification (2011) (21)
Compositional Verification of Secure Applet Interactions (2002) (21)
Reasoning about Java Classes (Preliminary Report) (1998) (21)
Future-based Static Analysis of Message Passing Programs (2016) (20)
Sound Control-Flow Graph Extraction for Java Programs with Exceptions (2012) (20)
An Abstraction Technique for Describing Concurrent Program Behaviour (2017) (18)
VerifyThis 2019: a program verification competition (2016) (18)
VerCors: A Layered Approach to Practical Verification of Concurrent Software (2016) (17)
Program Models for Compositional Verification (2008) (16)
Formal Specifications for Java's Synchronisation Classes (2013) (16)
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties (2010) (16)
Confidentiality for Probabilistic Multi-threaded Programs and Its Verification (2012) (16)
A Symbolic Approach to Permission Accounting for Concurrent Reasoning (2015) (15)
Witnessing the elimination of magic wands (2013) (15)
On the Organisation of Program Verification Competitions (2012) (15)
Specification and Verification of GPGPU Programs using Permission-Based Separation Logic (2013) (15)
Effective verification of confidentiality for multi-threaded programs (2014) (15)
Practical Mutation Testing for Smart Contracts (2019) (15)
A Formal Connection between Security Automata and JML Annotations (2009) (15)
BicolanoMT: a Formalization of Multi-Threaded Java at Bytecode Level 1 (2008) (14)
Model-Checking Secure Information Flow for Multi-threaded Programs (2011) (14)
Quantitative Security Analysis for Multi-threaded Programs (2013) (13)
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171) (2014) (13)
VerifyThis - Verification Competition with a Human Factor (2019) (13)
Verification of Liveness Properties with JML (2004) (13)
Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2004) (12)
Reducing behavioural to structural properties of programs with procedures (2008) (12)
VerifyThis 2015 (2017) (11)
Verification of Java's AbstractCollection Class: A Case Study (2002) (11)
A verification technique for deterministic parallel programs (2017) (11)
VerifyThis Verification Competition 2012 - Organizer's Report (2013) (11)
ProMoVer: Modular Verification of Temporal Safety Properties (2011) (11)
Specification and Verification of Atomic Operations in GPGPU Programs (2015) (11)
Simulation Logic, Applets and Compositional Verification (2003) (11)
How Do Developers Use APIs? A Case Study in Concurrency (2013) (11)
Resource Protection Using Atomics - Patterns and Verification (2014) (10)
Provably Correct Control-Flow Graphs from Java Programs with Exceptions (2011) (10)
Specification and Verification of Synchronization with Condition Variables (2016) (10)
Formal Verification of Parallel Prefix Sum (2020) (9)
Formal Methods: From Academia to Industrial Practice. A Travel Guide (2020) (9)
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach (2011) (8)
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System (2019) (8)
Provably correct control flow graphs from Java bytecode programs with exceptions (2016) (8)
Procedure-modular verification of control flow safety properties (2010) (8)
Verifying Class Invariants in Concurrent Programs (2014) (8)
Formal Specification with the Java Modeling Language (2016) (8)
Compositional verification for secure loading of smart card applets (2004) (8)
On the Industrial Application of Critical Software Verification with VerCors (2020) (7)
Complexity and information flow analysis for multi-threaded programs (2017) (7)
Tools and Algorithms for the Construction and Analysis of Systems (2018) (7)
Quantitative Security Analysis for Programs with Low Input and Noisy Output (2014) (6)
Reasoning About JML: Differences Between KeY and OpenJML (2018) (6)
Procedure-modular specification and verification of temporal safety properties (2015) (6)
An exercise in verifying sequential programs with VerCors (2018) (6)
BML and Related Tools (2009) (6)
Formal Specification with JML (2014) (6)
Software that Meets Its Intent (2016) (6)
Correct program parallelisations (2021) (5)
Program Correctness by Transformation (2018) (5)
Evaluating software verification systems: benchmarks and competitions (2014) (5)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... Papers (Lecture Notes in Computer Science) (2005) (5)
The Stability Problem for Verification of Concurrent Object-Oriented Programs (2007) (5)
The Calculation of a Polytypic Parser (1996) (5)
A Benchmark for Online Non-blocking Schema Transformations (2015) (4)
Practical Abstractions for Automated Verification of Message Passing Concurrency (2019) (4)
Automated Verification of Parallel Nested DFS (2020) (4)
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML (2015) (4)
Composing Modal Properties of Programs with Procedures (2009) (4)
Interface abstraction for compositional verification (2005) (4)
Proceedings of the 8th international workshop on Specification and verification of component-based systems (2009) (4)
Verifying Functional Behaviour of Concurrent Programs (2014) (4)
VerifyThis 2019: A Program Verification Competition (Extended Report) (2020) (4)
The COST IC 0701 Verification Competition 2011 Extended Version ? (2011) (3)
Verification of Shared-Reading Synchronisers (2018) (3)
Static Code Verification Through Process Models (2018) (3)
Resource protection using atomics: patterns and verifications (2013) (3)
On the interplay between the semantics of Java's finally clauses and the JML run-time checker (2009) (3)
Formal Methods for GPGPU Programming: Is the Demand Met? (2020) (3)
An Abstraction Technique for Verifying Shared-Memory Concurrency (2020) (3)
Practical Abstractions for Automated Verification of Shared-Memory Concurrency (2020) (3)
Compositional specification and verification of control flow based security properties of multi-application programs (2001) (3)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers (2006) (3)
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms (2020) (3)
Abstraction over Public Interfaces (2004) (3)
Permission Specifications for Common Multithreaded Programming Patterns (2007) (2)
The VerifyThis Collaborative Long Term Challenge (2020) (2)
A History of BlockingQueues (2012) (2)
Verifying Parallel Loops with Separation Logic (2014) (2)
A Verification Technique for Deterministic Parallel Programs (extended version) (2017) (2)
The COST IC0701 Veriﬁcation Competition 2011 (2012) (2)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (2005) (2)
Lazy Evaluation for Concurrent OLTP and Bulk Transactions (2016) (2)
A Program Verification Competition (2015) (2)
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 (2017) (2)
24 Challenges in Deductive Software Verification (2017) (2)
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms (2020) (2)
A Broader View on Verification: From Static to Runtime and Back (Track Summary) (2018) (1)
Security by Logic : Characterizing Non-Interference in Temporal Logic (2008) (1)
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary) (2018) (1)
Teaching Design by Contract using Snap! (2021) (1)
On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification (2018) (1)
IntelliJML: a JML plugin for IntelliJ IDEA (2021) (1)
Towards Online and Transactional Relational Schema Transformations (2014) (1)
Towards Reliable Concurrent Software (2018) (1)
3TU.BSR: Big Software on the Run (2015) (1)
Factorising Temporal Specifications (2005) (1)
Automated Verification of the Parallel Bellman-Ford Algorithm (2021) (1)
Runtime assertion checking of multithreaded Java programs (2014) (1)
Analysis of the Blocking Behaviour of Schema Transformations in Relational Database Systems (2015) (1)
Extending JML Spe i ationswith Temporal (2002) (1)
Alice & Eve: a celebration of women in computing (2020) (1)
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) (2013) (1)
Formal Techniques for Java-Like Programs (FTfJP'04) (2004) (1)
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers (2022) (1)
Correct and efficient accelerator programming (2013) (1)
Modular Transformation of Java Exceptions Modulo Errors (2021) (1)
Permission-Based Verification of Red-Black Trees and Their Merging (2021) (1)
Static and Runtime Verification, Competitors or Friends? (Track Summary) (2016) (1)
Mercedes: : Maximal Reliability of Concurrent and Distributed Software (2018) (0)
Permission-Based Separation Logic forScala (2015) (0)
Proceedings of the Workshop on Verification and Analysis of Multi-threaded Java-like Programs (2007) (0)
Procedure-modular specification and verification of temporal safety properties (2013) (0)
Correct and Efficient Accelerator Programming 1 Executive Summary (2015) (0)
Research Proposal NWO Open Competition 2008 1 Project data (2008) (0)
Complexity and information flow analysis for multi-threaded programs (2017) (0)
Proceedings of the 12th International Conference on Integrated Formal Methods - Volume 9681 (2016) (0)
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) (2005) (0)
VerifyThis 2012 (2015) (0)
Selected and Extended Papers from TACAS 2018: Preface (2020) (0)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, ... Papers (Lecture Notes in Computer Science) (2006) (0)
Verification and Validation of Concurrent and Distributed Systems (Track Summary) (2020) (0)
Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008 (2009) (0)
An overview of GPU Computing Research in the Netherlands : Results from the NIRICT GPGPU Reconnaissance workshop (2018) (0)
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java (2023) (0)
The Integration of Testing and Program Verification - A Position Paper (2022) (0)
VerifyThis 2015 (2016) (0)
Provably correct control flow graphs from Java bytecode programs with exceptions (2015) (0)
TOOLympics II: competitions on formal methods (2021) (0)
Parallel transaction processing in functional languages, towards practical functional databases (2013) (0)
Tools for the construction and analysis of systems (2020) (0)
SPECIFICATIONS FOR COMMON MULTITHREADED PROGRAMMING PATTERNS (2008) (0)
Software quality tools and techniques presented in FASE’17 (2018) (0)
Model-based Verification of Distributed Software (2016) (0)
Symbolic Model Checking with Partitioned BDDs in Distributed Systems (2017) (0)
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA (2022) (0)
Witnessing the elimination of magic wands (2015) (0)
Themes and Topics of Interest (2022) (0)
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary) (2022) (0)
Security by logic for multithreaded applications (2010) (0)
VerCors & Alpinist: Verification of Optimised GPU Programs (2023) (0)
VerifyThis 2019: a program verification competition (2021) (0)
Tools for the construction and analysis of systems (2020) (0)
3 Verification Communities : Remarks on Commonalities , Differences , and Terminology (2014) (0)
On Deductive Verification of an Industrial Concurrent Software Component with VerCors (2022) (0)
Analysis and Verification of Pointer Programs : October 2-5, 2017 (2017) (0)
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach (2020) (0)
Algorithmic Verification of Synchronization with Condition Variables (2015) (0)
SCP special issue on Bytecode 2012 - Preface (2014) (0)
Integrated Formal Methods (2016) (0)
Challenge 1 Monotonic Segments and GHC Sort (2019) (0)
Patterns and Verification (2014) (0)
Verification of Concurrent Software (2017) (0)
Reasoning about Java Classes (2006) (0)
Software reliability for everyone (2018) (0)
On Models and Code (2018) (0)
Analysis and Verification of Pointer Programs (2017) (0)
MOBIUS Project Title : Mobility , Ubiquity and Security Instrument : Integrated Project Priority 2 : Information Society Technologies Future and Emerging Technologies Deliverable D 3 . 7 Report on multithreading (2011) (0)
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14) (2016) (0)
Dagstuhl Seminar 13142 on Correct and Efficient Accelerator Programming (2013) (0)
SpecifyThis - Bridging Gaps Between Program Specification Paradigms (2022) (0)
Guest editors' introduction: Special issue on Formal Methods for Smart Cards (2004) (0)
Reasoning about Java Classes (2006) (0)
Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14) (2017) (0)
Specifiation and Verification of Multithreaded Object-Oriented Programs (2005) (0)
Verbindingsvaart Dokkumer Ie-Waldfeart/Alde Sylsried bij Dokkum : RAAP-rapport 3232 (2017) (0)
Static Verification of Message Passing Programs (2016) (0)
Improving Performance of the VerCors Program Verifier (2020) (0)
Towards online relational schema transformations (2014) (0)
Towards verified construction of correct and optimised GPU software (2020) (0)
TOOLympics I: Competition on software testing (2021) (0)
Annotated Java Program Synctask Coloured Petri Net OK / Fail Extract SyncTask Extract CPN Verify Coloured Petri (2016) (0)
Alpinist: An Annotation-Aware GPU Program Optimizer (2022) (0)
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511) (2012) (0)
Software quality tools and techniques presented in FASE’17 (2018) (0)
Verification of Concurrent Software with VerCors (2017) (0)
A research agenda for formal methods in the Netherlands (2019) (0)
Challenges in Deductive Software Verification ∗ (2017) (0)

This paper list is powered by the following services:

Other Resources About Marieke Huisman

en.wikipedia.org

What Schools Are Affiliated With Marieke Huisman?

Marieke Huisman is affiliated with the following schools:

University of Twente