Christian Schallhart

Citirano

	Sve	Od 2018.
Citati	4271	1711
H-indeks	24	15
i10-indeks	39	21

400

200

100

300

200520062007200820092010201120122013201420152016201720182019202020212022202311 24 39 80 116 159 199 282 290 345 328 327 292 388 308 252 291 252 220

Javni pristup

Prikaži sve

14 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Martin LeuckerProfessor of Computer Science, University of LübeckPotvrđena adresa e-pošte na isp.uni-luebeck.de
Tim FurcheLecturer Oxford University; Senior research manager MeltwaterPotvrđena adresa e-pošte na furche.net
Giovanni GrassoProf. in Computer Science @University of Calabria, Director of Engineering at MeltwaterPotvrđena adresa e-pošte na unical.it
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienPotvrđena adresa e-pošte na forsyte.tuwien.ac.at
Andreas BauerUniversität AugsburgPotvrđena adresa e-pošte na uni-a.de
Georg GottlobProfessor of Informatics, University of OxfordPotvrđena adresa e-pošte na cs.ox.ac.uk
Michael TautschnigQueen Mary University of LondonPotvrđena adresa e-pošte na qmul.ac.uk
Stefan KatzenbeisserProfessor, Chair of Computer Engineering, University of PassauPotvrđena adresa e-pošte na uni-passau.de
Giorgio OrsiDirector of Engineering (NLP) at Meltwater - Honorary Research Fellow (School of Computer SciencePotvrđena adresa e-pošte na bham.ac.uk
Andreas HolzerUniversity of TorontoPotvrđena adresa e-pošte na cs.toronto.edu
Xiaonan GuoPotvrđena adresa e-pošte na cs.ox.ac.uk
Johannes KinderProfessor of Computer Science, LMU MunichPotvrđena adresa e-pošte na lmu.de
Stefan KugeleTechnische Hochschule IngolstadtPotvrđena adresa e-pošte na thi.de
Dr Omer GunesJunior Research Fellow in Computer Science, Oxford UniversityPotvrđena adresa e-pošte na cs.ox.ac.uk
Jens LehmannPrincipal Scientist at Amazon Inc., Honorary Professor at TU DresdenPotvrđena adresa e-pošte na amazon.com
Axel BelinfanteUniversity of Twente, The NetherlandsPotvrđena adresa e-pošte na xs4all.nl
Sören AuerLeibniz University of Hannover, Leibniz TIB, L3S Research CenterPotvrđena adresa e-pošte na et-inf.uni-hannover.de
Daniel GerberUniversität LeipzigPotvrđena adresa e-pošte na informatik.uni-leipzig.de
Lorenz BühmannPhd Student, Universität LeipzigPotvrđena adresa e-pošte na informatik.uni-leipzig.de
Somesh JhaLubar Chair of Computer Science, University of WisconsinPotvrđena adresa e-pošte na cs.wisc.edu

Prati

Christian Schallhart

Google

Potvrđena adresa e-pošte na schallhart.net - Početna stranica

Software Quality Formal Methods Information Systems


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
A brief account of runtime verification M Leucker, C Schallhart The journal of logic and algebraic programming 78 (5), 293-303, 2009	1068	2009
Runtime verification for LTL and TLTL A Bauer, M Leucker, C Schallhart ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (4), 1-64, 2011	737	2011
Comparing LTL semantics for runtime verification A Bauer, M Leucker, C Schallhart Journal of Logic and Computation 20 (3), 651-674, 2010	302	2010
Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith Detection of Intrusions and Malware, and Vulnerability Assessment, 174-187, 2005	237	2005
Monitoring of real-time properties A Bauer, M Leucker, C Schallhart FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006	233	2006
The good, the bad, and the ugly, but how ugly is ugly? A Bauer, M Leucker, C Schallhart International Workshop on Runtime Verification, 126-138, 2007	169	2007
Secure extensible computing environment J Thoma, S Murphy, C Schallhart US Patent App. 10/041,772, 2002	130	2002
OXPath: A language for scalable data extraction, automation, and crawling on the deep web T Furche, G Gottlob, G Grasso, C Schallhart, A Sellers The VLDB Journal 22, 47-72, 2013	126	2013
DIADEM: thousands of websites to a single database T Furche, G Gottlob, G Grasso, X Guo, G Orsi, C Schallhart, C Wang Proceedings of the VLDB Endowment 7 (14), 1845-1856, 2014	102	2014
14 tools for test case generation A Belinfante, L Frantzen, C Schallhart Model-Based Testing of Reactive Systems: Advanced Lectures, 391-438, 2005	81	2005
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement: Tool Paper A Holzer, C Schallhart, M Tautschnig, H Veith Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	80	2008
CBMC-GC: an ANSI C compiler for secure two-party computations M Franz, A Holzer, S Katzenbeisser, C Schallhart, H Veith International Conference on Compiler Construction, 244-249, 2014	78	2014
Model-based runtime analysis of distributed reactive systems A Bauer, M Leucker, C Schallhart Australian Software Engineering Conference (ASWEC'06), 10 pp.-252, 2006	76	2006
Proactive detection of computer worms using model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith IEEE transactions on dependable and secure computing 7 (4), 424-438, 2008	68	2008
DIADEM: domain-centric, intelligent, automated data extraction methodology T Furche, G Gottlob, G Grasso, O Gunes, X Guo, A Kravchenko, G Orsi, ... Proceedings of the 21st International Conference on World Wide Web, 267-270, 2012	63	2012
deqa: Deep Web Extraction for Question Answering J Lehmann, T Furche, G Grasso, ACN Ngomo, C Schallhart, A Sellers, ... The Semantic Web–ISWC 2012: 11th International Semantic Web Conference …, 2012	59	2012
How did you specify your test suite A Holzer, C Schallhart, M Tautschnig, H Veith Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	54	2010
Query-driven program testing A Holzer, C Schallhart, M Tautschnig, H Veith Verification, Model Checking, and Abstract Interpretation: 10th …, 2009	53	2009
Oxpath: A language for scalable, memory-efficient data extraction from web applications T Furche, G Gottlob, G Grasso, C Schallhart, A Sellers Proceedings of the VLDB Endowment 4 (11), 1016-1027, 2011	44	2011
COLA--The component language S Kugele, M Tautschnig, A Bauer, C Schallhart, S Merenda, W Haberl, ...	38	2007

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori