|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Reinhard, Selina ; Breuer, Tom ; Röpke, Rene Christian | Extracting Curriculum Rules: Formal Modelling of the Study Entry and Orientation Phase | Inproceedings Konferenzbeitrag  | 29-Jun-2026 |
| 2 | | Fischer, Olivia ; Röpke, René ; Tellioğlu, Hilda | Let's Create Our Own World! Fostering Cooperation, Creativity, Empowerment and Intrinsic Motivation in Design Thinking Processes through Edularp Co-Design | Inproceedings Konferenzbeitrag | 13-Apr-2026 |
| 3 | | Böck, Markus ; Cito, Jürgen | Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops | Article Artikel | Apr-2026 |
| 4 | | Savran, Anastasiya ; Röpke, Rene Christian ; Musilek, Monika ; Tellioglu, Hilda ; Laven, Rolf | Computational Thinking & AestheticArtistic-Engagement through tinkering: A case study in first grade of primary school | Inproceedings Konferenzbeitrag | 19-Feb-2026 |
| 5 | | Christakis, Maria ; Donaldson, Alastair F. ; Regehr, John ; Sotiropoulos, Thodoris | Testing Program Analyzers and Verifiers | Article Artikel | 17-Feb-2026 |
| 6 | | Christakis, Maria | Systematic Testing for Complex Systems in the Absence of Oracles | Inproceedings Konferenzbeitrag | 2026 |
| 7 | | Breuer, Tom ; Röpke, Rene Christian | Incorporating Recommended Course Prerequisites into Similarity-Based Course Recommender Systems for Higher Education | Inproceedings Konferenzbeitrag | 2026 |
| 8 | | Hochrainer, Christoph ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Fuzzing Processing Pipelines for Zero-Knowledge Circuits | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 9 |  | Bleier, Jakob ; Kehrer, Felix ; Cito, Jürgen ; Lindorfer, Martina | Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing | Inproceedings Konferenzbeitrag   | 19-Nov-2025 |
| 10 | | Röpke, Rene Christian ; Risley, Kristina | GALA 2025 Games Competition & Exhibition : Book of Abstracts | Proceedings Tagungsband | Nov-2025 |
| 11 | | Salmen, Frederic ; Röpke, Rene Christian ; Schroeder, Ulrik | Explorables: Evaluating a Concept for Remixable Interactive Learning Resources | Inproceedings Konferenzbeitrag | Nov-2025 |
| 12 | | Salmen, Frederic ; Görzen, Sergej ; Röpke, Rene Christian ; Schroeder, Ulrik | Packaged Widgets: Evaluating a Concept for FAIR Educational Technology Components | Inproceedings Konferenzbeitrag | Nov-2025 |
| 13 |  | Isychev, Anastasia ; Lohar, Debasmita | Cost of soundness in mixed-precision tuning | Article Artikel | Oct-2025 |
| 14 |  | Schröder, Michael ; Cito, Jürgen | Static inference of regular grammars for ad hoc parsers | Article Artikel | Oct-2025 |
| 15 | | Ali, Lubna ; Liu, Zongxin ; Röpke, René ; Schroeder, Ulrik | Generating AI Images for the OER Conversion Tool “ConvOERter” | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 16 | | Rahmani, Hossein ; Meixner, Kristof ; Biffl, Stefan | Towards Trustworthy Adaptation of Cyber-Physical Production Systems with Contract-Based Design | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 17 | | Fadhlillah, Hafiyyan Sayyid ; Meixner, Kristof ; Greiner, Sandra ; Gutiérrez, Antonio Manuel ; Rabiser, Rick | Managing Control Software Variability in Cyber-Physical Production Systems: The V4rdiac Approach | Inproceedings Konferenzbeitrag | 31-Aug-2025 |
| 18 | | Happe, Andreas ; Cito, Jürgen | Can LLMs Hack Enterprise Networks? Autonomous Assumed Breach Penetration-Testing Active Directory Networks | Article Artikel | 24-Aug-2025 |
| 19 | | De Maio, Vincenzo ; Brandic, Ivona ; Deelman, Ewa ; Cito, Jürgen | The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software | Inproceedings Konferenzbeitrag | 28-Jul-2025 |
| 20 | | Eniser, Hasan Ferit ; Lin, Songtuan ; Müller, Nicola ; Isychev, Anastasia ; Wüstholz, Valentin ; Valera, Isabel ; Hoffmann, Jörg ; Christakis, Maria | Using Action-Policy Testing in RL to Reduce the Number of Bugs | Inproceedings Konferenzbeitrag | 20-Jul-2025 |
| 21 | | Christakis, Maria | Just Nail It: Systematic Testing for Complex Systems | Presentation Vortrag | 15-Jul-2025 |
| 22 | | Stadler, Marco ; Biffl, Stefan ; Vierhauser, Michael ; Sametinger, Johannes | Towards Unified Field-Testing and Monitoring for Safe and Secure Robotic Applications | Inproceedings Konferenzbeitrag | 12-Jun-2025 |
| 23 | | Christakis, Maria | Just Nail It: Systematic Testing for Complex Systems | Presentation Vortrag | 10-Jun-2025 |
| 24 | | Lenke, Michael ; Lehner, Lukas ; Landman, Martina | "I'm Actually More Interested in AI Than in Computer Science" - 12-Year-Olds Describing Their First Encounter with AI | Inproceedings Konferenzbeitrag | 3-Jun-2025 |
| 25 | | Hardjianto, Mardi ; ISTIYANTO, Jazi Eko ; Tjoa, A Min ; Syahrulfath, Arfa Shaha ; Purnama, Satriawan Rasyid ; Sari, Rifda Hakima ; Hakim, Zaidan ; Fuadin, M. Ridho ; Ananto, Nias | A graph neural network model application in point cloud structure for prolonged sitting detection system based on smartphone sensor data | Article Artikel | Apr-2025 |
| 26 | | Fadhlillah, Hafiyyan Sayyid ; Meixner, Kristof ; Greiner, Sandra ; Gutiérrez-Fernández, Antonio Manuel ; Rabiser, Rick | Managing control software variability in Cyber-Physical Production Systems: The V4rdiac approach | Article Artikel | Apr-2025 |
| 27 | | Bellhäuser, Henrik ; Siegfried, Christin ; Röpke, Rene Christian | Editorial: Digital collaborative learning in general, higher, and business education | Article Artikel | 27-Mar-2025 |
| 28 | | De Maio, Vincenzo ; Brandic, Ivona ; Deelman, Ewa ; Cito, Jürgen | The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software | Preprint Preprint | 14-Mar-2025 |
| 29 | | Christakis, Maria | Interrogation Testing of Program Analyzers for Soundness and Precision Issues | Presentation Vortrag | 24-Feb-2025 |
| 30 |  | Schulte, Carsten ; Sentance, Sue ; Sparmann, Sören ; Altin, Rukiye ; Friebroonn-Yesharim, Mor ; Landman, Martina ; Rücker, Michael T. ; Satavlekar, Spruha ; Siegel, Angela ; Tedre, Matti ; Tubino, Laura ; Vartiainen, Henriikka ; Velázquez-Iturbide, J. Ángél ; Waite, Jane ; Wu, Zihan | What We Talk About When We Talk About K-12 Computing Education | Inproceedings Konferenzbeitrag | 23-Jan-2025 |
| 31 | | Röpke, Rene Christian | Educational Games for Digital Education: Uncovering learners’ misconceptions | Presentation Vortrag | 16-Jan-2025 |
| 32 | | Landman, Martina | Algorithmen unplugged: Wie Schüler_innen Sortieren, Entscheiden und Informatik entdecken | Presentation Vortrag | 7-Jan-2025 |
| 33 | | Lehner, Lukas ; Landman, Martina | Unplugged Decision Tree Learning – A Learning Activity for Machine Learning Education in K-12 | Inproceedings Konferenzbeitrag | 2025 |
| 34 | | Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Lazy Testing of Machine-Learning Models | Inproceedings Konferenzbeitrag | 2025 |
| 35 | | Schäfer, René ; Preuschoff, Paul ; Hahn, Sophie ; Röpke, Rene Christian ; Borchers, Jan | Investigating User Preference on Visual Countermeasures Against Deceptive Patterns | Inproceedings Konferenzbeitrag | 2025 |
| 36 | | Lehner, Lukas | Technischer Hintergrund und Anwendungsfälle von KI | Book Contribution Buchbeitrag | 2025 |
| 37 | | Meixner, Kristof ; Feichtinger, Kevin ; Fadhlillah, Hafiyyan Sayyid ; Greiner, Sandra ; Marcher, Hannes ; Rabiser, Rick ; Biffl, Stefan | Variability Modeling of Products, Processes, and Resources in Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 2025 |
| 38 | | Baberowski, David ; Leonhardt, Thiemo ; Röpke, Rene Christian ; Irmak, Sila | Pack-a-Capsule – Extending a VR Serious Game on Network Communications to Enable Collaborative Gameplay | Inproceedings Konferenzbeitrag | 2025 |
| 39 | | Röpke, Rene Christian ; Bellhäuser, Henrik ; Strickroth, Sven ; Heinemann, Birte | Open Science in den Bildungstechnologien: Perspektiven der Psychologie und Informatik – Ein Nachbericht zum dritten Workshop im Rahmen der DELFI 2025 | Inproceedings Konferenzbeitrag | 2025 |
| 40 | | Wagner-Schirrmeister, Johannes ; Röpke, Rene Christian ; Johnen, Tobias ; Carpantier, Rike ; Schroeder, Ulrik ; Scheffel, Maren | On the Design and Evaluation of an Interactive Study Planning Tool | Inproceedings Konferenzbeitrag | 2025 |
| 41 | | Trippel, Marie Elise ; Röpke, Rene Christian | Developing a Graph-based Visualization of Elective Courses to Support Course Selection in Higher Education | Inproceedings Konferenzbeitrag | 2025 |
| 42 | | Wagner-Schirrmeister, Johannes ; Röpke, Rene Christian ; Johnen, Tobias ; Carpantier, Rike ; Schroeder, Ulrik ; Scheffel, Maren | Interactive Long-Term Study Planning for Individual Student Support, Leveraging Process Mining and AI | Inproceedings Konferenzbeitrag | 2025 |
| 43 | | Ehlenz, Matthias ; Röpke, Rene Christian | A Human-centered Approach on Collecting Learning Analytics Insights in GitLab | Inproceedings Konferenzbeitrag | 2025 |
| 44 | | Biffl, Stefan ; Meixner, Kristof ; Vierhauser, Michael | Agile Field Test Support for Drone Rescue Missions | Inproceedings Konferenzbeitrag | 19-Dec-2024 |
| 45 | | Rahmani, Hossein ; Biffl, Stefan ; Meixner, Kristof ; Hoffmann, David ; Lüder, Arndt ; Winkler, Dietmar | Business Risk Analysis of Production Variants Considering Technical Dependencies | Inproceedings Konferenzbeitrag | 19-Dec-2024 |
| 46 | | Risley, Kristina ; Röpke, René | A Growing Community of Practice on Games and Learning: A Literature Review with Bibliometric and Thematic Analyses | Inproceedings Konferenzbeitrag | 18-Dec-2024 |
| 47 | | Fiedler, Kevin ; Schäfer, René ; Borchers, Jan ; Röpke, René | “Deception Detected!”—A Serious Game About Detecting Dark Patterns | Inproceedings Konferenzbeitrag | 18-Dec-2024 |
| 48 |  | Hochrainer, Christoph ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Fuzzing Processing Pipelines for Zero-Knowledge Circuits | Preprint Preprint | 4-Nov-2024 |
| 49 | | Landman, Martina ; Lehner, Lukas | Vom Schlagwort zur Praxis: Computational Thinking in der Theorie und im eduLAB | Special Contribution Spezialbeitrag | Nov-2024 |
| 50 | | Röpke, Rene Christian | Spielerische Zugänge mittels Serious Games und Gamification | Presentation Vortrag | 24-Oct-2024 |
| 51 | | Lehner, Lukas | Machine Learning Unplugged im Schulunterricht | Presentation Vortrag | 24-Oct-2024 |
| 52 | | Rinker, Felix Paul ; Meixner, Kristof ; Dogaru, Roxana ; Biffl, Stefan | Graph-Based Change Impact Visualization for Agile Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 53 | | Rinker, Felix Paul ; Meixner, Kristof ; Vysoká, Diana ; Biffl, Stefan | Multi-Domain Modeling for Change Management in Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 54 | | Rinker, Felix Paul ; Vysoká, Diana ; Meixner, Kristof ; Biffl, Stefan | Survey of Practitioner Needs and Approaches for Multi-Domain Change Management in Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 55 | | Lüder, Arndt ; Hoffmann, David ; Biffl, Stefan ; Meixner, Kristof | Identifying Required Knowledge for Production System Digitalization Projects | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 56 | | Lehner, Lukas ; Landman, Martina | Decision Tree Learning – eine ML-Methode «unplugged» im Unterricht einsetzen | Presentation Vortrag | 10-Oct-2024 |
| 57 | | Meixner, Kristof ; Hoffmann, David ; Riedmann, Sarah ; Hünecke, Paula ; Binder, Christoph | Rolling the Dice – Rethinking the RAMI 4.0 Perspectives | Inproceedings Konferenzbeitrag | Oct-2024 |
| 58 | | Röpke, Rene Christian ; Judel, Sven ; Schroeder, Ulrik | Study path analyses for quality assurance and support of study planning | Article Artikel | 23-Sep-2024 |
| 59 | | Salmen, Frederic ; Roepke, Rene ; Schroeder, Ulrik | WebWriter: Authoring and Remixing Explorables | Inproceedings Konferenzbeitrag | 13-Sep-2024 |
| 60 | | Meixner, Kristof ; Feichtinger, Kevin ; Fadhlillah, Hafiyyan Sayyid ; Greiner, Sandra ; Marcher, Hannes ; Rabiser, Rick ; Biffl, Stefan | Variability modeling of products, processes, and resources in cyber-physical production systems engineering | Inproceedings Konferenzbeitrag | 2-Sep-2024 |
| 61 | | Strauss, Christine ; Amagasa, Toshiyuki ; Manco, Guiseppe ; Kotsis, Gabriele ; Tjoa, A Min ; Khalil, Ismail | Database and Expert Systems Applications : 35th International Conference, DEXA 2024, Naples, Italy, August 26–28, 2024, Proceedings, Part I | Proceedings Tagungsband | Aug-2024 |
| 62 |  | Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie | Inductive Predicate Synthesis Modulo Programs (Extended) | Preprint Preprint | 11-Jul-2024 |
| 63 | | Lehner, Lukas | A Mental Leap: Impact of Teaching the Math Behind Machine Learning Techniques in K-12 | Inproceedings Konferenzbeitrag | Jul-2024 |
| 64 | | Landman, Martina ; Kohn, Tobias | "Something that Happens Each Day" - Students' Explanations of What Algorithms Are | Inproceedings Konferenzbeitrag | Jul-2024 |
| 65 | | Lehner, Lukas ; Landman, Martina | Machine Learning Unplugged im Schulunterricht | Presentation Vortrag | 12-Jun-2024 |
| 66 | | Biffl, Stefan ; Kropatschek, Sebastian Johannes ; Meixner, Kristof ; Hoffmann, David ; Lüder, Arndt | Configuring and Validating Multi-aspect Risk Knowledge for Industry 4.0 Information Systems | Inproceedings Konferenzbeitrag | 3-Jun-2024 |
| 67 | | Landman, Martina ; Lehner, Lukas ; Kummer, Julia ; Steinert, Felix ; Jaud, Alina ; Kügler, Christoff ; Ehart, Alina ; Christoph, Tobias ; Einzinger, Jessica | Informatik begreifen - eduLAB Mitmachstationen | Presentation Vortrag | 24-May-2024 |
| 68 | | Meixner, Kristof ; Feichtinger, Kevin ; Fadhlillah, Hafiyyan Sayyid ; Greiner, Sandra ; Marcher, Hannes ; Rabiser, Rick ; Biffl, Stefan | Variability modeling of products, processes, and resources in cyber–physical production systems engineering | Article Artikel | May-2024 |
| 69 |  | Eniser, Hasan Ferit ; Wüstholz, Valentin ; Christakis, Maria | Automatically Testing Functional Properties of Code Translation Models | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 70 | | Budi Herwanto, Guntur ; Ekaputra, Fajar Juang ; Quirchmayr, Gerald ; Tjoa, A Min | Toward a Holistic Privacy Requirements Engineering Process: Insights From a Systematic Literature Review | Article Artikel | 22-Mar-2024 |
| 71 | | Herwanto, Guntur Budi ; Quirchmayr, Gerald ; Tjoa, A Min | Leveraging NLP Techniques for Privacy Requirements Engineering in User Stories | Article Artikel | 8-Feb-2024 |
| 72 | | Greiner, Sandra ; Schmid, Klaus ; Berger, Thorsten ; Krieter, Sebastian ; Meixner, Kristof | Generative AI And Software Variability - A Research Vision | Inproceedings Konferenzbeitrag | 7-Feb-2024 |
| 73 | | Meixner, Kristof ; Feichtinger, Kevin ; Greiner, Sandra ; Rabiser, Rick | On Configuration Sequences in Feature Models | Inproceedings Konferenzbeitrag | 7-Feb-2024 |
| 74 |  | Rinker, Felix Paul ; Meixner, Kristof ; Vysoká, Diana ; Biffl, Stefan | The MDM-CPPS Framework: GitOps-enabled Multi-Domain Modeling in Cyber-Physical Production Systems Engineering | Report Bericht | 22-Jan-2024 |
| 75 | | Hoffmann, David ; Nowacki, Natalie Samanta ; Biffl, Stefan ; Kiesling, Elmar ; Meixner, Kristof ; Lüder, Arndt | Interdisciplinary Production Risk Exploration: A Grounded Approach to Integrate Data- and Knowledge-Driven Analytics | Inproceedings Konferenzbeitrag | 12-Jan-2024 |
| 76 | | Landman, Martina | Probleme algorithmisch lösen lernen | Special Contribution Spezialbeitrag | 2024 |
| 77 | | Christakis, Maria ; Pradel, Michael | ISSTA 2024: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis | Proceedings Tagungsband | 2024 |
| 78 | | Weippl, Edgar ; Maffei, Matteo | Message from General Chairs; EuroSP 2024 | Inproceedings Konferenzbeitrag | 2024 |
| 79 | | Böck, Markus ; Schröder, Michael ; Cito, Jürgen | Language-Agnostic Static Analysis of Probabilistic Programs | Inproceedings Konferenzbeitrag | 2024 |
| 80 | | Vierhauser, Michael ; Meixner, Kristof ; Biffl, Stefan | Scenario-Based Field Testing of Drone Missions | Inproceedings Konferenzbeitrag | 2024 |
| 81 | | Hameurlain, Abdelkader ; Tjoa, A Min ; Akbarinia, Reza ; Bonifati, Angela | Transactions on Large-Scale Data- and Knowledge-Centered Systems LVI : Special Issue on Data Management - Principles, Technologies, and Applications | Proceedings Tagungsband | 2024 |
| 82 | | Röpke, Rene Christian ; Risley, Kristina ; Rocha, Mariana ; Bongers, Jonny-Bix | Special Issue for GALA 2024 Games Competition & Exhibition: Book of Abstracts | Proceedings Tagungsband | 2024 |
| 83 | | Hoffmann, David ; Lüder, Arndt ; Biffl, Stefan | Operator-integrated cluster analysis for production quality control | Inproceedings Konferenzbeitrag | 2024 |
| 84 | | Eisenhut, Jan ; Schuler, Xandra ; Fiser, Daniel ; Höller, Daniel ; Christakis, Maria ; Hoffmann, Jörg | New fuzzing biases for action policy testing | Inproceedings Konferenzbeitrag | 2024 |
| 85 | | Bollin, Andreas ; Gelbard, Friedrich | eInformatics@Austria : Onlinekurse der Informatik | Article Artikel | 2024 |
| 86 | | Budi Herwanto, Guntur ; Putri, Diyah Utami Kusumaning ; Ningtyas, Annisa Maulida ; Fuad, Anis ; Quirchmayr, Gerald ; Tjoa, A Min | Integrating Contextual Integrity in Privacy Requirements Engineering: A Study Case in Personal E-Health Applications | Inproceedings Konferenzbeitrag | 2024 |
| 87 | | Budi Herwanto, Guntur ; Quirchmayr, Gerald ; Tjoa, A Min | Learning to Rank Privacy Design Patterns: A Semantic Approach to Meeting Privacy Requirements | Inproceedings Konferenzbeitrag | 2024 |
| 88 | | Heinemann, Birte ; Görzen, Sergej ; Röpke, Rene Christian ; Ehlenz, Matthias | Nuts & Bolts: Bildungstechnologien offen und transparent gestalten. Die Technik hinter den Kulissen der digitalen Bildungsforschung | Inproceedings Konferenzbeitrag | 2024 |
| 89 | | Görzen, Sergej ; Röpke, Rene Christian ; Schroeder, Ulrik | BuddyAnalytics: A dashboard and reporting tool for study program analysis and student cohort monitoring | Inproceedings Konferenzbeitrag | 2024 |
| 90 | | Wrembel, Robert ; Chiusano, Silvia ; Kotsis, Gabriele ; Tjoa, A Min ; Khalil, Ismail | Big Data Analytics and Knowledge Discovery : 26th International Conference, DaWaK 2024, Naples, Italy, August 26–28, 2024, Proceedings | Proceedings Tagungsband | 2024 |
| 91 | | Kö, Andrea ; Kotsis, Gabriele ; Tjoa, A Min ; Khalil, Ismail | Electronic Government and the Information Systems Perspective : 13th International Conference, EGOVIS 2024, Naples, Italy, August 26–28, 2024, Proceedings | Proceedings Tagungsband | 2024 |
| 92 | | Steinert, Felix ; Kummer, Julia ; Landman, Martina ; Lehner, Lukas | From Concept to Code: A Two-Day Workshop for Secondary Students on Computational Thinking and Programming | Book Contribution Buchbeitrag | 2024 |
| 93 | | Strauss, Christine ; Amagasa, Toshiyuki ; Manco, Guiseppe ; Kotsis, Gabriele ; Tjoa, A Min ; Khalil, Ismail | Database and Expert Systems Applications : 35th International Conference, DEXA 2024, Naples, Italy, August 26–28, 2024, Proceedings, Part II | Proceedings Tagungsband | 2024 |
| 94 | | Athavale, Anagha ; Bartocci, Ezio ; Christakis, Maria ; Maffei, Matteo ; Ničković, Dejan ; Weissenbacher, Georg | Verifying Global Two-Safety Properties in Neural Networks with Confidence | Inproceedings Konferenzbeitrag | 2024 |
| 95 |  | Eniser, Hasan Ferit ; Zhang, Hanliang ; David, Cristina ; Wang, Meng ; Christakis, Maria ; Paulsen, Brandon ; Dodds, Joey ; Kroening, Daniel | Towards Translating Real-World Code with LLMs: A Study of Translating to Rust | Preprint Preprint | 2024 |
| 96 | | Chadt, Jana ; Hochrainer, Christoph ; Wüstholz, Valentin ; Christakis, Maria | Olympia: Fuzzer Benchmarking for Solidity | Inproceedings Konferenzbeitrag | 2024 |
| 97 | | Fleischmann, Markus ; Kaindlstorfer, David Michael ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Constraint-Based Test Oracles for Program Analyzers | Inproceedings Konferenzbeitrag | 2024 |
| 98 | | Kaindlstorfer, David ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Interrogation Testing of Program Analyzers for Soundness and Precision Issues | Inproceedings Konferenzbeitrag | 2024 |
| 99 | | Kiesler, Natalie ; Röpke, Rene Christian ; Schiffner, Daniel ; Schulz, Sandra ; Strickroth, Sven ; Ehlenz, Matthias ; Heinemann, Birte ; Wilhelm-Weidner, Arno | Towards Open Science at the DELFI Conference | Inproceedings Konferenzbeitrag | 2024 |
| 100 |  | Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie | Inductive Predicate Synthesis Modulo Programs | Inproceedings Konferenzbeitrag | 2024 |
