Viliam Simko
Viliam Simko
FZI Research Center for Information Technology
Verified email at kit.edu - Homepage
Title
Cited by
Cited by
Year
R package "corrplot": Visualization of a Correlation Matrix
T Wei, V Simko
CRAN, 2017
1937*2017
R package "biwavelet": Conduct univariate and bivariate wavelet analyses
T Gouhier, A Grinsted, V Simko
CRAN, 2016
117*2016
A prediction-driven adaptation approach for self-adaptive sensor networks
IDP Anaya, V Simko, J Bourcier, N Plouzeau, JM Jézéquel
Proceedings of the 9th International Symposium on Software Engineering for …, 2014
402014
Enabling crowdsensing-based road condition monitoring service by intermediary
K Laubis, M Konstantinov, V Simko, A Gröschel, C Weinhardt
Electronic Markets, 1-16, 2018
192018
Requirement specifications using natural languages
T Bures, P Hnetynka, P Kroha, V Simko
Technical Report D3S-TR-2012-05, 2012
192012
Road condition measurement and assessment: A crowd based sensing approach
K Laubis, V Simko, A Schuller
182016
Biggis: a continuous refinement approach to master heterogeneity and uncertainty in spatio-temporal big data (vision paper)
P Wiener, M Stein, D Seebacher, J Bruns, M Frank, V Simko, S Zander, ...
Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances …, 2016
132016
Verifying temporal properties of use-cases in natural language
V Simko, D Hauzar, T Bures, P Hnetynka, F Plasil
International Workshop on Formal Aspects of Component Software, 350-367, 2011
132011
Road condition estimation based on heterogeneous extended floating car data
K Laubis, V Simko, A Schuller, C Weinhardt
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017
102017
Implemented domain model generation
V Simko, P Kroha, P Hnetynka
Technical Report, Department of Distributed and Dependable Systems, Report, 2013
92013
From textual use-cases to component-based applications
V Šimko, P Hnětynka, T Bureš
Software Engineering, Artificial Intelligence, Networking and Parallel …, 2010
92010
Crowd sensing of road conditions and its monetary implications on vehicle navigation
K Laubis, V Simko, A Schuller
2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced …, 2016
82016
Formal verification of annotated textual use-cases
V Simko, D Hauzar, P Hnetynka, T Bures, F Plasil
The Computer Journal 58 (7), 1495-1529, 2015
82015
Taming the Evolution of Big Data and its Technologies in BigGIS-A Conceptual Architectural Framework for Spatio-Temporal Analytics at Scale.
P Wiener, V Simko, J Nimis
GISTAM, 90-101, 2017
72017
Accessing libraries of media art through metadata
A Ludtke, B Gottfried, O Herzog, G Ioannidis, M Leszczukz, V Šimko
2009 20th International Workshop on Database and Expert Systems Application …, 2009
72009
Stable Hotspot Analysis for Intra-Urban Heat Islands
J Bruns, V Simko
GI_Forum 2017, 1, 79-92, 2017
62017
Organizational Information improves Forecast Efficiency of Correction Techniques.
F Knöll, V Simko
ITAT, 86-92, 2017
52017
Automated Extraction of Network Traffic Models Suitable for Performance Simulation
P Rygielski, V Simko, F Sittner, D Aschenbrenner, S Kounev, K Schilling
Proceedings of the 7th ACM/SPEC on International Conference on Performance …, 2016
52016
FOAM: A Lightweight Method for Verification of Use-Cases
V Simko, P Hnetynka, T Bures, F Plasil
2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012
52012
Formal verification of annotated use-cases
V Simko, P Hnetynka, T Bures, F Plasil
Charles University in Prague, Tech. Rep 2, 2012
52012
The system can't perform the operation now. Try again later.
Articles 1–20