Rix Groenboom
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1995–2021
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICST | Using Advanced Code Analysis for Boosting Unit Test Creation. | Miroslaw Zielinski, Rix Groenboom |
| 2018 | ICST | Software Metrics for Policy-Driven Software Development Life Cycle Automation. | Leonid Borodaev, Alexandru C. Telea, Rix Groenboom, Rein Smedinga |
| 1996 | ECAI | MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems. | Dieter Fensel, Rix Groenboom |
| 1996 | FM | Formalizing Anaesthesia: a case study in formal specification. | Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette |
| 1995 | MPC | Algebraic Proof Assistants in HOL. | Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding |