• 146 Citaties
1986 …2019

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

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 okt 2019, In : Science of Computer Programming. 184, 22 blz., 102316.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 1-9 9 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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. (redactie). Springer, blz. 249-273 25 blz. (Communications in Computer and Information Science; vol. 692).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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 blz. 15

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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., blz. 578-588 11 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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. (redactie). CEUR-WS.org, blz. 64-69 (CEUR Workshop Proceedings; vol. 1277).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
5 Citaten (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. (redactie). EasyChair, blz. 168-180 (EPiC Series; vol. 10).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). SCITEPRESS-Science and Technology Publications, Lda., blz. 65-72

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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. (redactie). Berlin: Springer, blz. 66-73 8 blz. (Lecture Notes in Computer Science; vol. 5930).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (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. (redactie). Berlin: Springer, blz. 226-233 (Lecture Notes in Computer Science; vol. 6445).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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 blz. (Computer science reports; vol. 0801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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. (redactie). blz. 211-229 (Electronic Notes in Theoretical Computer Science; vol. 195).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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, blz. 377-398

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (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. (redactie). Warsaw: Warsaw University, Vol. 2. blz. 413-424

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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, blz. 39-46

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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. (redactie). blz. 225-237 (Electronic Notes in Theoretical Computer Science; vol. 160).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 148-161 (Computer Science Reports; vol. 05-30).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

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. (redactie). blz. 291-304

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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. (redactie). Ilmenau, Germany: tranSIT GmbH, blz. 575-585

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2004

Rob Tristan Gerth: 1956-2003

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

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. (redactie). Orlando FL, USA: IIIS, Vol. 16. blz. 95-101

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Vienna: Springer, blz. 33-42

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 208-221 (Lecture Notes in Computer Science; vol. 1783).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1999
Open Access
Bestand
39 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 mrt 1998, In : Computer Systems Science and Engineering. 13, 2, blz. 131-136 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
1997

Interactive animation needs components

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Java, taal van het jaar nul

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

5 Downloads (Pure)

Java is here to stay

Huizing, C., 1997, Proceedings NLUUG.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

1996

Java

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

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 blz. (Computing science notes; vol. 9411)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
52 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. (redactie). Berlin: Springer, (Workshops in Computing).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 59-76 (Lecture Notes in Computer Science; vol. 852).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1992

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

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

7 Citaten (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. (redactie). Berlin: Springer, blz. 291-314 (Lecture Notes in Computer Science; vol. 600).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

25 Citaten (Scopus)
1991

Introduction to design choices in the semantics of Statecharts

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

21 Citaten (Scopus)
2 Downloads (Pure)

Semantics of reactive systems : comparison and full abstraction

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
440 Downloads (Pure)
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. (redactie). Berlin: Springer, blz. 271-294 (Lecture Notes in Computer Science; vol. 299).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Modelling Statecharts behaviour in a fully abstract way

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
37 Citaten (Scopus)
123 Downloads (Pure)
1987

A compositional semantics for statecharts

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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, blz. 223-237

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

22 Citaten (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 blz. (Computing science notes; vol. 8609)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
87 Downloads (Pure)