Filip Krikava

ORCID

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 11

Top Venues

SEAMS@ICSE

Proc. ACM Program. Lang.

TTC@STAF

SAC

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek
signatr: A Data-Driven Fuzzing Tool for R. SLE (2022)
Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek
What we eval in the shadows: a large-scale study of eval in R programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek
Designing types for R, empirically. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Filip Krikava, Heather Miller, Jan Vitek
Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. CoRR (2019)
Filip Krikava, Heather Miller, Jan Vitek
Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Filip Krikava, Jan Vitek
Tests from traces: automated unit test extraction for R. ISSTA (2018)
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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters. SEAMS@ICSE (2017)
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact). Dagstuhl Artifacts Ser. 3 (1) (2017)
Filip Krikava
Solving the TTC'16 Class Responsibility Assignment Case Study with SIGMA and Multi-Objective Genetic Algorithms. TTC@STAF (2016)
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
Self-Balancing Job Parallelism and Throughput in Hadoop. DAIS (2016)
Tomás Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios
Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
Self-Configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Cluster. ICAC (2015)
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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Software Engineering Meets Control Theory. SEAMS@ICSE (2015)
Sebastian Götz, Ilias Gerostathopoulos, Filip Krikava, Adnan Shahzada, Romina Spalazzese
Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems. SEAMS@ICSE (2015)
Filip Krikava, Romain Rouvoy, Lionel Seinturier
Infrastructure as runtime models: Towards Model-Driven resource management. MoDELS (2015)
Filip Krikava
Solving the TTC'15 Train Benchmark Case Study with SIGMA. TTC@STAF (2015)
Filip Krikava, Philippe Collet, Robert B. France
ACTRESS: domain-specific modeling of self-adaptive software architectures. SAC (2014)
Filip Krikava, Philippe Collet, Robert B. France
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. MoDELS (2014)
Filip Krikava, Philippe Collet
Solving the TTC'14 FIXML Case Study with SIGMA. TTC@STAF (2014)
Filip Krikava, Philippe Collet, Robert B. France
Manipulating models using internal domain-specific languages. SAC (2014)
Filip Krikava, Philippe Collet, Romain Rouvoy
Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models: A Case Study. ICAC (2014)
Filip Krikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier
Contracts-Based Control Integration into Software Systems. Software Engineering for Self-Adaptive Systems (2013)
Filip Krikava, Philippe Collet
On the use of an internal DSL for enriching EMF models. OCL@MoDELS (2012)
Filip Krikava, Philippe Collet, Robert B. France
Actor-based runtime model of adaptable feedback control loops. Models@run.time (2012)
Filip Krikava, Philippe Collet, Mireille Blay-Fornarino
Uniform and model-driven engineering of feedback control systems. ICAC (2011)
Filip Krikava, Philippe Collet
A Reflective Model for Architecting Feedback Control Systems. SEKE (2011)

Filip Krikava.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Filip Krikava