If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2017

A structured design methodology for concurrent programming

Bijlsma, A., Huizing, C., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, J. E. W., 14 Nov 2017, Proceedings CSERC 2017 - Computer Science Education Research Conference. Association for Computing Machinery, Inc, p. 1-9 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
8 Downloads (Pure)

Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

Zhang, D., Bošnački, D., van den Brand, M. G. J., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 2017, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Revised Selected Papers. Hammoudi, S., Pires, L. F., Selic, B. & Desfray, P. (eds.). Springer, p. 249-273 25 p. (Communications in Computer and Information Science; vol. 692).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)
2016

Dependency safety for Java - implementing failboxes

Bosnacki, D., van den Brand, M. G. J., Denissen, P. E. J. G., Huizing, C., Jacobs, B., Kuiper, R., Wijs, A. J., Wiłkowski, M. & Zhang, D., 2016, PPPJ '16 Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York: Association for Computing Machinery, Inc, 6 p. 15

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Downloads (Pure)

Verification of atomicity preservation in model-to-code transformations using generic Java code

Zhang, D., Bosnacki, D., Van Den Brand, M., Huizing, C., Kuiper, R., Jacobs, B. & Wijs, A., 2016, MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, Lda., p. 578-588 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)
2014

Towards verified Java code generation from concurrent state machines

Zhang, D., Bosnacki, D., Brand, van den, M. G. J., Engelen, L. J. P., Huizing, C., Kuiper, R. & Wijs, A. J., 2014, Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)). Dingel, J., Lara, de, J., Lúcio, L. & Vangheluwe, H. (eds.). CEUR-WS.org, p. 64-69 (CEUR Workshop Proceedings; vol. 1277).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
5 Citations (Scopus)
52 Downloads (Pure)
2012

Generalizations of Rice's theorem, applicable to executable and non-executable formalisms

Huizing, C., Kuiper, R. & Verhoeff, T., 2012, Turing-100. Voronkov, A. (ed.). EasyChair, p. 168-180 (EPiC Series; vol. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Visualization of object-oriented (Java) programs

Huizing, C., Kuiper, R., Luijten, C. A. A. M. & Vandalon, V., 2012, Proceedings of the 4th International Conference on Computer Supported Education (CSEDU 2012), 16-18 april 2012, Porto, Portugal. Helfert, M., Martins, M. J. & Cordeiro, J. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 65-72

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
5 Downloads (Pure)
2010

Halting still standing - Programs versus specifications

Huizing, C., Kuiper, R. & Verhoeff, T., 2010, Unifying Theories of Programming (Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings). Qin, S. (ed.). Berlin: Springer, p. 226-233 (Lecture Notes in Computer Science; vol. 6445).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)
2008

Invariants for non-hierarchical object structures

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006). Moreira, A. M. & Ribeiro, L. (eds.). p. 211-229 (Electronic Notes in Theoretical Computer Science; vol. 195).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)
2007

A new interpretation of invariants exploiting layers in OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2007, Proceedings of Concurrency, Specification and Programming (CS&P 2007, Łagów, Poland, September 27-29, 2007). Czaja, L. (ed.). Warsaw: Warsaw University, Vol. 2. p. 413-424

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Visualization of dynamic program aspects

Deelen, P., Ham, van, F. J. J., Huizing, C. & Wetering, van de, H. M. M., 2007, Proceedings of the 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT 2007) 24-25 June 2007, Banff, Alberta, Canada. Piscataway, New Jersey, USA: Institute of Electrical and Electronics Engineers, p. 39-46

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
2006

Cooperation-based invariants for OO languages

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2006, Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS'05, Macao, October 24-25, 2005). Liu, Z. & Barbosa, L. (eds.). p. 225-237 (Electronic Notes in Theoretical Computer Science; vol. 160).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
2005

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings of VVSS2005 : verification and validation of software systems (Eindhoven, The Netherlands, November 24, 2005). Punter, T. & Eekelen, van, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 148-161 (Computer Science Reports; vol. 05-30).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings 6th Net.Object Days (Erfurt, Germany, September 19-22, 2005). Franczyk, B. & et al., X. (eds.). Ilmenau, Germany: tranSIT GmbH, p. 575-585

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings of Development and Deployment of Product Software 2005 (DDoPS-05, San Diego CA, USA, June 27-28, 2005). Dey, P., Amin, M. & Brinkkemper, S. (eds.). p. 291-304

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2004

Rob Tristan Gerth: 1956-2003

Huizing, C. & Kuiper, R., 2004, CAV 2004. Alur, R. & Peled, D. A. (eds.). Berlin: Springer, p. 10-11 (Lecture Notes in Computer Science; vol. 3114).

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

2003

Dynamic contracts for adaptive specification

Huizing, C. & Kuiper, R., 2003, Proceedings Seventh World Multi-Conference in Systemics, Cybernetics and Informatics (SCI 2003, Orlando FL, USA, July 27-30, 2003). Callaos, N., Di Sciullo, A. M., Ohta, T. & Liu, T. K. (eds.). Orlando FL, USA: IIIS, Vol. 16. p. 95-101

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2000

Squarified treemaps

Bruls, M. J., Huizing, C. & Wijk, van, J. J., 2000, Data Visualization 2000 (Proceedings of the Joint EUROGRAPHICS and IEEE TCVG Symposium on Visualization in Amsterdam, The Netherlands, May 29–30, 2000). Leeuw, de, W. C. & Liere, van, R. (eds.). Vienna: Springer, p. 33-42

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Verification of object oriented programs using class invariants

Huizing, C. & Kuiper, R., 2000, Fundamental Approaches to Software Engineering (Proceedings Third International Conference, FASE2000; held as part of ETAPS2000, Berlin, Germany, March 25-April 2, 2000). Maibaum, T. S. E. (ed.). Berlin: Springer, p. 208-221 (Lecture Notes in Computer Science; vol. 1783).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1997

Interactive animation needs components

Huizing, C. & Barenbrug, B. G. B., 1997, Foundations of component-based systems workshop. p. 151-155

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Java is here to stay

Huizing, C., 1997, Proceedings NLUUG.

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

1994

Formal semantics for Ward & Mellor's transformation schemas

Petersohn, C., Roever, de, W. P., Huizing, C. & Peleska, J., 1994, Proceedings 6th Refinement Workshop of the BCS FACS Group (London, UK, January 5-7, 1994). Till, D. (ed.). Berlin: Springer, (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems

Petersohn, C., Huizing, C., Peleska, J. & Roever, de, W. P., 1994, Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). Echtle, K., Hammer, D. K. & Powell, D. (eds.). Berlin: Springer, p. 59-76 (Lecture Notes in Computer Science; vol. 852).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1992

Semantics of reactive systems in abstract time

Huizing, C. & Gerth, R. T., 1992, Real-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991). Bakker, de, J. W., Roever, de, W. P. & Rozenberg, G. (eds.). Berlin: Springer, p. 291-314 (Lecture Notes in Computer Science; vol. 600).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

25 Citations (Scopus)
1988

Modelling Statecharts behaviour in a fully abstract way

Huizing, C., Gerth, R. T. & Roever, de, W. P., 1988, CAAP'88 (Proceedings 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988). Dauchet, M. & Nivat, M. (eds.). Berlin: Springer, p. 271-294 (Lecture Notes in Computer Science; vol. 299).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1987

Full abstraction of a real-time denotational semantics for an OCCAM-like language

Huizing, C., Gerth, R. T. & Roever, de, W. P., 1987, Proceedings 14th Annual ACM Symposium on Principles of Programming Languages (POPL, Munich, Germany, January 21-23, 1987). New York: Association for Computing Machinery, Inc, p. 223-237

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Citations (Scopus)