• Requirements towards a formal specification language for PLCs 

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

• A Framework for Formal Verification of Real-Time Systems 

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

• Resiliency techniques for cloud-based applications 

  Bozóki, Szilárd; Pataricza, András (2015)

• Examination of the input dependence of data flow graph clustering 

  Wacha, Gábor; Fehér, Béla (2015)

• Design and Implementation of On-line System Supervision for Beam Loss Monitoring Systems 

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

• Using Data Mining Techniques for Estimating Printed Circuit Board Design Complexity 

  Pataki, András; Horváth, Gábor (2015)

• Generating Unit Isolation Environment Using Symbolic Execution 

  Cserpán, Dorottya; Somogyvári, Zoltán; Horváth, Gábor (2015)

• Identification of Dependability Models from Large Observation Sets 

  Salánki, Ágnes; Pataricza, András (2015)

• Towards the Verification of Neural Networks for Critical Cyber-Physical Systems 

  Rabatin, Gábor; Vörös, András (2018)

• Improved frequency response measurements using local parametric models 

  Verbeke, Dieter; Schoukens, Johan (2018)

• Signal Acquisition for Accelerometer-based Fall Detection 

  Seketa, Goran; Dzaja, Dominik; Vugrin, Jurica; Lackovic, Igor; Magjarevic, Ratko (2018)

• High Frequency Active Distortion Cancellation 

  Varga, Balázs; Orosz, György (2018)

• Comparison of Nanopore DNA Sequencing Basecallers on Whole Human Data 

  Jagyugya, Erik; Sarkozy, Peter (2018)

• A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework 

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

• Preliminary Performance Assessment of Hyperledger Fabric 

  Klenik, Attila; Pataricza, András (2018)

• Oscillometric blood pressure measurement using constant cuff pressure intervals 

  Nagy, Péter; Jobbágy, Ákos (2018)

• Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics 

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

• Adaptive Sequential Laboratory Diagnostic Tests: Joint Bayesian Analysis for Optimality 

  Guenfoud, Zeyneb; Antal, Péter (2018)

• An Application Example of Regularization: Time-varying Operational Modal Analysis 

  Csurcsia, Péter Zoltán; Schoukens, Johan; Peeters, Bart (2018)

• Mix-and-Match Composition in the Gamma Framework 

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

View more