Filip Krikava

According to our database, Filip Krikava authored at least 31 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

PRL-PRG/sle22-signatr-artifact.

Pierre Donat-Bouillud, Filip Krikava, Alexi Turcotte, Jan Vitek

Dataset, November, 2022

signatr: A Data-Driven Fuzzing Tool for R.

Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

2021

Why We Eval in the Shadows (Dataset).

Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek

Dataset, September, 2021

PRL-PRG/evalr-experiment: OOPSLA 2021 artifact.

Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek

Dataset, September, 2021

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

2020

Designing types for R, empirically.

Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek

Proc. ACM Program. Lang., 2020

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

Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild.

Filip Krikava, Heather Miller, Jan Vitek

CoRR, 2019

2018

Tests from traces: automated unit test extraction for R.

Filip Krikava, Jan Vitek

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

ACM Trans. Auton. Adapt. Syst., 2017

Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact).

Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier

Dagstuhl Artifacts Ser., 2017

Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters.

Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016

Solving the TTC'16 Class Responsibility Assignment Case Study with SIGMA and Multi-Objective Genetic Algorithms.

Filip Krikava

Proceedings of the 9th Transformation Tool Contest, 2016

Self-Balancing Job Parallelism and Throughput in Hadoop.

Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier

Proceedings of the Distributed Applications and Interoperable Systems, 2016

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, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios

ACM SIGSOFT Softw. Eng. Notes, 2015

Solving the TTC'15 Train Benchmark Case Study with SIGMA.

Filip Krikava

Proceedings of the 8th Transformation Tool Contest, 2015

Infrastructure as runtime models: Towards Model-Driven resource management.

Filip Krikava, Romain Rouvoy, Lionel Seinturier

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Adaptive Exchange of Distributed Partial [e-mail] for Highly Dynamic Systems.

Sebastian Götz, Ilias Gerostathopoulos, Filip Krikava, Adnan Shahzada, Romina Spalazzese

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Self-Configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Cluster.

Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier

Proceedings of the 2015 IEEE International Conference on Autonomic Computing, 2015

2014

Solving the TTC'14 FIXML Case Study with SIGMA.

Filip Krikava, Philippe Collet

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Manipulating models using internal domain-specific languages.

Filip Krikava, Philippe Collet, Robert B. France

Proceedings of the Symposium on Applied Computing, 2014

ACTRESS: domain-specific modeling of self-adaptive software architectures.

Filip Krikava, Philippe Collet, Robert B. France

Proceedings of the Symposium on Applied Computing, 2014

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations.

Filip Krikava, Philippe Collet, Robert B. France

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models: A Case Study.

Filip Krikava, Philippe Collet, Romain Rouvoy

Proceedings of the 11th International Conference on Autonomic Computing, 2014

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

PhD thesis, 2013

Contracts-Based Control Integration into Software Systems.

Filip Krikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

Actor-based runtime model of adaptable feedback control loops.

Filip Krikava, Philippe Collet, Robert B. France

Proceedings of the 7th Workshop on [e-mail], Innsbruck, Austria, October 02, 2012, 2012

On the use of an internal DSL for enriching EMF models.

Filip Krikava, Philippe Collet

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

2011

A Reflective Model for Architecting Feedback Control Systems.

Filip Krikava, Philippe Collet

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Uniform and model-driven engineering of feedback control systems.

Filip Krikava, Philippe Collet, Mireille Blay-Fornarino

Proceedings of the 8th International Conference on Autonomic Computing, 2011