Software Engineering and Technology

Onderzoeksoutput

Onderzoeksoutput per jaar 1973 2014 2018 2019 2020 2021 2022 2023 2024 2025

• 637 Conferentiebijdrage
• 260 Tijdschriftartikel
• 79 EngD Thesis
• 50 Rapport
• 185 Meer
  • 40 Hoofdstuk
  • 35 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
  • 22 Boekredactie
  • 18 Paper
  • 13 Editorial
  • 8 Voorwoord/editorial
  • 7 Poster
  • 5 Congresartikel
  • 5 computerprogramma software
  • 5 Preprint
  • 3 Boek
  • 3 Inaugurale/afscheids rede
  • 3 Abstract
  • 3 Other
  • 3 Boek bespreking
  • 3 Artikel recenseren
  • 2 Overige bijdrage
  • 2 Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)
  • 1 Commentaar/Brief aan de redacteur
  • 1 Literatuurrecensie
  • 1 Web publicatie / site
  • 1 Dissertatie 2 (Onderzoek NIET TU/e / Promotie TU/e)
  • 1 Werkdocument

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2024

  28th International Systems and Software Product Line Conference (SPLC)

  Cordy, M. (Redacteur), Strüber, D. (Redacteur), Pinto, M. (Redacteur), Groher, I. (Redacteur), Dhungana, D. (Redacteur), Krüger, J. (Redacteur), Alves Pereira, J. (Redacteur), Acher, M. (Redacteur), Thüm, T. (Redacteur), ter Beek, M. H. (Redacteur), Galasso-Carbonnel, J. (Redacteur), Arcaini, P. (Redacteur), Reza Mousavi, M. (Redacteur), Tërnava, X. (Redacteur), Galindo, J. (Redacteur), Yue, T. (Redacteur), Fuentes, L. (Redacteur) & Miguel Horcas, J. (Redacteur), 2024, ACM Press.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

  • Software Product 100%
  • Product Line 100%

• Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights

  Damian, D. (Redacteur), Blincoe, K. (Redacteur), Ford, D. (Redacteur), Serebrenik, A. (Redacteur) & Masood, Z. (Redacteur), 21 sep. 2024, Apress, Inc. 559 blz.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

  Open Access

  • Best Practice 100%
  • Software Engineering 100%
  • Software Development 33%
  • Software Developer 33%
  • Development Environment 33%
• 2021

  Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

  Salaün, G. (Redacteur) & Wijs, A. (Redacteur), 2021, Berlin: Springer. (Lecture Notes in Computer Science; vol. 13077)(Programming and Software Engineering; vol. 13077)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

• Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

  Cleophas, L. (Redacteur) & Massink, M. (Redacteur), 2021, Springer. (Lecture Notes in Computer Science; vol. 12524)(Programming and Software Engineering; vol. 12524)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review
• 2020

  ACSE 2020 African Conference on Software Engineering 2020: Proceedings of the 2020 African Conference on Software Engineering (ACSE 2020) Nairobi, Kenya, September 16-17, 2020

  Bainomugisha, E. (Redacteur), Chaudron, M. (Redacteur) & Hebig, R. (Redacteur), 2020, CEUR-WS.org. (CEUR Workshop Proceedings; vol. 2689)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

  Open Access

• SPLC '20: Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B

  Capilla, R. (Redacteur), Collet, P. (Redacteur), Gazzillo, P. (Redacteur), Krüger, J. (Redacteur), Lopez-Herrejon, R. E. (Redacteur), Nadi, S. (Redacteur), Perrouin, G. (Redacteur), Reinhartz-Berger, I. (Redacteur), Rubin, J. (Redacteur) & Schaefer, I. (Redacteur), okt. 2020, Association for Computing Machinery, Inc.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review
• 2019

  Automotive Systems and Software Engineering: State of the Art and Future Trends

  Dajsuren, Y. (Redacteur) & van den Brand, M. G. J. (Redacteur), 2019, Springer. 367 blz.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review
• 2016

  Model checking software: 23rd international symposium, SPIN 2016 co-located with ETAPS 2016 Eindhoven, the Netherlands, April 7-8, 2016

  Bošnački, D. (Redacteur) & Wijs, A. J. (Redacteur), 2016, Berlin: Springer. 245 blz. (Lecture Notes in Computer Science; vol. 9641)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

  • Model Checking 100%
  • Temporal Logic 20%
  • Concurrent System 20%
  • Equivalence Checking 20%
  • Checking Technique 20%

• Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016

  Heußner, A. (Redacteur), Kissinger, A. (Redacteur) & Wijs, A. (Redacteur), 4 dec. 2016, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 231)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

  Open Access

  • Model 100%
  • Event 50%
• 2015

  22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015, Montreal, QC, Canada, March 2-6, 2015)

  Guéhéneuc, Y. G. (Redacteur), Adams, B. (Redacteur) & Serebrenik, A. (Redacteur), 2015, Piscataway: Institute of Electrical and Electronics Engineers.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

• Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, SAICSIT '15, Stellenbosch, South Africa, September 28-30, 2015

  Barnett, R. J. (Redacteur), Cleophas, L. G. (Redacteur), Kourie, D. G. (Redacteur), Roux, D. B. L. (Redacteur) & Watson, B. W. (Redacteur), 2015, ACM/IEEE.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

• Proceedings of the First International Workshop on Automotive Software Architecture (WASA'15, Montreal, Canada, May 4, 2015)

  Kruchten, P. (Redacteur), Dajsuren, Y. (Redacteur), Altinger, H. (Redacteur) & Staron, M. (Redacteur), 2015, New York NY: Association for Computing Machinery, Inc.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  • Software Architecture 100%
  • Automotive Domain 40%
  • Software Development 20%
  • Microcontroller 20%
  • Software Engineering 20%

• Special issue on new ideas and emerging results in understanding software

  Vinju, J. J. (Redacteur), 2015, Amsterdam: Elsevier. 180 blz. (Science of computer programming; vol. 97, nr. Part 1)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  • Software Systems 100%
  • Software Construction 100%
  • Research Direction 50%
  • Software Design 50%
  • Software Complexity 50%
• 2014

  Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (Vienna, Austria, July 12-13, 2014)

  Verbeek, F. (Redacteur) & Schmaltz, J. (Redacteur), 2014, EPTCS. 177 blz.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  • Theorem Prover 100%
  • Computer Science 25%
  • System Management 25%
  • Formal Verification 25%
  • Software Systems 25%
  7 Downloads (Pure)

• Special Theme "Software Quality"

  Vinju, J. J. (Redacteur) & Cleve, A. (Redacteur), 2014, Sophia Antipolis: ERCIM.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic
• 2012

  Proceedings 1st Workshop on GRAPH Inspection and Traversal Engineering (Tallinn, Estonia, April 1, 2012)

  Wijs, A. J. (Redacteur), Bosnacki, D. (Redacteur) & Edelkamp, S. (Redacteur), 2012, EPTCS.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  • Search Algorithm 100%
  • Computer Science 50%
  • Artificial Intelligence 50%
  • Game Playing 50%
  • Multicore 50%
• 2011

  Software language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers

  Malloy, B. (Redacteur), Staab, S. (Redacteur) & Brand, van den, M. G. J. (Redacteur), 2011, Berlin: Springer. (SLE, software language engineering : international conference; vol. 3)(Lecture notes in computer science; vol. 6563)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  • Paper 100%
• 2010

  3rd international software language engineering conference (SLE) : pre-proceedings, October 12-13, 2010, Eindhoven, the Netherlands

  Brand, van den, M. G. J. (Redacteur), Malloy, B. (Redacteur) & Staab, S. (Redacteur), 2010, Eindhoven: Technische Universiteit Eindhoven. 31 blz. (Computer science reports; vol. 1012)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  Open Access

  Bestand

  • Software Language 100%
  • Software Development 25%
  • Software Engineering 12%
  • Engineering Principle 12%
  • Design Implementation 12%
  515 Downloads (Pure)
• 2008

  BENEVOL 2008 : the 7th Belgian-Netherlands software eVOLution workshop proceedings, December 11-12, 2008, Eindhoven : informal pre-proceedings

  Serebrenik, A. (Redacteur), 2008, Eindhoven: Technische Universiteit Eindhoven. 56 blz. (Computer science reports; vol. 0830)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  Open Access

  Bestand
  171 Downloads (Pure)
• 2004

  Proceedings of the Eindhoven FASTAR Days 2004 : Eindhoven, The Netherlands, September 3-4, 2004

  Cleophas, L. G. W. A. (Redacteur) & Watson, B. W. (Redacteur), 2004, Eindhoven: Technische Universiteit Eindhoven. 214 blz. (Computer science reports; vol. 0440)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

  Open Access

  Bestand

  • Netherlands 100%
  • Congressional Report 100%
  • Applied Research 100%
  • Finite Automata 100%
  • Republic of South Africa 40%
  386 Downloads (Pure)
• 2002

  Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

  Watson, B. W. (Redacteur) & Wood, D. (Redacteur), 2002, Berlin: Springer. 288 blz. (Lecture notes in computer science; vol. 2494)(CIAA : international conference on implementation and application of automata; vol. 6)

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic
• 1991

  C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen

  Feijen, W. H. J. (Redacteur) & Gasteren, van, A. J. M. (Redacteur), 1991, Schoonhoven: Academic Service. 247 blz.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Professioneel