Highly Adaptable and Trustworthy Software using Forma Methods March 2009 - February 2013
Collection
Collection
-
Abstract Object Creation in Dynamic Logic In Proceedings
I. Grabe (Immo), F.S. de Boer (Frank) and W. Ahrendt (Wolfgang)
January 2009
-
Abstract Delta Modeling In Proceedings
D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer
October 2010
-
Monitoring Method Call Sequences using Annotations In Proceedings
B. Nobakht (Behrooz), M.M. Bonsangue (Marcello), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)
October 2010
-
From Nonpreemptive to Preemptive Scheduling – From Single-Processor to Multi-Processor In Proceedings
January 2011
-
A Modal Logic for Abstract Delta Modeling In Proceedings
F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)
September 2012
-
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development In Proceedings
January 2013
-
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks In Proceedings
C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), W. Ahrendt (Wolfgang) and R. Bubel (Richard)
January 2013
-
Testing abstract behavioral specifications Article
International Journal on Software Tools for Technology Transfer, 17(1), 107-119.P.Y.H. Wong, R. Bubel (Richard), F.S. de Boer (Frank), C.P.T. de Gouw (Stijn), M. Gómez-Zamalloa, R Haehnle, K. Meinke and M.A. Sindhu
February 2015