We stand with Ukraine  

Felix Gigler

Orcid: 0000-0002-6495-9048

According to our database1, Felix Gigler authored at least 4 papers between 2020 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Declarative Scenario-based Testing with RoadLogic.
[BibTeX]
[DOI]
Ezio Bartocci
,
Alessio Gambi
,
Felix Gigler
,
Cristinel Mateis
,
Dejan Nickovic
CoRR, March, 2026

2021
Sampling of Shape Expressions.
[BibTeX]
[DOI]
Nicolas Basset
,
Thao Dang
,
Felix Gigler
,
Cristinel Mateis
,
Dejan Nickovic
CoRR, 2021

Sampling of shape expressions with ShapEx.
[BibTeX]
[DOI]
Nicolas Basset
,
Thao Dang
,
Felix Gigler
,
Cristinel Mateis
,
Dejan Nickovic
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2020
Mining Shape Expressions From Positive Examples.
[BibTeX]
[DOI]
Ezio Bartocci
,
Jyotirmoy Deshmukh
,
Felix Gigler
,
Cristinel Mateis
,
Dejan Nickovic
,
Xin Qin
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020


  Loading...