Rix Groenboom

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 2

Top Topics

Software Development Life Cycle

Software Metrics

Top Venues

Scalable Comput. Pract. Exp.

Publications

Miroslaw Zielinski, Rix Groenboom
Using Advanced Code Analysis for Boosting Unit Test Creation. ICST Workshops (2021)
Leonid Borodaev, Alexandru C. Telea, Rix Groenboom, Rein Smedinga
Software Metrics for Policy-Driven Software Development Life Cycle Automation. ICST Workshops (2018)
Faris Nizamic, Viktoriya Degeler, Rix Groenboom, Alexander Lazovik
Policy-Based Scheduling of Cloud Services. Scalable Comput. Pract. Exp. 13 (3) (2012)
Peter Dencker, Rix Groenboom
Methods for testing web services. Software Engineering (Workshops) (2007)
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
The Unified Problem-Solving Method Development Language UPML. Knowl. Inf. Syst. 5 (1) (2003)
Dieter Fensel, Rix Groenboom
A software architecture for knowledge-based systems. Knowl. Eng. Rev. 14 (2) (1999)
Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding
Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE. HICSS (1999)
Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems. Data Knowl. Eng. 26 (3) (1998)
Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus
Formalisation for decision support in anaesthesiology. Artif. Intell. Medicine 11 (3) (1997)
Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette
Formalizing Anaesthesia: a case study in formal specification. FME (1996)
Dieter Fensel, Rix Groenboom
MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems. ECAI (1996)
Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding
Algebraic Proof Assistants in HOL. MPC (1995)
Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding
Normal Form in a Delay-Insensitive Algebra. Asynchronous Design Methodologies (1993)
Rix Groenboom, Gerard R. Renardel de Lavalette
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. Semantics of Specification Languages (1993)