Browsing by Author "Verhoef, M.H.G."

Formal semantics of a VDM extension for distributed embedded systems

2010, Part of book or chapter of book (Dams, D.; Hannemann, U. (ed.), Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever, pp. 142-161)

Modeling and validating distributed embedded real-time control systems

Verhoef, M.H.G.

2009, Dissertation

Reusing Real-Time Systems Design Experience Through Modelling Patterns

Florescu, O.; Voeten, J.P.M.; Verhoef, M.H.G. ; Corporaal, H.

2007, Part of book or chapter of book (Advances in Design and Specification Languages for Embedded Systems, pp. 329-348)

Co-simulation of Distributed Embedded Real-Time Control Systems

Verhoef, M. ; Visser, P.; Hooman, J.J.M. ; Broenink, J.

2007, Article in monograph or in proceedings (Integrated Formal Methods (IFM07), pp. 639-658)

Validation Support for Distributed Real-Time Embedded Systems in VDM++

Fitzgerald, John S.; Larsen, Peter Gorm; Tjell, Simon; Verhoef, Marcel

2007, Article in monograph or in proceedings (Proceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE), pp. 331-340)

Interpreting Distributed System Architectures using VDM++ - A Case Study

Verhoef, Marcel ; Larsen, Peter Gorm

2007, Article in monograph or in proceedings (Sauser, Brian J.; Muller, Gerrit (ed.), Proceedings of the Conference on System Engineering Research - CSER 2007)

Modeling of Hardware Software Performance of High-Tech Systems

Bosch, Peter van den; Muller, Gerrit; Verhoef, Marcel ; Florescu, Oana

2007, Article in monograph or in proceedings (Proceedings of the Seventeenth Annual International INCOSE Symposium)

Resilience Modelling Through Discrete Event and Continuous Time Co-simulation

Andrews, Zoe; Fitzgerald, John; Verhoef, Marcel

2007, Article in monograph or in proceedings (Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks - DSN07, pp. 350-351)

Modeling of performance

Bosch, P.F.A. van den; Florescu, O.; Verhoef, M.H.G. ; Muller, G.J.

2006, Part of book or chapter of book (Heemels, W.P.M.H.; Muller, G.J. (ed.), Boderc: Model-based design of high-tech systems, pp. 101-113)

System Architecture Evaluation using Modular Performance Analysis: a Case Study

Wandeler, Ernesto; Thiele, Lothar; Verhoef, Marcel ; Lieverse, Paul

2006, Article / Letter to editor (International Journal on Software Tools for Technology Transfer, vol. 8, iss. 6, (2006), pp. 649-667)

Evaluating embedded system architectures

Verhoef, M.H.G. ; Hooman, J.J.M.

2006, Part of book or chapter of book (Heemels, W.P.M.H.; Muller, G.J. (ed.), Boderc: Model-based design of high-tech systems, pp. 151-159)

Guest editors introduction: Quantitative analysis of real-time embedded systems

Buchholz, Peter; Katoen, J.P.; Verhoef, Marcel

2006, Article / Letter to editor (International Journal on Software Tools for Technology Transfer, vol. 8, iss. 6, (2006), pp. 605-606)

Threads of Reasoning: A Case Study in Printer Control

Sandee, Heico; Heemels, Maurice; Muller, G.J.; Bosch, P.F.A. van den; Verhoef, Marcel

2006, Article in monograph or in proceedings (Systems Engineering: Shining Light on Though Issues)

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

Verhoef, M. ; Larsen, P.G.; Hooman, J.J.M.

2006, Article in monograph or in proceedings (Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil (ed.), Formal Methods (FM`06), pp. 147-162)

Formal Methods Going Mainstream: Costs, Benefits, Experiences

Margaria, Tiziana; Schaetz, Bernhard; Verhoef, Marcel

2006, Article / Letter to editor (Facs Facts, vol. 2006, iss. 2, (2006), pp. 34-38)

Reusing Real-Time Systems Design Experience Through Modelling Patterns

Florescu, O.; Voeten, Jeroen; Verhoef, Marcel ; Corporaal, Henk

2006, Article in monograph or in proceedings (Forum on specification and Description Languages (FDL))

Timed Automata Based Analysis of Embedded System Architectures

Hendriks, M. ; Verhoef, M.

2006, External research report

Timed Automata Based Analysis of Embedded System Architectures

Hendriks, M. ; Verhoef, M.

2006, Article in monograph or in proceedings (Workshop on Parallel and Distributed Real-Time Systems 2006)

Validated Designs for Object--oriented Systems

Fitzgerald, John; Larsen, P.G.; Mukherjee, Paul; Plat, Nico; Verhoef, M.H.G.

2005, Book (monograph)

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

Wandeler, Ernesto; Thiele, Lothar; Verhoef, M.H.G. ; Lieverse, Paul

2005, External research report

On the Use of VDM++ for Specifying Real-time Systems

Verhoef, M.H.G.

2005, External research report

Radboud Repository

Browsing by Author "Verhoef, M.H.G."

Search Repository

Browse

All of Repository