Researcher
Elisa Gonzalez Boix
- Keywords:Computer science (incl. applied informatics)
- Disciplines:Humanities and the arts, General and logistic services, Natural sciences, Engineering and technology, Agricultural, veterinary and food sciences, Social sciences
Affiliations
- Software Languages Lab (Research group)
Member
From1 Oct 2005 → Today - Informatics and Applied Informatics (Department)
Member
From1 Oct 2019 → Today - Informatics and Applied Informatics (Department)
Member
From8 Apr 2019 → 30 Sep 2019 - Faculty of Sciences and Bioengineering Sciences (Faculty)
Member
From22 Jun 2017 → 7 Sep 2017 - Informatics and Applied Informatics (Department)
Member
From1 Oct 2014 → 20 Oct 2022 - Informatics and Applied Informatics (Department)
Member
From1 Oct 2013 → 30 Sep 2014 - Informatics and Applied Informatics (Department)
Member
From1 Oct 2005 → 30 Sep 2014 - Programming Technology Lab (Research group)
Member
From1 Oct 2005 → 1 Jun 2009
Projects
1 - 10 of 10
- EVEREST: Nearly full automatic verification for geo-replicated systemsFrom1 Jan 2024 → TodayFunding: FWO research project (including WEAVE projects)
- A language-agnostic and scalable approach for building IoT development toolsFrom1 Nov 2023 → TodayFunding: FWO fellowships
- OZR backup mandate: A language-agnostic and scalable approach for building IoT development toolsFrom1 Nov 2022 → 31 Oct 2023Funding: BOF - doctoral mandates
- Software engineering techniques for strong eventual consistent replicated data typesFrom1 Nov 2019 → 31 Jan 2024Funding: FWO fellowships
- SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric ProgrammingFrom1 Mar 2019 → TodayFunding: BOF - projects
- Consistency à la carte: A general-purpose framework for scalable mixed-consistency applicationsFrom1 Jan 2019 → 31 Dec 2022Funding: FWO fellowships
- IOF Gear: Sustainable Software Engineering for the Next Generation of ICT SystemsFrom1 Jan 2018 → 31 Dec 2021Funding: IOF - Industrial Research Fund
- SBO D3-CPS: Distibuted Software Technologies for Developing & Managing dependable Cyber-physical systemsFrom1 Apr 2017 → 31 Mar 2021Funding: FWO Prices and sabbaticals (before FWO undefined)
- TEARLESS: Secure Coordination of Rich Internet Application TiersFrom1 Jan 2016 → 31 Dec 2019Funding: IWT / VLAIO - excluding impulse programmes
- Meta-level Engineering and Tooling for Complex Concurrent SystemsFrom1 Jan 2016 → 31 Dec 2018Funding: FWO research project (including WEAVE projects)
Publications
1 - 10 of 33
- Easing Construction of Smart Agriculture Applications Using Low Code Development Tools(2023)Edition: 1Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICSTVolume: 429
Authors: Isaac Nyabisa Oteyo, Angel Luis Scull Pupo, Jesse Zaman, Stephen Kimani, Wolfgang De Meuter, Elisa Gonzalez Boix
Pages: 21-43Number of pages: 22 - Towards improved collaborative text editing CRDTs by using Natural Language Processing(2023)Edition: 10thVolume: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data
Authors: Jim Bauwens, Kevin De Porre, Elisa Gonzalez Boix
Pages: 51-55Number of pages: 5 - Brigadier: A Datalog-based IAST framework for Node.js Applications(2023)Series: Proceedings - 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023
Authors: Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix
Pages: 509-521Number of pages: 13 - Out-of-Things Debugging: A Live Debugging Approach for Internet of Things(2023)
Authors: Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix
- VeriFx: Correct Replicated Data Types for the Masses(2023)Edition: 37thSeries: European Conference on Object-Oriented Programming (ECOOP 2023)Volume: 263
Authors: Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
Pages: 1-45Number of pages: 45 - When sequential code meets replicated data(2022)
Authors: Kevin De Porre, Elisa Gonzalez Boix
Number of pages: 293 - A live debugging approach for big data processing applications(2022)
Authors: Matteo Marra, Elisa Gonzalez Boix, Guillermo Polito
Number of pages: 241 - Building Smart Agriculture Applications Using Low-Code Tools: The Case for DisCoPar(2021)Edition: 1Series: IEEE AFRICON ConferenceVolume: 1
Authors: Isaac Nyabisa Oteyo, Angel Luis Scull Pupo, Jesse Zaman, Stephen Kimani, Wolfgang De Meuter, Elisa Gonzalez Boix
Pages: 532-537Number of pages: 6 - Deriving Static Security Testing from Runtime Security Protection for Web Applications(2021)
Authors: Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix
- A Survey on Mobile Applications for Smart Agriculture(2021)
Authors: Isaac Nyabisa Oteyo, Matteo Marra, Stephen Kimani, Wolfgang De Meuter, Elisa Gonzalez Boix