Jaco van de Pol

From MaRDI portal
Person:507380

Available identifiers

zbMath Open van-de-pol.jan-cornelisWikidataQ62036897 ScholiaQ62036897MaRDI QIDQ507380

List of research outcomes

PublicationDate of PublicationType
Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin2023-08-02Paper
Parameter Synthesis Algorithms for Parametric Interval Markov Chains2023-03-10Paper
https://portal.mardi4nfdi.de/entity/Q58753652023-02-03Paper
Efficient convex zone merging in parametric timed automata2023-01-18Paper
Automated Verification of Parallel Nested DFS2022-10-13Paper
On completeness of liveness synthesis for parametric timed automata (Extended Abstract)2021-10-27Paper
Iterative bounded synthesis for efficient cycle detection in parametric timed automata2021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q49949642021-06-22Paper
Certifying emptiness of timed Büchi automata2021-03-02Paper
Improving the Timed Automata Approach to Biological Pathway Dynamics2020-02-24Paper
Two different strong normalization proofs?2019-01-11Paper
Confluence reduction for Markov automata2017-02-06Paper
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking2014-05-13Paper
Improved Distributed Algorithms for SCC Decomposition2013-12-13Paper
https://portal.mardi4nfdi.de/entity/Q28481462013-09-25Paper
Confluence Reduction for Markov Automata2013-08-16Paper
Just-in-time2013-07-24Paper
Improved Multi-Core Nested Depth-First Search2012-11-21Paper
Multi-core Reachability for Timed Automata2012-11-21Paper
Efficient Modelling and Generation of Markov Automata2012-09-25Paper
A linear process-algebraic format with data for probabilistic automata2012-03-13Paper
On the axiomatizability of priority. II2011-07-07Paper
A calculus for four-valued sequential logic2011-07-07Paper
Confluence Reduction for Probabilistic Systems2011-05-19Paper
Distributed Algorithms for SCC Decomposition2011-02-02Paper
Formal Methods for Components and Objects2010-02-09Paper
State Space Reduction of Linear Processes Using Control Flow Reconstruction2009-12-01Paper
Compositional Control Synthesis for Partially Observable Systems2009-10-22Paper
Accelerated Modal Abstractions of Labelled Transition Systems2009-04-28Paper
Computing Weakest Strategies for Safety Games of Imperfect Information2009-03-31Paper
Bug Hunting with False Negatives2009-03-06Paper
Symbolic Reachability for Process Algebras with Recursive Data Types2009-01-27Paper
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems2008-09-18Paper
Generalizing DPLL and satisfiability for equalities2007-08-23Paper
An abstract interpretation toolkit for \(\mu\)CRL2007-05-31Paper
https://portal.mardi4nfdi.de/entity/Q34133712007-01-04Paper
Cones and foci: A mechanical framework for protocol verification2006-11-17Paper
Mathematical Foundations of Computer Science 20052006-10-20Paper
Which two-sorted algebras of Booleans and naturals have a finite basis?2006-01-06Paper
Verification of a sliding window protocol in \(\mu\) CRL and PVS2005-12-13Paper
Term Rewriting and Applications2005-11-11Paper
Algebraic Methodology and Software Technology2005-08-25Paper
Algebraic Methodology and Software Technology2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q30248482005-07-04Paper
Zero, successor and equality in BDDs2005-04-21Paper
Semantic models of a timed distributed dataspace architecture2005-04-06Paper
https://portal.mardi4nfdi.de/entity/Q48087592004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47382002004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44844742003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q48062112003-05-21Paper
https://portal.mardi4nfdi.de/entity/Q45363742002-11-04Paper
https://portal.mardi4nfdi.de/entity/Q45363972002-10-08Paper
https://portal.mardi4nfdi.de/entity/Q27670142002-07-22Paper
A rewriting approach to binary decision diagrams2002-05-21Paper
https://portal.mardi4nfdi.de/entity/Q44942412000-08-10Paper
https://portal.mardi4nfdi.de/entity/Q46993011999-11-10Paper
Operational semantics of rewriting with priorities1999-01-20Paper
https://portal.mardi4nfdi.de/entity/Q31270781997-04-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Jaco van de Pol