Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Visa alla
Alla
Sedan 2019
Citat
117
54
h-index
3
3
i10-index
3
3
0
16
8
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
4
4
14
12
12
5
8
8
9
6
13
15
3
Offentlig åtkomst
Visa alla
Visa alla
1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
Panagiotis Katsaros
Associate Professor of Computer Science, Aristotle University of Thessaloniki, Greece
Verifierad e-postadress på csd.auth.gr
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Verifierad e-postadress på cs.sunysb.edu
Borzoo Bonakdarpour
Associate Professor of Computer Science, Michigan State University
Verifierad e-postadress på msu.edu
Följ
George Chatzieleftheriou
PhD, Dept. of Informatics,
Aristotle University of Thessaloniki
Verifierad e-postadress på csd.auth.gr
Formal Methods
Model Checking
Artiklar
Citeras av
Offentlig åtkomst
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
Test-driving static analysis tools in search of C code vulnerabilities
G Chatzieleftheriou, P Katsaros
2011 IEEE 35th annual computer software and applications conference …
, 2011
56
2011
Abstract model repair
G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka
Logical Methods in Computer Science 11
, 2015
50
2015
Abstract model repair for probabilistic systems
G Chatzieleftheriou, P Katsaros
Information and Computation 259, 142-160
, 2018
11
2018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen