Get started
Author

Rix Groenboom

Observed names: Groenboom, Rix, Groenboom, Rix, M, R. Groenboom, RIX GROENBOOM, Rix M. Groenboom
ORCID: 0000-0003-0548-5695
Observed ORCID: 0000-0003-0548-5695
OpenAlex ID: A5088607201
The Unified Problem-Solving Method Development Language UPML
2003 · Dieter Fensel, Enrico Motta, et al. · Knowledge and Information Systems · 126
Specification and verification of knowledge-based systems
1996 · Fensel, Dieter, Schoenegge, Arno, et al. · 36
The Component Model of UPML in a Nutshell
1999 · Dieter Fensel, V. Richard Benjamins, et al. · 28
MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems.
1996 · Dieter Fensel, Rix Groenboom · European Conference on Artificial Intelligence · 25
Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems
1998 · Dieter Fensel, Rix Groenboom, et al. · Data & Knowledge Engineering · 16
PDF
A software architecture for knowledge-based systems
1999 · DIETER FENSEL, RIX GROENBOOM · The Knowledge Engineering Review · 13
PDF
Reasoning about Dynamic Features in Specification Languages
1994 · Rix Groenboom, Gerard R. Renardel de Lavalette · Workshops in computing · 13
The Unified Problem-Solving Method Development Language
1999 · Dieter Fensel, Enrico Motta, et al. · UvA-DARE (University of Amsterdam) · 11
A formalization of evolving algebras
1995 · Rix Groenboom, Gerard Renardel de Lavalette, et al. · University of Groningen research database (University of Groningen / Centre for Information Technology) · 10
Formalization of a software architecture for embedded systems: a process algebra for SPLICE
2003 · P. Dechering, R. Groenboom, et al. · Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences · 9
Normal Form in a Delay-Insensitive Algebra
1993 · Rix Groenboom, Mark B. Josephs, et al. · University of Groningen research database (University of Groningen / Centre for Information Technology) · 9
Algebraic proof assistants in HOL
1995 · Rix Groenboom, Chris Hendriks, et al. · Lecture notes in computer science · 8
Testing for Highly Distributed Service-oriented Systems using Virtual Environments
2011 · Faris Nizamic, Rix Groenboom, et al. · University of Groningen research database (University of Groningen / Centre for Information Technology) · 5
Formalizing Anaesthesia: A case study in formal specification
1996 · Rix Groenboom, Erik Saaman, et al. · Lecture notes in computer science · 4
PDF
Policy-Based Scheduling of Cloud Services
2012 · Faris Nizamic, Viktoriya Degeler, et al. · University of Groningen research database (University of Groningen / Centre for Information Technology) · 3
Software architecture for machine learning to aid sustainable digital transformation: A systematic mapping study
2025 · Lech Bialek, Rix Groenboom, et al. · Information and Software Technology · 2
Using Advanced Code Analysis for Boosting Unit Test Creation
2021 · Miroslaw Zielinski, Rix Groenboom · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 2
Formalisation for decision support in anaesthesiology
1997 · Gerard R.Renardel de Lavalette, Rix Groenboom, et al. · Artificial Intelligence in Medicine · 2
Methods for testing web services.
2007 · Peter Dencker, Rix Groenboom · 1
Replication package for: Exploring the Adoption of MLOps Through the Lens of Sustainable Software: The DigiAgro Case Study
2026 · Bialek, Lech, Groenboom, Rix, et al. · Zenodo (CERN European Organization for Nuclear Research)
Feasibility of Automated Clustering in Personalized Applications Based on the Data Characteristics
2025 · Harald H. Rietdijk, Patricia Conde-Cespedes, et al. · International Conference on Bio-engineering for Smart Technologies (BioSMART)
Software Metrics for Policy-Driven Software Development Life Cycle Automation
2018 · Leonid Borodaev, Alexandru Telea, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Building a protocol validator for business to business communications
2012 · Rudi van Drunen, Rix Groenboom · USENIX Large Installation Systems Administration Conference
Proceedings of the 17th Dutch Testing Day: Testing Evolvability
2011 · Faris Nizamic, Rix Groenboom, et al.
FME'96: Industrial Benefits and Advances in Formal Methods, Proceedings
1996 · Rix Groenboom, Erik Saaman, et al. · Springer US
Works count: 47
Citation count: 334
H-index: 9
I10-index: 8
Year
Topic
Type