Feedback

Browsing by Promotor : Fontaine, Pascal

Showing results 1 to 9 of 9
  TitleAuthor(s)Year(Co)Promotor(s)
Access icon Analysis and conception of a solution to synchronise Jira instancesBourdouxhe, Alexandre2023Fontaine, Pascal ULiège
Access icon Chronological vs. non-chronological backtracking in satisfiability modulo theoriesCoutelier, Robin2023Fontaine, Pascal ULiège
Access icon Implementing an Automatic Pointers Exercises Generator in CAFÉ 2.0Baum, Valentin2023Donnet, Benoît ULiège; Fontaine, Pascal ULiège
Access icon Implementing the beta machine on a Terasic DE10 SoC + FPGA development boardPolet, Quentin2021Fontaine, Pascal ULiège; Mathy, Laurent ULiège
Access icon Master thesis : Creation of a domain specific language for an Extract-Transform-Load systemWauthoz, Julien2022Lambert, Marie ULiège; Fontaine, Pascal ULiège
Access icon Master thesis : Implementing pipelining for an FPGA incarnation of the beta machineHenrotte, Justin2024Mathy, Laurent ULiège; Fontaine, Pascal ULiège
Access icon Modeling and Solving Problems Using Propositional Logic and SAT SolversAldeghi, Florian2023Fontaine, Pascal ULiège
Access icon Satisfiability Modulo Theories for finite domainsDasnois, Louis2023Fontaine, Pascal ULiège
Access icon Specifying and Verifying Safety Properties of Parallel Programming Algorithms Using the TLA+ ToolboxLeruth, Guillaume2024Fontaine, Pascal ULiège
Showing results 1 to 9 of 9