Rix Groenboom

According to our database, Rix Groenboom authored at least 14 papers between 1993 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Using Advanced Code Analysis for Boosting Unit Test Creation.

Miroslaw Zielinski, Rix Groenboom

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

2018

Software Metrics for Policy-Driven Software Development Life Cycle Automation.

Leonid Borodaev, Alexandru C. Telea, Rix Groenboom, Rein Smedinga

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2012

Policy-Based Scheduling of Cloud Services.

Faris Nizamic, Viktoriya Degeler, Rix Groenboom, Alexander Lazovik

Scalable Comput. Pract. Exp., 2012

2007

Methods for testing web services.

Peter Dencker, Rix Groenboom

Proceedings of the Software Engineering 2007, 2007

2003

The Unified Problem-Solving Method Development Language UPML.

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

Knowl. Inf. Syst., 2003

1999

A software architecture for knowledge-based systems.

Dieter Fensel, Rix Groenboom

Knowl. Eng. Rev., 1999

Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE.

Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems.

Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette

Data Knowl. Eng., 1998

1997

Formalisation for decision support in anaesthesiology.

Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus

Artif. Intell. Medicine, 1997

1996

Formalizing Anaesthesia: a case study in formal specification.

Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems.

Dieter Fensel, Rix Groenboom

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Algebraic Proof Assistants in HOL.

Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding

Proceedings of the Mathematics of Program Construction, 1995

1993

Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.

Rix Groenboom, Gerard R. Renardel de Lavalette

Proceedings of the Semantics of Specification Languages (SoSL), 1993

Normal Form in a Delay-Insensitive Algebra.

Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993