Software Engineering and Technology

Filter
Hoofdstuk

Zoekresultaten

  • 2025

    Towards End-to-End GPU Acceleration of PCTL Model Checking

    Heemstra, J., Osama, M. & Wijs, A., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, blz. 314-337 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15261 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • 2024

    A canon is a blunt force instrument: data science, canons, and generative frictions

    de Groot, A., Fletcher, G. H. L., van Manen, G., Saxena, A., Serebrenik, A. & Taylor, L. E. M., 3 sep. 2024, Dialogues in Data Power Shifting Response-abilities in a Datafied World. Jarke, J. & Bates, J. (uitgave). Bristol University Press, blz. 186-214

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    Open Access

  • Handling Sub-symmetry in Integer Programming using Activation Handlers

    Hojny, C., Verhoeff, T. & Wessel, S., 2024, Graphs and Combinatorial Optimization: from Theory to Applications. CTW 2023. Springer, blz. 95-107 13 blz. (AIRO Springer Series; vol. 13).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    Open Access

  • How to Ask About Gender Identity of Software Engineers and "Guess" It from the Archival Data

    Serebrenik, A., 21 sep. 2024, Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights. Damian, D., Blincoe, K., Ford, D., Serebrenik, A. & Masood, Z. (uitgave). Apress, Inc., blz. 487-505

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Mentorship of Women in OSS Projects: A Cross-Disciplinary, Integrative Review

    Jacobs, M., Milewicz, R. & Serebrenik, A., 21 sep. 2024, Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights. Damian, D., Blincoe, K., Ford, D., Serebrenik, A. & Masood, Z. (uitgave). Apress, Inc., blz. 337-364

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    Open Access

  • Teaching Empirical Software Engineering at Eindhoven University of Technology

    Serebrenik, A. & Cassee, N. W., 29 dec. 2024, Teaching Empirical Research Methods in Software Engineering. Mendez, D., Avgeriou, P., Kalinowski, M. & bin Ali, N. (uitgave). Springer Nature, blz. 179-207

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    Open Access
  • 2023

    Emotion Analysis in Software Ecosystems

    Novielli, N. & Serebrenik, A., 10 okt. 2023, Software Ecosystems: Tooling and Analytics. Mens, T., De Roover, C. & Cleve, A. (uitgave). Springer Nature, blz. 105-127 23 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    Open Access
    1 Citaat (Scopus)

  • High Accuracy and High-Speed Crop Root Position Detection for Green-on-Green Mechanical Weeding

    Teurlinx, B., Ruigrok, T., Tamminga, F., IJsselmuiden, J., Bennin, K. & Babur, Ö., 2023, LAND.TECHNIK AgEng 2023: The Forum for Agricultural Engineering Innovations. VDI-Verlag, blz. 69-78 (VDI-Berichte; vol. 2427).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • 2022

    Das Re-Engineering variantenreicher Systeme verstehen: Eine empirische Arbeit über Kosten, Wissen, Nachvollziehbarkeit und Methoden

    Krüger, J., 2022, INFORMATIK 2022: Ausgezeichnete Informatikdissertationen. Gesellschaft für Informatik e.V. (GI), blz. 141-150 10 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    Open Access

  • Runtime Verification of Compound Components with ComMA

    Kurtev, I. & Hooman, J., 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, blz. 382-402 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    1 Citaat (Scopus)

  • Sentiment Analysis of Participants Interactions in a Hackathon Context: The Example of a Slack Corpus

    Feislachen, S., Garus, P., Wang, H., Podkolin, E., Schlüter, S., Schulze Bernd, N., Manske, S., Nolte, A. & Chounta, I.-A., 2022, Proceedings of Mensch und Computer 2022. blz. 493-497 5 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    1 Citaat (Scopus)
  • 2021

    Projecting Textual Languages

    Verano Merino, M., Bartels, J., van den Brand, M. G. J., van der Storm, T. & Schindler, E., 15 apr. 2021, Domain-Specific Languages in Practice: With JetBrains MPS. Springer, blz. 197-225 29 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    3 Citaten (Scopus)

  • Visualization of Clones

    Hammad, M., Basit, H. A., Jarzabek, S. & Koschke, R., 2021, Code Clone Analysis: Research, Tools, and Practices. blz. 107-120 14 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    4 Citaten (Scopus)
  • 2019

    Features and How to Find Them: A Survey of Manual Feature Location

    Krüger, J., Berger, T. & Leich, T., 2019, Software Engineering for Variability Intensive Systems. CRC Press, blz. 153-172 20 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    Open Access

  • Model analytics for industrial MDE ecosystems

    Babur, Ö., Suresh, A., Alberts, W. T. M., Cleophas, L. G. W. A., Schiffelers, R. R. H. & van den Brand, M. G. J., 17 sep. 2019, Model Management and Analytics for Large Scale Systems. Elsevier, blz. 273-316 44 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    4 Citaten (Scopus)

  • Nachhaltige Implementierung betrieblicher Kompetenzmodelle in KMU durch Unternehmenscoaching und Softwareintegration

    Sprafke, N., Hohagen, S., Nolte, A., Wenig, P., Zechmann, A., Erlinghagen, M., Wilkens, U., Herrmann, T. A. & Minssen, H., 2019, Zukunftstechnologien und Kompetenzbedarfe: Kompetenzentwicklung in der Arbeitswelt 4.0. Bullinger-Hoffmann, A. C. (uitgave). Springer, blz. 163-177 15 blz. (Kompetenzmanagement in Organisationen (KOOR)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • Safety-Driven Development and ISO 26262

    van den Brand, M. G. J., Luo, Y. & Khabbaz Saberi, A., 2019, Automotive Systems and Software Engineering: State of the Art and Future Trends. van den Brand, M. G. J. & Dajsuren, Y. (uitgave). Springer, blz. 225-256 31 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Voraussetzungen der erfolgreichen Implementierung von Kompetenzmanagement in KMU

    Sprafke, N., Hohagen, S., Erlinghagen, M., Nolte, A., Wenig, P., Zechmann, A., Wilkens, U., Minssen, H. & Herrmann, T. A., 2019, Zukunftstechnologien und Kompetenzbedarfe: Kompetenzentwicklung in der Arbeitswelt 4.0. Bullinger-Hoffmann, A. C. (uitgave). Springer, blz. 61-82 22 blz. (Kompetenzmanagement in Organisationen (KOOR)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • 2018

    A master class on recursion

    Verhoeff, T., 6 sep. 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H.-J., Komm, D. & Unger, W. (uitgave). Springer, blz. 610-633 24 blz. (Lecture Notes in Computer Science; vol. 11011).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    Open Access
    4 Citaten (Scopus)
    3 Downloads (Pure)
  • 2016

    Collaborative business process modeling in multi-surface environments

    Nolte, A., Brown, R., Anslow, C., Wiechers, M., Polyvyanyy, A. & Herrmann, T., 2016, Collaboration Meets Interactive Spaces. Anslow, C., Campos, P. & Jorge, J. (uitgave). Springer, blz. 259-286 28 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    12 Citaten (Scopus)

  • Towards a proof method for paradigm

    Groenewegen, L. P. J., Kuiper, R. & de Vink, E. P., 2016, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Abraham, E., Bonsangue, M. M. & Johnsen, E. B. (uitgave). Berlin: Springer, blz. 242-260 19 blz. (Lecture notes in computer science ; vol. 9660).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    1 Downloads (Pure)

  • Verifying a verifier: on the formal correctness of an LTS transformation verification technique

    de Putter, S. M. J. & Wijs, A. J., 2016, Fundamental Approaches to Software Engineering. Dordrecht: Springer, blz. 383-400 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    6 Citaten (Scopus)
    2 Downloads (Pure)
  • 2015

    Reducing the cost of grammar-based testing using pattern coverage

    Hentz, C., Vinju, J. J. & Moreira, A. M., 2015, Testing Software and Systems, ICTSS 2015. El-Fakih, K., Barlas, G. & Yevtushenko, N. (uitgave). Springer, blz. 71-85 15 blz. (Lecture Notes in Computer Science; vol. 9447).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    1 Citaat (Scopus)
    1 Downloads (Pure)
  • 2014

    Emerging trends in software evolution (Appendix A)

    Serebrenik, A. & Mens, T., 2014, Evolving software systems. Mens, T., Serebrenik, A. & Cleve, A. (uitgave). Berlin: Springer, blz. 329-332

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    4 Downloads (Pure)

  • Robustness of the gray code arrangements of the genetic code in mitochondria

    Bosnacki, D., Eikelder, ten, H. M. M., Maanders, M. & Hilbers, P. A. J., 2014, ICT Innovations 2014 : World of Data. Madevska Bogdanova, A. & Gjorgjevikj, D. (uitgave). Cham: Springer, blz. 299-308 (Advances in Intelligent Systems and Computing; vol. 311).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • Studying evolving software ecosystems based on ecological models

    Mens, T., Claes, M., Grosjean, P. & Serebrenik, A., 2014, Evolving Software Systems. Mens, T., Serebrenik, A. & Cleve, A. (uitgave). Berlin: Springer, blz. 297-326

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    38 Citaten (Scopus)
    2 Downloads (Pure)
  • 2012

    A Drifting Service Development: Applying Sociotechnical Design in an Ambient Assisted Living Project

    Loser, K.-U., Nolte, A., Prilla, M., Skrotzki, R. & Herrmann, T., 2012, Phenomenology, Organizational Politics, and IT Design: The Social Study of Information Systems. IGI Global, blz. 311-323 13 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    2 Citaten (Scopus)

  • Model-driven software engineering

    Amstel, van, M. F., Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 1 jun. 2012, Automation in Warehouse Development. Hamberg, R. & Verriet, J. (uitgave). London: Springer, blz. 45-58 14 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    4 Citaten (Scopus)
  • 2009

    Type checking evolving languages with MSOS

    Brand, van den, M. G. J., Meer, van der, A. P. & Serebrenik, A., 2009, Semantics and Algebraic Specification. Palsberg, J. (uitgave). Berlin: Springer, blz. 207-226 (Lecture notes in computer science; vol. 5700).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    1 Citaat (Scopus)
  • 2007

    Embedded systems modeling, analysis and synthesis

    Brand, van den, M. G. J., Engelen, L. J. P., Hamilton, M., Levytskyy, A. & Voeten, J. P. M., 2007, Ideals: evolvability of software-intensive high-tech systems. Voeten, J. P. M. (uitgave). Eindhoven: Embedded Systems Institute, blz. 99-112

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • 2005

    Combining regular expressions with near-optimal automata

    Watson, B. W., Frishert, M. & Cleophas, L. G. W. A., 2005, Inquiries into Words, Constraints and Contexts (Festschrift in the Honour of Professor Kimmo Koskenniemi on his 60th Birthday). Arppe, A. & et al., X. (uitgave). Stanford CA, USA: CSLI, blz. 163-171 (CSLI Studies in Computational Linguistics).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • 2004

    Hoe veilig is PGP?

    Verhoeff, T., 2004, WIRE Jarenboek 2001-2003. Eindhoven: WIRE, blz. 37-42

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

    1 Downloads (Pure)
  • 2003

    A new recursive incremental algorithm for building minimal acyclic deterministic finite automata

    Watson, B. W., 2003, Grammars and automata for string processes : from mathematics and computer science to biology, and back : essays in honour of Gheorghe Paun. Martin-Vide, C. & Mitrana, V. (uitgave). Taylor and Francis Ltd., blz. 189- (Topics in Computer Mathematics; vol. 9).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Hoare logic with explicit contexts

    Franssen, M. G. J., 2003, Thirty five years of automating mathematics. Kamareddine, F. D. (uitgave). Dordrecht: Kluwer Academic Publishers, blz. 125-148 (Applied Logic Series; vol. 28).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • 1995

    Grammaire à la grand-mère

    Geldrop - van Eijk, van, H. P. J., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (uitgave). Eindhoven: Technische Universiteit Eindhoven, blz. 149-156

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • Phase synchronization for a string of machines

    Eindhoven Tuesday Afternoon Club, 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (uitgave). Eindhoven: Technische Universiteit Eindhoven, blz. 129-138

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • The lost group chart and related problems

    Verhoeff, T., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (uitgave). Eindhoven: Technische Universiteit Eindhoven, blz. 307-313

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • Type theory and the seven steps towards object-based happiness

    Hemerik, C., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (uitgave). Eindhoven: Technische Universiteit Eindhoven, blz. 161-175

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • 1991

    An introduction to the relational calculus

    Feijen, W. H. J. & Gasteren, van, A. J. M., 1991, C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (uitgave). Schoonhoven: Academic Service, blz. 57-81

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • 1990

    A little exercise in deriving multiprograms

    Feijen, W. H. J., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (uitgave). Berlin: Springer, blz. 119-126 (Texts and monographs in computer science).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • The problem of the majority network

    Bijlsma, A., Bulterman, R. W., Feijen, W. H. J., Scholten, C. S. & Woude, van der, J. C. S. P., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (uitgave). Berlin: Springer, blz. 112-118 (Texts and monographs in computer science).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic