מאמרים עם הרשאות לגישה ציבורית - Dejan Nickovicלמידע נוסף
לא זמינים באתר כלשהו: 4
Independent implementability of viewpoints
TA Henzinger, D Ničković
Monterey Workshop, 380-395, 2012
הרשאות: Austrian Science Fund
Production tests coverage analysis in the simulation environment
N Manjunath, D Haerle, S Sabanal, H Eichinger, H Tauber, A Machne, ...
2018 IEEE International Test Conference (ITC), 1-7, 2018
הרשאות: European Commission
On the complexity of timed pattern matching
E Asarin, T Ferrère, D Ničković, D Ulus
International Conference on Formal Modeling and Analysis of Timed Systems, 15-31, 2021
הרשאות: Agence Nationale de la Recherche
Mining specification parameters for multi-class classification
EA Aguilar, E Bartocci, C Mateis, E Nesterini, D Ničković
International Conference on Runtime Verification, 86-105, 2023
הרשאות: European Commission
זמינים באתר כלשהו: 48
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Foundations and Trends® in Electronic Design Automation 12 (2-3), 124-400, 2018
הרשאות: Austrian Science Fund
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ...
Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 2018
הרשאות: US National Science Foundation, Austrian Science Fund, European Commission
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
הרשאות: European Commission
Quantitative monitoring of STL with edit distance
S Jakšić, E Bartocci, R Grosu, T Nguyen, D Ničković
Formal methods in system design 53, 83-112, 2018
הרשאות: Austrian Science Fund, European Commission
RTAMT: Online robustness monitors from STL
D Ničković, T Yamaguchi
International Symposium on Automated Technology for Verification and …, 2020
הרשאות: European Commission
Temporal logic as filtering
A Rodionova, E Bartocci, D Nickovic, R Grosu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
הרשאות: US National Science Foundation, Austrian Science Fund, European Commission
From signal temporal logic to FPGA monitors
S Jakšić, E Bartocci, R Grosu, R Kloibhofer, T Nguyen, D Ničkovié
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
הרשאות: Austrian Science Fund, European Commission
Second international competition on runtime verification: CRV 2015
Y Falcone, D Ničković, G Reger, D Thoma
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
הרשאות: European Commission
Localizing faults in Simulink/Stateflow models with STL
E Bartocci, T Ferrère, N Manjunath, D Ničković
Proceedings of the 21st international conference on hybrid systems …, 2018
הרשאות: Austrian Science Fund, European Commission
Runtime monitoring with recovery of the SENT communication protocol
K Selyunin, S Jaksic, T Nguyen, C Reidl, U Hafner, E Bartocci, D Nickovic, ...
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
הרשאות: Austrian Science Fund, European Commission
Deepstl: from english requirements to signal temporal logic
J He, E Bartocci, D Ničković, H Isakovic, R Grosu
Proceedings of the 44th International Conference on Software Engineering …, 2022
הרשאות: European Commission
An algebraic framework for runtime verification
S Jakšić, E Bartocci, R Grosu, D Ničković
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
הרשאות: Austrian Science Fund, European Commission
Survey on mining signal temporal logic specifications
E Bartocci, C Mateis, E Nesterini, D Nickovic
Information and Computation 289, 104957, 2022
הרשאות: European Commission
Automatic failure explanation in CPS models
E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
הרשאות: European Commission
Compositional specifications for ioco testing
P Daca, TA Henzinger, W Krenn, D Nickovic
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
הרשאות: Austrian Science Fund, European Commission
Interface-aware signal temporal logic
T Ferrère, D Nickovic, A Donzé, H Ito, J Kapinski
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
הרשאות: Austrian Science Fund
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב