Research Output

Filter
Conference contribution
2016

Modelling information routing with noninterference

Koolen, R. P. J. & Schmaltz, J., 19 Jan 2016, International Workshop on MILS: Architecture and Assurance for Secure Systems, Prague, 19 January 2016. 7 p.

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

Open Access
File
11 Downloads (Pure)

Modular modeling with a computational twist in Metamod

Sutii, A-M., Verhoeff, T. & Van Den Brand, M. G. J., 14 Mar 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity, Malaga, Spain. New York: Association for Computing Machinery, Inc, p. 4-7 4 p.

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

2 Downloads (Pure)

Modular multilevel metamodeling with metaMod

Sutii, A-M., Verhoeff, T. & Van Den Brand, M. G. J., 14 Mar 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity, Malaga, Spain. Association for Computing Machinery, Inc, p. 212-217 6 p.

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

1 Citation (Scopus)
1 Downloads (Pure)

On parity game preorders and the logic of matching plays

Gazda, M. W. & Willemse, T. A. C., 2016, SOFSEM 2016: theory and practice of computer science. Freivalds, R. M., Engels, G. & Catania, B. (eds.). Springer, p. 277-289 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9587).

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

2 Citations (Scopus)

On the executability of interactive computation

Luttik, B. & Yang, F., 2016, Pursuit of the Universal: Proceedings of the 12th Conference on Computability in Europe, Paris, France, June 27 - July 1, 2016 (CiE 2016).. Beckmann, A., Bienvenue, L. & Jonoska, N. (eds.). Springer, p. 312-322 10 p. (Lecture Notes in Computer Science; vol. 9709).

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

2 Citations (Scopus)
1 Downloads (Pure)

Partial-order reduction for GPU model checking

Neele, T. S., Wijs, A. J., Bošnački, D. & van de Pol, J. C., 2016, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings. Springer, p. 357-374 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9938).

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

6 Citations (Scopus)
2 Downloads (Pure)

Pattern specification and application in metamodels in Ecore

Zhang, J., van den Brand, M. G. J., Sutii, A. M. & Hamilton, M. A. M., 1 Nov 2016, ITSLE 2016 Proceedings of the 1st Industry Track on Software Language Engineering, Amsterdam, October 31, 2016. New York: Association for Computing Machinery, Inc, p. 3-12

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

1 Downloads (Pure)

Problem solving, presenting, and programming: a matter of giving and taking

Verhoeff, T., 2016, International Olympiad in Informatics (IOI) Conference 2016, 14-16 August 2016, Kazan, Russian Federation. p. 231-235 5 p.

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

Recognizing gender of stack overflow users

Lin, B. & Serebrenik, A., 2016, Proceedings of the 13th International Conference on Mining Software Repositories, MSR 2016, Austin, Texas, USA, May 14-22, 2016. Kim, M., Robbes, R. & Bird, C. (eds.). New York: Association for Computing Machinery, Inc, p. 425-429 5 p.

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

16 Citations (Scopus)
1 Downloads (Pure)

Searching for optimal configurations within large-scale models: a cloud computing domain

Ochoa, L., González-Rojas, O., Verano, M. & Castro, H., 2016, Advances in Conceptual Modeling: ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings. Link, S. & Trujillo, J. C. (eds.). Dordrecht: Springer, p. 65-75 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9975 LNCS).

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

5 Citations (Scopus)

Software that meets its intent

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

1 Citation (Scopus)

Solving the bank with Rebel: On the design of the Rebel specification language and its application inside a bank

Stoel, J., van der Storm, T., Vinju, J. & Bosman, J., 31 Oct 2016, ITSLE 2016 - Proceedings of the 1st Industry Track on Software Language Engineering, co-located with SPLASH 2016. Dajsuren, Y. & Kourzanov, P. (eds.). Association for Computing Machinery, Inc, p. 13-20 8 p.

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

3 Citations (Scopus)

Statistical analysis of large sets of models

Babur, Ö., 2016, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 3-7 September 2016, Singapore. New York: Association for Computing Machinery, Inc, p. 888-891 4 p.

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

5 Citations (Scopus)

Supervisory controller synthesis for product lines using CIF3

ter Beek, M. H., Reniers, M. A. & de Vink, E. P., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Magaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 856-873 (LNCS; vol. 9952).

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

15 Citations (Scopus)
4 Downloads (Pure)

Surveying challenges in software ecosystems research

Serebrenik, A. & Mens, T., 2016, Proceedings of the European Workshop on Software Ecosystems 2015. Popp, K. M., Buxmann, P., Curran, T. A., Eichler, G., Jansen, S. & Kude, T. (eds.). Norderstedt: Books on Demand GmbH

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

Survey of approaches for handling static analysis alarms

Muske, T. & Serebrenik, A., 2016, 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM) . Piscataway: Institute of Electrical and Electronics Engineers, p. 157-166

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

20 Citations (Scopus)

Tailoring complexity metrics for simulink models

Olszewska, M., Dajsuren, Y., Altinger, H., Serebrenik, A., Walden, M. & van den Brand, M. G. J., 2016, 10th European Conference on Software Architecture. Companion Volume: Women in Software Architecture. New York: Association for Computing Machinery, Inc, p. 1-7 7 p. 5

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

Open Access
File
1 Citation (Scopus)
69 Downloads (Pure)

Tax-PLEASE—towards taxonomy-based software product line engineering

Schaefer, I., Seidl, C., Cleophas, L. G. W. A. & Watson, B. W., 10 May 2016, Software reuse: bridging with social-awareness. Kapitsaki, G. M. & de Almeida, E. S. (eds.). Springer, p. 63-70 (Lecture Notes in Computer Science; vol. 9679).

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

3 Citations (Scopus)
4 Downloads (Pure)

Three mathematical sculptures for the mathematikon

Verhoeff, T. & Verhoeff, K., Jul 2016, Proceedings of Bridges 2016 : Mathematics, Music, Art, Architecture, Education, Culture, 9-13 August 2016, Jyväskylä, Finland . Torrence, E., Torrence, B., Séquin, C., Fenyvesi, K. & Sarhangi, R. (eds.). Phoenix: Tessellations Publishing, p. 105-110 6 p.

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

Towards a safety mechanism for platooning

van Nunen, E., Tzempetzis, D., Koudijs, G., Nijmeijer, H. & van den Brand, M. G. J., 2016, 2016 IEEE Intelligent Vehicles Symposium, 19-22 June 2016, Gothenburg, Sweden. Piscataway: Institute of Electrical and Electronics Engineers, p. 502-507

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

2 Citations (Scopus)
2 Downloads (Pure)

Towards modular verification of threaded concurrent executable code generated from DSL models

Bosnacki, D., van den Brand, M. G. J., Gabriels, J. M. A. M., Jacobs, B., Kuiper, R., Roede, S., Wijs, A. J. & Zhang, D., 2016, Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Csaba Ölveczky, P. (eds.). Dordrecht: Springer, p. 141-160 20 p. (Lecture Notes in Computer Science; vol. 9539).

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

5 Citations (Scopus)

Udapt: edapt extensions for industrial application

Mengerink, J. G. M., Serebrenik, A., Van Den Brand, M. G. J. & Schiffelers, R. R. H., 31 Oct 2016, ITSLE 2016 - Proceedings of the 1st Industry Track on Software Language Engineering, co-located with SPLASH 2016, 31 October 2016, Amsterdam, The Netherlands. New York: Association for Computing Machinery, Inc, p. 21-22 2 p.

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

2 Citations (Scopus)
3 Downloads (Pure)

Unique parallel decomposition for the π-calculus

Lee, M. D. & Luttik, B., 2016, Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2016). Gebler, D. & Peters, K. (eds.). EPTCS, Vol. 222. p. 45-59 16 p.

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

Open Access
File
1 Citation (Scopus)
20 Downloads (Pure)

Using human computation in dead-zone based 2D pattern matching

Cleophas, L. G. W. A., Watson, B. W. & Awid, K., 2016, Proceedings of the Prague Stringology Conference 2016, August 29-31, 2016, Prague, Czech Republic . s.l.: s.n., p. 22-32 11 p.

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

Open Access
File
30 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)

Visualization of formal specifications for understanding and debugging an industrial DSL

Tikhonova, U., Manders, M. W. & Boudewijns, R. C., 2016, Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers . Milazzo, P., Varró, D. & Wimmer, M. (eds.). Dordrecht: Springer, p. 179-195 (LNCS; vol. 9946).

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

3 Citations (Scopus)

Why developers are slacking off: understanding how software teams use slack

Lin, B., Zagalsky, A., Storey, M-AD. & Serebrenik, A., 27 Feb 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2015, San Francisco, CA, USA, February 27 - March 2, 2016, Companion Volume. Association for Computing Machinery, Inc, p. 333-336 4 p.

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

32 Citations (Scopus)
2 Downloads (Pure)
2015

A data set for social diversity studies of GitHub teams

Vasilescu, B. N., Serebrenik, A. & Filkov, V., 2015, 12th Working Conference on Mining Software Repositories (MSR'15), May 16-17, 2015, Florence, Italy . Piscataway: Institute of Electrical and Electronics Engineers, p. 514-517

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

40 Citations (Scopus)

A definition scheme for quantitative bisimulation

Latella, D., Massink, M. & Vink, de, E. P., 2015, Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015, London, UK, April 11-12, 2015). Bertrand, N. & Tribastone, M. (eds.). EPTCS, p. 63-78 (Electronic Proceedings in Theoretical Computer Science; vol. 194).

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

3 Citations (Scopus)

A modeling approach to support safety assurance in the automotive domain

Luo, Y., van den Brand, M. G. J., Engelen, L. J. P. & Klabbers, M. D., 2015, Progress in Systems Engineering (Twenty-Third International Conference on Systems Engineering, ICSEng'14, Las Vegas NV, USA, August 19-21, 2014). Selvaraj, H., Zydek, D. & Chmaj, G. (eds.). Cham: Springer, p. 339-345 (Advances in Intelligent Systems and Computing; vol. 1089).

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

7 Citations (Scopus)
3 Downloads (Pure)

An Aho-Corasick based assessment of algorithms generating failure deterministic finite automata

Nxumalo, M., Kourie, D. G., Cleophas, L. & Watson, B. W., 2015, Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, October 13-16, 2015, Clermont-Ferrand, France . Ben Yahia, S. & Konecny, J. (eds.). CEUR-WS.org, p. 87-98 12 p. (CEUR Workshop Proceedings; vol. 1466).

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

Analysis of ISO 26262 compliant techniques for the automotive domain

S., M. K., Dajsuren, Y., Luo, Y. & Barosan, I., 2015, International Workshop on Modelling in Automotive Software Engineering (MASE 2015, Ottawa, Canada, September 27, 2015; co-located with MODELS'15). Antkiewicz, M., Atlee, J., Dingel, J. & S, R. (eds.). CEUR-WS.org, p. 33-42 (CEUR Workshop Proceedings; vol. 1487).

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

1 Citation (Scopus)
7 Downloads (Pure)

An approach for functional safety improvement of an existing automotive system

Khabbaz Saberi, A., Luo, Y., Cichosz, F. P., van den Brand, M. G. J. & Jansen, S. T. H., 2015, 2015 9th Annual IEEE International Systems Conference (SysCom, Vancouver BC, Canada, April 13-16, 2015). Piscataway : Institute of Electrical and Electronics Engineers, p. 277-282

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

6 Citations (Scopus)
4 Downloads (Pure)

A novel industry grade dataset for fault prediction based on model-driven developed automotive embedded software

Altinger, H., Siegl, S., Dajsuren, Y. & Wotawa, F., 2015, 12th Working Conference on Mining Software Repositories (MSR'15, Florence, Italy, May 16-17, 2015). Piscataway: IEEE Press, p. 494-497

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

10 Citations (Scopus)
1 Downloads (Pure)

A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer

Waqas, U., Geilen, M. C. W., Kandelaars, J., Somers, L. J. A. M., Basten, T., Stuijk, S., Vestjens, P. G. H. & Corporaal, H., 2015, Proceedings of the Conference on Design, Automation and Test in Europe (DATE 15) 9-13 March 2015, Grenoble, France. Piscataway: Institute of Electrical and Electronics Engineers, p. 573-578

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

7 Citations (Scopus)
10 Downloads (Pure)

A survey of open source multiphysics frameworks in engineering

Babur, O., Smilauer, V., Verhoeff, T. & Brand, van den, M. G. J., 2015, ICCS 2015 International Conference On Computational Science (Reykjavik, Iceland, June 1-3, 2015). p. 1088-1097 (Procedia Computer Science; vol. 51).

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

Open Access
File
11 Citations (Scopus)
305 Downloads (Pure)

A systematic approach for safety evidence collection in the safety-critical domain

Lin, H., Wu, J., Yuan, C., Luo, Y., Brand, van den, M. G. J. & Engelen, L. J. P., 2015, 9th Annual IEEE International Systems Conference (SysCon 2015, Vancouver BC, Canada, April 13-16, 2015). Piscataway: Institute of Electrical and Electronics Engineers, p. 194-199

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

2 Citations (Scopus)
4 Downloads (Pure)

Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs

Joosten, S. J. C. & Schmaltz, J., 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE, Grenoble, France, March 9-13, 2015). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 1413-1418

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

5 Citations (Scopus)
4 Downloads (Pure)

Backward linearised tree pattern matching

Trávníček, J., Janoušek, J., Melichar, B. & Cleophas, L., 2015, Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Dediu, A-H., Formenti, E., Martin-Vide, C. & Truthe, B. (eds.). Berlin: Springer, p. 599-610 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

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

3 Citations (Scopus)

Chains of antiprisms

Verhoeff, T. & Stoel, M., 2015, Bridges Baltimore 2015 : Mathematics, Music, Art, Architecture, Culture, Baltimore, MD, USA, July 29 - August 1, 2015. The Bridges Organization, p. 347-350 4 p.

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

Open Access
File
3736 Downloads (Pure)

Challenges in software ecosystems research

Serebrenik, A. & Mens, T., 2015, 2015 European Conference on Software Architecture Workshops (ECSAW'15, Cavtat, Croatia, September 7-11, 2015). Crnkovic, I. (ed.). New York NY: Association for Computing Machinery, Inc, p. 1-6 40

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

7 Citations (Scopus)

Choosing your weapons : on sentiment analysis tools for software engineering research

Jongeling, R. M., Datta, S. & Serebrenik, A., 2015, 2015 IEEE 31st International Conference on Software Maintenance and Evolution (ICSME) : September 29 - October 1, 2015, Bremen, Gemany. Koschke, R., Krinke, J. & Robillard, M. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 531-535

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

51 Citations (Scopus)
9 Downloads (Pure)

Coherent branching feature bisimulation

Belder, T., Beek, ter, M. H. & Vink, de, E. P., 2015, Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015, London, UK, April 11, 2015). Atlee, J. M. & Gnesi, S. (eds.). p. 14-30 (Electronic Proceedings in Theoretical Computer Science; vol. 182).

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

Open Access
File
6 Citations (Scopus)
71 Downloads (Pure)

Conceptual model of the globalization for domain-specific languages

Clark, T., van den Brand, M., Combemale, B. & Rumpe, B., 2015, Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers. Combemale, B. (ed.). Berlin: Springer, p. 7-20 14 p. (Lecture Notes in Computer Science; vol. 9400).

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

21 Citations (Scopus)

Confluence detection for transformations of labelled transition systems

Wijs, A. J., 2015, Proceedings Graphs as Models (London, UK, April 11-12, 2015). Rensink, A. & Zambon, E. (eds.). p. 1-15 (Electronic Proceedings in Theoretical Computer Science; vol. 181).

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

Open Access
File
68 Downloads (Pure)

Continuous approximation of stochastic models for wireless sensor networks

Talebi, M., Groote, J. F. & Linnartz, J-P., 24 Nov 2015, 2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT), 24 November 2015, Luxembourg City. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-6 6 p.

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

1 Citation (Scopus)
5 Downloads (Pure)

Designing and describing QVTo model transformations

Tikhonova, U. & Willemse, T. A. C., 2015, ICSOFT 2015 : proceedings of the 10th International Joint Conference on Software Technologies : Colmar, Alsace, France, 20-22 July, 2015. Piscataway: Institute of Electrical and Electronics Engineers, p. 401-406

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

3 Citations (Scopus)
1 Downloads (Pure)

Documenting and designing QVTo model transformations through mathematics

Tikhonova, U. & Willemse, T. A. C., 2015, Software Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (eds.). Dordrecht: Springer, p. 349-364 (Communications in Computer and Information Science; vol. 586).

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

Effect of daylight on atmosphere perception: comparison of a real space and visualizations

Stokkermans, M. G. M., Chen, Y., Murdoch, M. J., Vogels, I. M. L. C. & Heynderickx, I. E. J., 2015, Human Vision and Electronic Imaging XX, San Francisco, California, United States | February 08, 2015. Rogowitz, B. E., Pappas, T. N. & Ridder, de, H. (eds.). Bellingham, WA: SPIE, 9 p. 93940O. (Proceedings of SPIE; vol. 9394).

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

2 Citations (Scopus)
11 Downloads (Pure)

Evidence for Fixpoint Logic

Cranen, S., Luttik, S. P. & Willemse, T. A. C., 2015, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), September 7-10, 2015, Berlin, Germany. Kreutzer, S. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 78-93 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 41).

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

3 Citations (Scopus)