Uniform and model-driven engineering of feedback control systems. - Filip Krikava; Philippe Collet; Mireille Blay-Fornarino (ICAC, 2011)

A Reflective Model for Architecting Feedback Control Systems. - Filip Krikava; Philippe Collet (SEKE, 2011)

On the use of an internal DSL for enriching EMF models. - Filip Krikava; Philippe Collet (OCL@MoDELS, 2012)

Actor-based runtime model of adaptable feedback control loops. - Filip Krikava; Philippe Collet; Robert B. France (Models@run.time, 2012)

Contracts-Based Control Integration into Software Systems. - Filip Krikava; Philippe Collet; Romain Rouvoy; Lionel Seinturier (Software Engineering for Self-Adaptive Systems, 2013)

Domain-specific modeling language for self-adaptive software system architectures. (Langage de modélisation spécifique au domaine pour les architectures logicielles auto-adaptatives). - Filip Krikava (2013)

Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models: A Case Study. - Filip Krikava; Philippe Collet; Romain Rouvoy (ICAC, 2014)

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. - Filip Krikava; Philippe Collet; Robert B. France (MoDELS, 2014)

ACTRESS: domain-specific modeling of self-adaptive software architectures. - Filip Krikava; Philippe Collet; Robert B. France (SAC, 2014)

Manipulating models using internal domain-specific languages. - Filip Krikava; Philippe Collet; Robert B. France (SAC, 2014)

Solving the TTC'14 FIXML Case Study with SIGMA. - Filip Krikava; Philippe Collet (TTC@STAF, 2014)

Self-Configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Cluster. - Bo Zhang 013; Filip Krikava; Romain Rouvoy; Lionel Seinturier (ICAC, 2015)

Software Engineering Meets Control Theory. - Antonio Filieri; Martina Maggio; Konstantinos Angelopoulos; Nicolás D'Ippolito; Ilias Gerostathopoulos; Andreas B. Hempel; Henry Hoffmann; Pooyan Jamshidi; Evangelia Kalyvianaki; Cristian Klein; Filip Krikava; Sasa Misailovic; et al. (SEAMS@ICSE, 2015)

Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems. - Sebastian Götz; Ilias Gerostathopoulos; Filip Krikava; Adnan Shahzada; Romina Spalazzese (SEAMS@ICSE, 2015)

Infrastructure as runtime models: Towards Model-Driven resource management. - Filip Krikava; Romain Rouvoy; Lionel Seinturier (MoDELS, 2015)

Solving the TTC'15 Train Benchmark Case Study with SIGMA. - Filip Krikava (TTC@STAF, 2015)

Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. - Tomás Bures; Danny Weyns; Christian Berger 001; Stefan Biffl; Marian Daun; Thomas Gabor; David Garlan; Ilias Gerostathopoulos; Christine Julien 001; Filip Krikava; Richard Mordinyi; Nikos Pronios (ACM SIGSOFT Softw. Eng. Notes, 2015)

Self-Balancing Job Parallelism and Throughput in Hadoop. - Bo Zhang 013; Filip Krikava; Romain Rouvoy; Lionel Seinturier (DAIS, 2016)

Solving the TTC'16 Class Responsibility Assignment Case Study with SIGMA and Multi-Objective Genetic Algorithms. - Filip Krikava (TTC@STAF, 2016)

Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters. - Bo Zhang 013; Filip Krikava; Romain Rouvoy; Lionel Seinturier (SEAMS@ICSE, 2017)

Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact). - Bo Zhang 013; Filip Krikava; Romain Rouvoy; Lionel Seinturier (Dagstuhl Artifacts Ser., 2017)

Control Strategies for Self-Adaptive Software Systems. - Antonio Filieri; Martina Maggio; Konstantinos Angelopoulos; Nicolás D'Ippolito; Ilias Gerostathopoulos; Andreas Berndt Hempel; Henry Hoffmann; Pooyan Jamshidi; Evangelia Kalyvianaki; Cristian Klein; Filip Krikava; Sasa Misailovic; et al. (ACM Trans. Auton. Adapt. Syst., 2017)

Tests from traces: automated unit test extraction for R. - Filip Krikava; Jan Vitek (ISSTA, 2018)

Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. - Filip Krikava; Heather Miller; Jan Vitek (CoRR, 2019)

Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. - Filip Krikava; Heather Miller; Jan Vitek (Proc. ACM Program. Lang., 2019)

Designing types for R, empirically. - Alexi Turcotte; Aviral Goel; Filip Krikava; Jan Vitek (Proc. ACM Program. Lang., 2020)

What we eval in the shadows: a large-scale study of eval in R programs. - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Proc. ACM Program. Lang., 2021)

PRL-PRG/evalr-experiment: OOPSLA 2021 artifact. - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Zenodo, 2021)

Why We Eval in the Shadows (Dataset). - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Zenodo, 2021)

signatr: A Data-Driven Fuzzing Tool for R. - Alexi Turcotte; Pierre Donat-Bouillud; Filip Krikava; Jan Vitek (SLE, 2022)

PRL-PRG/sle22-signatr-artifact. - Pierre Donat-Bouillud; Filip Krikava; Alexi Turcotte; Jan Vitek (Zenodo, 2022)

Reducing Feedback Pollution. - Sebastián Krynski; Michal Stepánek; Filip Ríha; Filip Krikava; Jan Vitek (VMIL@SPLASH, 2024)

Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract). - Pierre Donat-Bouillud; Filip Krikava; Jakob Hain; Adam Plodek; Jan Vitek (Programming, 2025)

Toward a Typed Intermediate Language for R (Extended Abstract). - Mickaël Laurent; Jakob Hain; Filip Krikava; Sebastián Krynski; Jan Vitek (Programming, 2025)