On the instantaneous availability and performability evaluation of fault-tolerant computer systems. - Krishna R. Pattipati; Yong Li; Henk A. P. Blom (SMC, 1989)

Time-reversion of a hybrid state stochastic difference system with a jump-linear smoothing application. - Henk A. P. Blom; Yaakov Bar-Shalom (IEEE Trans. Inf. Theory, 1990)

Correction to 'Time-Reversion of a Hybrid State Stochastic Difference System with a Jump-Linear Smoothing Application'. - Henk A. P. Blom; Yaakov Bar-Shalom (IEEE Trans. Inf. Theory, 1991)

A Unified Framework for the Performability Evaluation of Fault-Tolerant Computer Systems. - Krishna R. Pattipati; Yong Li; Henk A. P. Blom (IEEE Trans. Computers, 1993)

Embedding adaptive JLQG into LQ martingale control with a completely observable stochastic control matrix. - Mariken H. C. Everdij; Henk A. P. Blom (IEEE Trans. Autom. Control., 1996)

Probabilistic data association avoiding track coalescence. - Henk A. P. Blom; Edwin A. Bloem (IEEE Trans. Autom. Control., 2000)

Conflict probability and incrossing probability in air traffic management. - Henk A. P. Blom; G. J. Bakker (CDC, 2002)

Interacting multiple model joint probabilistic data association avoiding track coalescence. - Henk A. P. Blom; Edwin A. Bloem (CDC, 2002)

Stochastic Hybrid Processes with Hybrid Jumps. - Henk A. P. Blom (ADHS, 2003)

Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models. - Mariken H. C. Everdij; Henk A. P. Blom (ADHS, 2003)

Tracking multiple maneuvering targets by joint combinations of IMM and PDA. - Henk A. P. Blom; Edwin A. Bloem (CDC, 2003)

Collision risk modeling of air traffic. - Henk A. P. Blom; Bert G. J. Bakker; Mariken H. C. Everdij; Marco van der Park (ECC, 2003)

Joint Integrated PDA Avoiding Track Coalescence. - Henk A. P. Blom; Darko Musicki; Edwin A. Bloem (CDC/ECC, 2005)

Functional Abstractions of stochastic Hybrid Systems. - Manuela-Luminita Bujorianu; Henk A. P. Blom; Holger Hermanns (ADHS, 2006)

A Particle System for Safety Verification of Free Flight in Air Traffic. - Henk A. P. Blom; Jaroslav Krystul; G. J. Bakker (CDC, 2006)

Joint Integrated PDA Avoiding Track Coalescence under Non-Homogeneous Clutter Density. - Henk A. P. Blom; Edwin A. Bloem; Darko Musicki (FUSION, 2006)

Approximate Bayesian tracking of two targets that maneuver in and out formation flight. - Henk A. P. Blom; Edwin A. Bloem (MFI, 2006)

Safety Risk Assessment by Monte Carlo Simulation of Complex Safety Critical Operations. - Henk A. P. Blom; Sybert H. Stroeve; Hans H. de Jong (SSS, 2006)

Exact Bayesian filter and joint IMM coupled PDA tracking of maneuvering targets from possibly missing and false measurements. - Henk A. P. Blom; Edwin A. Bloem (Autom., 2006)

Erratum to "Exact Bayesian filter and joint IMM coupled PDA tracking of maneuvering targets from possibly missing and false measurements" [Automatica, 42 (2006) 127-135]. - Henk A. P. Blom; Edwin A. Bloem (Autom., 2006)

Joint Particle Filtering of Multiple Maneuvering Targets From Unassociated Measurements. - Henk A. P. Blom; Edwin A. Bloem (J. Adv. Inf. Fusion, 2006)

Probabilistic reachability analysis for large scale stochastic hybrid systems. - Henk A. P. Blom; G. J. Bakker; Jaroslav Krystul (CDC, 2007)

Hybrid SIR joint particle filtering under limited sensor resolution. - Henk A. P. Blom; Edwin A. Bloem (FUSION, 2007)

Modelling Lateral Spacing and Separation for Airborne Separation Assurance Using Petri Nets. - Mariken H. C. Everdij; Henk A. P. Blom; Bert G. J. Bakker (Simul., 2007)

Tracking closely spaced targets: Bayes outperformed by an approximation? - Henk A. P. Blom; Edwin A. Bloem; Yvo Boers; Hans Driessen (FUSION, 2008)

Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic. - Alexei Sharpanskykh; Sybert H. Stroeve; Henk A. P. Blom (ICEIS (2), 2008)

Rare Event Estimation for a Large-Scale Stochastic Hybrid System with Air Traffic Application. - Henk A. P. Blom; Bert G. J. Bakker; Jaroslav Krystul (Rare Event Simulation using Monte Carlo Methods, 2009)

Permutation invariance in Bayesian estimation of two targets that maneuver in and out formation flight. - Henk A. P. Blom; Edwin A. Bloem (FUSION, 2009)

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets - Mariken H. C. Everdij; Henk A. P. Blom (FMA, 2009)

Modeling and estimation of accident rate and trend in air transport. - Henk A. P. Blom; Edwin A. Bloem (FUSION, 2010)

Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis. - James Lockerbie; David Bush; Neil A. M. Maiden; Henk A. P. Blom; Mariken H. C. Everdij (RE, 2010)

Air traffic complexity and the interacting particle system method: An integrated approach for collision risk estimation. - Maria Prandini; Henk A. P. Blom; Bert G. J. Bakker (ACC, 2011)

Optimal decomposed particle filtering of two closely spaced Gaussian targets. - Henk A. P. Blom; Edwin A. Bloem (CDC/ECC, 2011)

Decomposed particle filtering and track swap estimation in tracking two closely spaced targets. - Henk A. P. Blom; Edwin A. Bloem (FUSION, 2011)

An overview of airborne time-spacing research in the JADE program. - Eri Itoh; Kazuhiko Uejima; Hidenori Chida; Katsuhiro Nishinari; Mariken H. C. Everdij; Bert G. J. Bakker; Henk A. P. Blom (ATACCS, 2012)

The continuous time roots of the Interacting Multiple Model filter. - Henk A. P. Blom (CDC, 2012)

Interacting multiple model-feedback particle filter for stochastic hybrid systems. - Tao Yang 017; Henk A. P. Blom; Prashant G. Mehta (CDC, 2013)

An Integrated Multi-agent Model for Modelling Hazards within Air Traffic Management. - Tibor Bosse; Henk A. P. Blom; Sybert H. Stroeve; Alexei Sharpanskykh (IAT, 2013)

Agent-based modeling and simulation of emergent behavior in air transportation. - Soufiane Bouarfa; Henk A. P. Blom; Richard Curran; Mariken H. C. Everdij (Complex Adapt. Syst. Model., 2013)

Contrasting safety assessments of a runway incursion scenario: Event sequence analysis versus multi-agent dynamic risk modelling. - Sybert H. Stroeve; Henk A. P. Blom; Bert G. J. Bakker (Reliab. Eng. Syst. Saf., 2013)

The continuous-discrete time feedback particle filter. - Tao Yang 017; Henk A. P. Blom; Prashant G. Mehta (ACC, 2014)

Modelling situation awareness relations in a multiagent system. - Henk A. P. Blom; Alexei Sharpanskykh (Appl. Intell., 2015)

Safety Evaluation of Advanced Self-Separation Under Very High En Route Traffic Demand. - Henk A. P. Blom; Bert G. J. Bakker (J. Aerosp. Inf. Syst., 2015)

JIPDA: Automatic target tracking avoiding track coalescence. - Henk A. P. Blom; Edwin A. Bloem; Darko Musicki (IEEE Trans. Aerosp. Electron. Syst., 2015)

Agent-Based Modeling and Simulation of Coordination by Airline Operations Control. - Soufiane Bouarfa; Henk A. P. Blom; Ricky Curran (IEEE Trans. Emerg. Top. Comput., 2016)

ARCH-COMP18 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Sofie Haesaert; Arnd Hartmanns; Kendra Lesser; Meeko Oishi; Vignesh Sivaramakrishnan; Sadegh Soudjani; Cristian Ioan Vasile; Abraham P. Vinod (ARCH@ADHS, 2018)

Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System. - Henk A. P. Blom; Hao Ma; G. J. Bakker (ADHS, 2018)

ARCH-COMP19 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; et al. (ARCH@CPSIoTWeek, 2019)

Mathematical Models for Air Traffic Conflict and Collision Probability Estimation. - Mihaela Mitici; Henk A. P. Blom (IEEE Trans. Intell. Transp. Syst., 2019)

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

Third party risk modelling of Unmanned Aircraft System operations, with application to parcel delivery service. - Henk A. P. Blom; Chenpeng Jiang; Wouter B. A. Grimme; Mihaela Mitici; Yuk S. Cheung (Reliab. Eng. Syst. Saf., 2021)

ARCH-COMP22 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Birgit van Huijgevoort; Abolfazl Lavaei; Hao Ma; Mathis Niehage; Anne Remke; Oliver Schön; Stefan Schupp; et al. (ARCH@SAFECOMP, 2022)

ARCH-COMP23 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Sofie Haesaert; Birgit van Huijgevoort; Abolfazl Lavaei; Anne Remke; Oliver Schön; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2023)

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness. - Mahdieh Zaker; Henk A. P. Blom; Sadegh Soudjani; Abolfazl Lavaei (ITSC, 2024)

ARCH-COMP25 Category Report: Stochastic Models. - Alessandro Abate; Omid Akbarzadeh; Henk A. P. Blom; Sofie Haesaert; Sina Hassani; Abolfazl Lavaei; Frederik Baymler Mathiesen; Rahul Misra; Amy Nejati; Mathis Niehage; Fie Ørum; Anne Remke; et al. (CoRR, 2025)