Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Organisatieprofiel
Organisational unit profile
Our research concerns the study and development of rigorous methods for ensuring the reliability of software systems. This is a scientific and societal challenge, which we address from a number of different angles, exploiting concepts and theories from discrete mathematics and logic.
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Profielen
-
Swaroop Bennabhaktula, MSc
- Faculty of Science and Engineering, Informatiesystemen - Onderzoeker
- Faculty of Science and Engineering, Fundamentele Informatica - Externe medewerker
Persoon: Wetenschappelijk Personeel
-
Anton Chernev, BSc
- Faculty of Science and Engineering, Fundamentele Informatica - Promovendus
Persoon: Wetenschappelijk Personeel
-
Dan Frumin, PhD
- Faculty of Science and Engineering, Fundamentele Informatica - Universitair docent, Externe medewerker
Persoon: Wetenschappelijk Personeel
-
Bit-Vector Typestate Analysis
Arslanagic, A., Subotić, P. & Pérez, J. A., 17-mei-2023, (E-pub ahead of print) In: Formal Aspects of Computing.Onderzoeksoutput › Academic › peer review
-
MCSH, a lock with the standard interface
Hesselink, W. H. & Buhr, P., jun.-2023, In: ACM Transactions on Parallel Computing. 10, 2, 22 blz., 11.Onderzoeksoutput › Academic › peer review
Open AccessBestand2 Downloads (Pure) -
Minimal structures for program analysis and verification
Arslanagić, A., 2023, [Groningen]: University of Groningen. 255 blz.Onderzoeksoutput
Open AccessBestand61 Downloads (Pure)
Activiteiten
-
14th Conference on Logic and the Foundations of Game and Decision Theory
Helle Hvid Hansen (Member of scientific committee)
11-mrt.-2022 → 22-jul.-2022Activiteit: Organising and contributing to an event › Academic
-
PhD assessment committee of Atefeh Keshavarzi Zafarghandi
Helle Hvid Hansen (Member of Assessment Committee)
19-apr.-2022Activiteit: Examination, teaching and supervision external institution › Academic
-
16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science
Helle Hvid Hansen (Chair/vice-chair of scientific committee)
1-jan.-2022 → …Activiteit: Organising and contributing to an event › Academic
Datasets
-
Agent-based model described in journal article "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava-Guerrero, G. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-jan.-2022
DOI: 10.4121/18865433.v1, https://data.4tu.nl/articles/_/18865433/1
Dataset
-
Supplementary data for "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava-Guerrero, G. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 31-jan.-2022
DOI: 10.4121/18865406
Dataset
-
Supplementary data for "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-jan.-2022
DOI: 10.4121/18865385.v1
Dataset
Knipsels
-
The power of logic in computation
Helle Hvid Hansen, Jorge Perez Parra & Dan Frumin
19/04/2022
1 item van Media-aandacht
Pers / media: Overig › Professional
-
Research minute - Young Academy Groningen
03/09/2019
1 Mediabijdrage
Pers / media: Activiteiten met een maatschappelijk belang › Popular
Prijzen
-
NWO VIDI: Unifying Correctness for Communicating Software
Perez Parra, Jorge (Recipient), jun.-2018
Prijs: Fellowship awarded competitively › Academic