Lessons Learned from Implementing the CORBA Persistent Object Service. - Jan Kleindienst; Frantisek Plásil; Petr Tuma 001 (OOPSLA, 1996)

CORBA and Object Services. - Jan Kleindienst; Frantisek Plásil; Petr Tuma 001 (SOFSEM, 1996)

Towards Systematic Synthesis of Reflective Middleware. - Petr Tuma 001; Valérie Issarny; Apostolos V. Zarras (Reflection, 1999)

The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms. - Gordon S. Blair; Lynne Blair; Valérie Issarny; Petr Tuma 001; Apostolos V. Zarras (Middleware, 2000)

Distributed Component System Based on Architecture Description: The SOFA Experience. - Tomas Kalibera; Petr Tuma 001 (OTM, 2002)

CORBA Benchmarking: A Course with Hidden Obstacles. - Adam Buble; Lubomír Bulej; Petr Tuma 001 (IPDPS, 2003)

Fighting Class Name Clashes in Java Component Systems. - Petr Hnetynka; Petr Tuma 001 (JMLC, 2003)

Regression benchmarking with simple middleware benchmarks. - Lubomír Bulej; Tomas Kalibera; Petr Tuma 001 (IPCCC, 2004)

Generic Environment for Full Automation of Benchmarking. - Tomas Kalibera; Lubomír Bulej; Petr Tuma 001 (SOQUA/TECOS, 2004)

Automated Detection of Performance Regressions: The Mono Experience. - Tomas Kalibera; Lubomír Bulej; Petr Tuma 001 (MASCOTS, 2005)

SOFAnet: Middleware for Software Distribution over Internet. - Ladislav Sobr; Petr Tuma 001 (SAINT, 2005)

Quality Assurance in Performance: Evaluating Mono Benchmark Results. - Tomas Kalibera; Lubomír Bulej; Petr Tuma 001 (QoSA/SOQUA, 2005)

Middleware benchmarking: approaches, results, experiences. - Paul Brebner; Emmanuel Cecchet; Julie Marguerite; Petr Tuma 001; Octavian Ciuhandu; Bruno Dufour; Lieven Eeckhout; Stéphane Frénot; Arvind S. Krishna; John Murphy 001; Clark Verbrugge (Concurr. Comput. Pract. Exp., 2005)

Repeated results analysis for middleware regression benchmarking. - Lubomír Bulej; Tomas Kalibera; Petr Tuma 001 (Perform. Evaluation, 2005)

Component and Middleware Performance. - Petr Tuma 001 (Stud. Inform. Univ., 2005)

Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results. - Tomas Kalibera; Petr Tuma 001 (EPEW, 2006)

Automated benchmarking and analysis tool. - Tomas Kalibera; Jakub Lehotsky; David Majda; Branislav Repcek; Michal Tomcanyi; Antonin Tomecek; Petr Tuma 001; Jaroslav Urban (VALUETOOLS, 2006)

CoCoME in Fractal. - Lubomír Bulej; Tomás Bures; Thierry Coupaye; Martin Decký; Pavel Jezek; Pavel Parízek; Frantisek Plásil; Tomás Poch; Nicolas Rivierre; Ondrej Sery; Petr Tuma 001 (CoCoME, 2007)

CoCoME in SOFA. - Tomás Bures; Martin Decký; Petr Hnetynka; Jan Kofron; Pavel Parízek; Frantisek Plásil; Tomás Poch; Ondrej Sery; Petr Tuma 001 (CoCoME, 2007)

Resource Sharing in Performance Models. - Vlastimil Babka; Martin Decký; Petr Tuma 001 (EPEW, 2007)

Streaming State Space: A Method of Distributed Model Verification. - Viliam Holub; Petr Tuma 001 (TASE, 2007)

Teaching operating systems: student assignments and the software engineering perspective. - Vlastimil Babka; Lubomír Bulej; Martin Decký; Viliam Holub; Petr Tuma 001 (SEESE@ICSE, 2008)

When Misses Differ: Investigating Impact of Cache Misses on Observed Performance. - Vlastimil Babka; Lukás Marek; Petr Tuma 001 (ICPADS, 2009)

Timing penalties associated with cache sharing. - Vlastimil Babka; Peter Libic; Petr Tuma 001 (MASCOTS, 2009)

On the Influence of Thread Allocation for Irregular Codes in NUMA Systems. - Juan Angel Lorenzo 001; Francisco F. Rivera; Peter Tuma 001; Juan Carlos Pichel (PDCAT, 2009)

Issues in performance modeling of applications with garbage collection. - Peter Libic; Petr Tuma 001; Lubomír Bulej (QUASOSS@ESEC/FSE, 2009)

Investigating Cache Parameters of x86 Family Processors. - Vlastimil Babka; Petr Tuma 001 (SPEC Benchmark Workshop, 2009)

Validating Model-Driven Performance Predictions on Random Software Systems. - Vlastimil Babka; Petr Tuma 001; Lubomír Bulej (QoSA, 2010)

Can Linear Approximation Improve Performance Prediction ? - Vlastimil Babka; Petr Tuma 001 (EPEW, 2011)

Computer Memory: Why We Should Care What Is under the Hood. - Vlastimil Babka; Petr Tuma 001 (MEMICS, 2011)

DiSL: an extensible language for efficient and comprehensive dynamic program analysis. - Lukás Marek; Yudi Zheng; Danilo Ansaloni; Walter Binder; Zhengwei Qi; Petr Tuma 001 (DSAL@AOSD, 2012)

Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. - Lukás Marek; Yudi Zheng; Danilo Ansaloni; Aibek Sarimbekov; Walter Binder; Petr Tuma 001; Zhengwei Qi (APLAS, 2012)

Performance Awareness in Component Systems: Vision Paper. - Lubomír Bulej; Tomás Bures; Vojtech Horký; Jaroslav Keznikl; Petr Tuma 001 (COMPSAC Workshops, 2012)

A Non-Intrusive Read-Copy-Update for UTS. - Andrej Podzimek; Martin Decký; Lubomír Bulej; Petr Tuma 001 (ICPADS, 2012)

Challenges for Refinement and Composition of Instrumentations: Position Paper. - Danilo Ansaloni; Walter Binder; Christoph Bockisch; Eric Bodden; Kardelen Hatun; Lukás Marek; Zhengwei Qi; Aibek Sarimbekov; Andreas Sewe; Petr Tuma 001; Yudi Zheng (SC@TOOLS, 2012)

Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation. - Yudi Zheng; Danilo Ansaloni; Lukás Marek; Andreas Sewe; Walter Binder; Alex Villazón; Petr Tuma 001; Zhengwei Qi; Mira Mezini (TOOLS (50), 2012)

On the accuracy of cache sharing models. - Vlastimil Babka; Peter Libic; Tomás Martinec; Petr Tuma 001 (ICPE, 2012)

Capturing performance assumptions using stochastic performance logic. - Lubomír Bulej; Tomás Bures; Jaroslav Keznikl; Alena Koubková; Andrej Podzimek; Petr Tuma 001 (ICPE, 2012)

Productive Development of Dynamic Program Analysis Tools with DiSL. - Aibek Sarimbekov; Yudi Zheng; Danilo Ansaloni; Lubomír Bulej; Lukás Marek; Walter Binder; Petr Tuma 001; Zhengwei Qi (Australian Software Engineering Conference, 2013)

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. - Danilo Ansaloni; Stephen Kell; Yudi Zheng; Lubomír Bulej; Walter Binder; Petr Tuma 001 (ECOOP, 2013)

Performance Regression Unit Testing: A Case Study. - Vojtech Horký; Frantisek Haas; Jaroslav Kotrc; Martin Lacina; Petr Tuma 001 (EPEW, 2013)

ShadowVM: robust and comprehensive dynamic program analysis for the java platform. - Lukás Marek; Stephen Kell; Yudi Zheng; Lubomír Bulej; Walter Binder; Petr Tuma 001; Danilo Ansaloni; Aibek Sarimbekov; Andreas Sewe (GPCE, 2013)

I/O Performance Modeling of Virtualized Storage Systems. - Qais Noorshams; Kiana Rostami; Samuel Kounev; Petr Tuma 001; Ralf H. Reussner (MASCOTS, 2013)

Towards software performance engineering for multicore and manycore systems. - Heiko Koziolek; Steffen Becker 001; Jens Happe; Petr Tuma 001; Thijmen de Gooijer (SIGMETRICS Perform. Evaluation Rev., 2013)

Automated Modeling of I/O Performance and Interference Effects in Virtualized Storage Systems. - Qais Noorshams; Axel Busch; Andreas Rentschler; Dominik Bruhn; Samuel Kounev; Petr Tuma 001; Ralf H. Reussner (ICDCS Workshops, 2014)

Towards Performance-Aware Engineering of Autonomic Component Ensembles. - Tomás Bures; Vojtech Horký; Michal Kit; Lukás Marek; Petr Tuma 001 (ISoLA (1), 2014)

Showstopper: The Partial CPU Load Tool. - Andrej Podzimek; Lydia Y. Chen; Lubomír Bulej; Walter Binder; Petr Tuma 001 (MASCOTS, 2014)

Comprehensive multi-platform dynamic program analysis for the Java and Dalvik virtual machines. - Yudi Zheng; Haiyang Sun 003; Lubomír Bulej; Petr Tuma 001; Walter Binder (PPPJ, 2014)

On the limits of modeling generational garbage collector performance. - Peter Libic; Lubomír Bulej; Vojtech Horký; Petr Tuma 001 (ICPE, 2014)

Constructing performance model of JMS middleware platform. - Tomás Martinec; Lukás Marek; Antonín Steinhauser; Petr Tuma 001; Qais Noorshams; Andreas Rentschler; Ralf H. Reussner (ICPE, 2014)

Performance awareness: keynote abstract. - Petr Tuma 001 (ICPE, 2014)

Dynamic program analysis - Reconciling developer productivity and tool performance. - Aibek Sarimbekov; Yudi Zheng; Danilo Ansaloni; Lubomír Bulej; Lukás Marek; Walter Binder; Petr Tuma 001; Zhengwei Qi (Sci. Comput. Program., 2014)

A programming model and framework for comprehensive dynamic analysis on Android. - Haiyang Sun 003; Yudi Zheng; Lubomír Bulej; Alex Villazón; Zhengwei Qi; Petr Tuma 001; Walter Binder (MODULARITY, 2015)

Formalization of Invariant Patterns for the Invariant Refinement Method. - Tomás Bures; Ilias Gerostathopoulos; Jaroslav Keznikl; Frantisek Plásil; Petr Tuma 001 (Software, Services, and Systems, 2015)

Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency. - Andrej Podzimek; Lubomír Bulej; Lydia Y. Chen; Walter Binder; Petr Tuma 001 (CCGRID, 2015)

Estimating the Impact of Code Additions on Garbage Collection Overhead. - Peter Libic; Lubomír Bulej; Vojtech Horký; Petr Tuma 001 (EPEW, 2015)

Utilizing Performance Unit Tests To Increase Performance Awareness. - Vojtech Horký; Peter Libic; Lukás Marek; Antonín Steinhauser; Petr Tuma 001 (ICPE, 2015)

DOs and DON'Ts of Conducting Performance Measurements in Java. - Vojtech Horký; Peter Libic; Antonín Steinhauser; Petr Tuma 001 (ICPE, 2015)

Introduction to dynamic program analysis with DiSL. - Lukás Marek; Yudi Zheng; Danilo Ansaloni; Lubomír Bulej; Aibek Sarimbekov; Walter Binder; Petr Tuma 001 (Sci. Comput. Program., 2015)

Tools for Ensemble Design and Runtime. - Dhaminda B. Abeywickrama; Jacques Combaz; Vojtech Horký; Jaroslav Keznikl; Jan Kofron; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Philip Mayer; Giacoma Valentina Monreale; Ugo Montanari; Carlo Pinciroli; et al. (The ASCENS Approach, 2015)

Supporting Performance Awareness in Autonomous Ensembles. - Lubomír Bulej; Tomás Bures; Ilias Gerostathopoulos; Vojtech Horký; Jaroslav Keznikl; Lukás Marek; Max Tschaikowski; Mirco Tribastone; Petr Tuma 001 (The ASCENS Approach, 2015)

Towards systematic live experimentation in software-intensive systems of systems. - Ilias Gerostathopoulos; Tomás Bures; Sanny Schmid; Vojtech Horký; Christian Prehofer; Petr Tuma 001 (SiSoS@ECSA, 2016)

Analysis of Overhead in Dynamic Java Performance Monitoring. - Vojtech Horký; Jaroslav Kotrc; Peter Libic; Petr Tuma 001 (ICPE, 2016)

Software Abstractions for Component Interaction in the Internet of Things. - Tomás Bures; Frantisek Plásil; Michal Kit; Petr Tuma 001; Nicklas Hoch (Computer, 2016)

Robust partial-load experiments with Showstopper. - Andrej Podzimek; Lubomír Bulej; Lydia Y. Chen; Walter Binder; Petr Tuma 001 (Future Gener. Comput. Syst., 2016)

Do We Teach Useful Statistics for Performance Evaluation? - Lubomír Bulej; Vojtech Horký; Petr Tuma 001 (ICPE Companion, 2017)

Unit Testing Performance in Java Projects: Are We There Yet? - Petr Stefan; Vojtech Horký; Lubomír Bulej; Petr Tuma 001 (ICPE, 2017)

Unit testing performance with Stochastic Performance Logic. - Lubomír Bulej; Tomás Bures; Vojtech Horký; Jaroslav Kotrc; Lukás Marek; Tomás Trojánek; Petr Tuma 001 (Autom. Softw. Eng., 2017)

Reprint of "Robust partial-load experiments with Showstopper". - Andrej Podzimek; Lubomír Bulej; Lydia Y. Chen; Walter Binder; Petr Tuma 001 (Future Gener. Comput. Syst., 2017)

Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results. - Ilias Gerostathopoulos; Christian Prehofer; Lubomír Bulej; Tomás Bures; Vojtech Horký; Petr Tuma 001 (ICSA Companion, 2018)

Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation. - Petr Kubát; Lubomír Bulej; Tomás Bures; Vojtech Horký; Petr Tuma 001 (ICPE Companion, 2018)

Initial Experiments with Duet Benchmarking: Performance Testing Interference in the Cloud. - Lubomír Bulej; Vojtech Horký; Petr Tuma 001 (MASCOTS, 2019)

Renaissance: a modern benchmark suite for parallel applications on the JVM. - Aleksandar Prokopec; Andrea Rosà; David Leopoldseder; Gilles Duboscq; Petr Tuma 001; Martin Studener; Lubomír Bulej; Yudi Zheng; Alex Villazón; Doug Simon; Thomas Würthinger; Walter Binder (SPLASH (Companion Volume), 2019)

Renaissance: benchmarking suite for parallel applications on the JVM. - Aleksandar Prokopec; Andrea Rosà; David Leopoldseder; Gilles Duboscq; Petr Tuma 001; Martin Studener; Lubomír Bulej; Yudi Zheng; Alex Villazón; Doug Simon; Thomas Würthinger; Walter Binder (PLDI, 2019)

On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity. - Aleksandar Prokopec; Andrea Rosà; David Leopoldseder; Gilles Duboscq; Petr Tuma 001; Martin Studener; Lubomír Bulej; Yudi Zheng; Alex Villazón; Doug Simon; Thomas Würthinger; Walter Binder (CoRR, 2019)

DjangoChecker: Applying extended taint tracking and server side parsing for detection of context-sensitive XSS flaws. - Antonín Steinhauser; Petr Tuma 001 (Softw. Pract. Exp., 2019)

Duet Benchmarking: Improving Measurement Accuracy in the Cloud. - Lubomír Bulej; Vojtech Horký; Petr Tuma 001; François Farquet; Aleksandar Prokopec (ICPE, 2020)

Database Traffic Interception for Graybox Detection of Stored and Context-sensitive XSS. - Antonín Steinhauser; Petr Tuma 001 (DTRAP, 2020)

Context-tailored Workload Model Generation for Continuous Representative Load Testing. - Henning Schulz; Dusan Okanovic; André van Hoorn; Petr Tuma 001 (ICPE, 2021)

Methodological Principles for Reproducible Performance Evaluation in Cloud Computing. - Alessandro Vittorio Papadopoulos; Laurens Versluis; André Bauer 001; Nikolas Herbst; Jóakim von Kistowski; Ahmed Ali-Eldin; Cristina L. Abad; José Nelson Amaral; Petr Tuma 001; Alexandru Iosup (IEEE Trans. Software Eng., 2021)

Reducing Experiment Costs in Automated Software Performance Regression Detection. - Milad Abdullah; Lubomír Bulej; Tomás Bures; Petr Hnetynka; Vojtech Horký; Petr Tuma 001 (SEAA, 2022)

Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations. - Milad Abdullah; Lubomír Bulej; Tomás Bures; Vojtech Horký; Petr Tuma 001 (SEAA, 2023)

Diagnosing Compiler Performance by Comparing Optimization Decisions. - Andrej Pecimuth; David Leopoldseder; Petr Tuma 001 (MPLR, 2023)

Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract). - Andrej Pecimuth; David Leopoldseder; Petr Tuma 001 (MPLR, 2023)

GraalVM Compiler Benchmark Results Dataset (Data Artifact). - Lubomír Bulej; Vojtech Horký; Michele Tucci 001; Petr Tuma 001; François Farquet; David Leopoldseder; Aleksandar Prokopec (ICPE (Companion), 2023)

An Analysis of Compiled Code Reusability in Dynamic Compilation. - Andrej Pecimuth; David Leopoldseder; Petr Tuma 001 (VMIL@SPLASH, 2024)

Preface: Special issue on ACM/SPEC ICPE 2023. - Antinisca Di Marco; Petr Tuma 001 (Perform. Evaluation, 2024)

Reusing Highly Optimized IR in Dynamic Compilation. - Andrej Pecimuth; David Leopoldseder; Petr Tuma 001 (ECOOP, 2025)

A Pragmatic Approach to Replay Compilation (Extended Abstract). - Andrej Pecimuth; David Leopoldseder; Petr Tuma 001 (Programming, 2025)

A Combined Approach to Performance Regression Testing Resource Usage Reduction. - Milad Abdullah; David Georg Reichelt; Vojtech Horký; Lubomír Bulej; Tomás Bures; Petr Tuma 001 (PROMISE, 2025)