Rix Groenboom

15 papers A 1B 1C 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Software architecture for machine learning to aid sustainable digital transformation: A systematic mapping study.
Inf. Softw. Technol.
Lech Bialek, Rix Groenboom, Vasilios Andrikopoulos
2021 — conf
Using Advanced Code Analysis for Boosting Unit Test Creation.
ICST Workshops
Miroslaw Zielinski, Rix Groenboom
2018 — conf
Software Metrics for Policy-Driven Software Development Life Cycle Automation.
ICST Workshops
Leonid Borodaev, Alexandru C. Telea, Rix Groenboom, Rein Smedinga
2012 J jnl
Policy-Based Scheduling of Cloud Services.
Scalable Comput. Pract. Exp.
Faris Nizamic, Viktoriya Degeler, Rix Groenboom, Alexander Lazovik
2007 C conf
Methods for testing web services.
Software Engineering (Workshops)
Peter Dencker, Rix Groenboom
2003 J jnl
The Unified Problem-Solving Method Development Language UPML.
Knowl. Inf. Syst.
Dieter Fensel, Enrico Motta, Frank van Harmelen, V. Richard Benjamins, Monica Crubézy, Stefan Decker, Mauro Gaspari, Rix Groenboom, William E. Grosso, Mark A. Musen, Enric Plaza, Guus Schreiber, Rudi Studer, Bob J. Wielinga
1999 J jnl
A software architecture for knowledge-based systems.
Knowl. Eng. Rev.
Dieter Fensel, Rix Groenboom
1999 — conf
Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE.
HICSS
Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding
1998 J jnl
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems.
Data Knowl. Eng.
Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette
1997 J jnl
Formalisation for decision support in anaesthesiology.
Artif. Intell. Medicine
Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus
1996 — conf
Formalizing Anaesthesia: a case study in formal specification.
FME
Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette
1996 A conf
MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems.
ECAI
Dieter Fensel, Rix Groenboom
1995 B conf
Algebraic Proof Assistants in HOL.
MPC
Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding
1993 — conf
Normal Form in a Delay-Insensitive Algebra.
Asynchronous Design Methodologies
Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding
1993 — conf
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.
Semantics of Specification Languages
Rix Groenboom, Gerard R. Renardel de Lavalette