• Executing Online Anomaly Detection in Complex Dynamic Systems 

  Zoppi, Tommaso (2017)

• Block-Oriented Identification using the Best Linear Approximation: Benefits and Drawbacks 

  Schoukens, Maarten (2017)

• Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching 

  Szilágyi, Gábor; Vörös, András (2017)

• Securing Critical Systems through Continuous User Authentication and Non-repudiation 

  Schiavone, Enrico (2017)

• Boosting Software Verification with Compiler Optimizations 

  Sallai, Gyula; Tóth, Tamás (2017)

• Timed Automata Verification using Interpolants 

  Tóth, Tamás; Majzik, István (2017)

• Enhanced Spectral Estimation Using FFT in Case of Data Loss 

  Palkó, András; Sujbert, László (2017)

• Towards Language Independent (Dynamic) Symbolic Execution 

  Klikovits, Stefan; Gonzalez-Berges, Manuel; Buchs, Didier (2017)

• Effects of Graph Transformation Rules to Design Space Exploration Problems 

  Nagy, András Szabolcs; Varró, Dániel (2017)

• Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach 

  Molnár, Vince; Majzik, István (2017)

• Exploratory Analysis of the Performance of a Configurable CEGAR Framework 

  Hajdu, Ákos; Micskei, Zoltán (2017)

• Possibilities for Modeling a Signal Structure Within a Fourier Analyzer 

  Hajdu, Csaba F.; Dabóczi, Tamás; Zamantzas, Christos (2017)

• Sustainable Management of Versioned Data 

  Häusler, Martin (2017)

• Spectral Leakage in Matrix Inversion Tomosynthesis 

  Hadházi, Dániel; Horváth, Gábor (2017)

• User-Defined Sandbox Behavior for Dynamic Symbolic Execution 

  Honfi, Dávid; Micskei, Zoltán (2017)

• Towards Model-Based Support for Regression Testing 

  Gujgiczer, Anna; Elekes, Márton; Semeráth, Oszkár; Vörös, András (2017)

• Activity-Based Abstraction Refinement for Timed Systems 

  Farkas, Rebeka; Hajdu, Ákos (2017)

• Approaches to Identify Object Correspondences Between Source Models and Their View Models 

  Debreceni, Csaba; Varró, Dániel (2017)

• Formal Compositional Semantics for Yakindu Statecharts 

  Graics, Bence; Molnár, Vince (2017)

• Well-Formedness and Invariant Checking of PLCspecif Specifications 

  Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique (2017)

View more