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

Research Output

2019

Dependency safety for Java: implementing and testing failboxes

Zhang, D., Bošnački, D., van den Brand, M., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 1 Oct 2019, In : Science of Computer Programming. 184, 22 p., 102316.

Research output: Contribution to journalArticleAcademicpeer-review

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

A small step for mankind

Huizing, C., Koymans, R. L. C. & Kuiper, R., 2010, Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever). Dams, D., Hannemann, U. & Steffen, M. (eds.). Berlin: Springer, p. 66-73 8 p. (Lecture Notes in Computer Science; vol. 5930).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

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

A proof system for invariants in layered OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 43 p. (Computer science reports; vol. 0801)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

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)

Specification and verification of invariants by exploiting layers in OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, In : Fundamenta Informaticae. 85, 1-4, p. 377-398

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 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 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

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

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

1999
Open Access
File
38 Downloads (Pure)
1998

Formal semantics for Ward and Mellor's transformation schemas and its application to fault tolerant systems

Petersohn, C., Huizing, C., Peleska, J. & de Roever, W. P., 1 Mar 1998, In : Computer Systems Science and Engineering. 13, 2, p. 131-136 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
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, taal van het jaar nul

Huizing, C., 1997, In : Informatie. 39, 1, p. 59-64

Research output: Contribution to journalArticleProfessional

5 Downloads (Pure)

Java is here to stay

Huizing, C., 1997, Proceedings NLUUG.

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

1996

Java

Huizing, C., 1996, In : Impact. 2, 5, p. 4-

Research output: Contribution to journalArticleProfessional

1 Downloads (Pure)
1994

A comparison of Ward & Mellor's transformation schema with state & activitycharts

Peleska, J., Huizing, C. & Petersohn, C., 1994, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science notes; vol. 9411)

Research output: Book/ReportReportAcademic

Open Access
File
51 Downloads (Pure)

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

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

Bakker, de, J. W. (ed.), Huizing, C. (ed.), Roever, de, W. P. (ed.) & Rozenberg, G. (ed.), 1992, Berlin: Springer. 723 p. (Lecture notes in computer science; vol. 600)

Research output: Book/ReportBook editingProfessional

7 Citations (Scopus)

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)
1991

Introduction to design choices in the semantics of Statecharts

Huizing, C. & Roever, de, W. P., 1991, In : Information Processing Letters. 37, 4, p. 205-213

Research output: Contribution to journalArticleAcademicpeer-review

21 Citations (Scopus)
2 Downloads (Pure)

Semantics of reactive systems : comparison and full abstraction

Huizing, C., 1991, Eindhoven: Technische Universiteit Eindhoven. 131 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
435 Downloads (Pure)
1988

Modelling Statecharts behaviour in a fully abstract way

Huizing, C., Gerth, R. T. & Roever, de, W. P., 1988, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computing science notes; vol. 8807)

Research output: Book/ReportReportAcademic

Open Access
File
37 Citations (Scopus)
123 Downloads (Pure)

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

A compositional semantics for statecharts

Huizing, C., Gerth, R. T. & Roever, de, W. P., 1987, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computing science notes; vol. 8715)

Research output: Book/ReportReportAcademic

Open Access
File
70 Downloads (Pure)

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)
1986

Full abstraction of a denotational semantics for real-time concurrency

Huizing, C., Gerth, R. T. & Roever, de, W. P., 1986, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computing science notes; vol. 8609)

Research output: Book/ReportReportAcademic

Open Access
File
82 Downloads (Pure)