Gyűjtemény: BME MIT PhD Minisymposium, 2017, 24th (MINISY@DMIS 2017)

Archívum: Műegyetem Digitális Archívum
Tárolt tételek száma:21

  • Tételek
Szűkítés: Eleje Előző 1 - 20 / 21 Következő Vége
Activity-Based Abstraction Refinement for Timed Systems
Tartalom | Metaadatok
Farkas, Rebeka; Hajdu, Ákos
Approaches to Identify Object Correspondences Between Source Models and Their View Models
Tartalom | Metaadatok
Debreceni, Csaba; Varró, Dániel
Block-Oriented Identification using the Best Linear Approximation: Benefits and Drawbacks
Tartalom | Metaadatok
Schoukens, Maarten
Boosting Software Verification with Compiler Optimizations
Tartalom | Metaadatok
Sallai, Gyula; Tóth, Tamás
Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach
Tartalom | Metaadatok
Molnár, Vince; Majzik, István
Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching
Tartalom | Metaadatok
Szilágyi, Gábor; Vörös, András
Effects of Graph Transformation Rules to Design Space Exploration Problems
Tartalom | Metaadatok
Nagy, András Szabolcs; Varró, Dániel
Enhanced Spectral Estimation Using FFT in Case of Data Loss
Tartalom | Metaadatok
Palkó, András; Sujbert, László
Executing Online Anomaly Detection in Complex Dynamic Systems
Tartalom | Metaadatok
Zoppi, Tommaso
Exploratory Analysis of the Performance of a Configurable CEGAR Framework
Tartalom | Metaadatok
Hajdu, Ákos; Micskei, Zoltán
Formal Compositional Semantics for Yakindu Statecharts
Tartalom | Metaadatok
Graics, Bence; Molnár, Vince
Possibilities for Modeling a Signal Structure Within a Fourier Analyzer
Tartalom | Metaadatok
Hajdu, Csaba F.; Dabóczi, Tamás; Zamantzas, Christos
Securing Critical Systems through Continuous User Authentication and Non-repudiation
Tartalom | Metaadatok
Schiavone, Enrico
Spectral Leakage in Matrix Inversion Tomosynthesis
Tartalom | Metaadatok
Hadházi, Dániel; Horváth, Gábor
Sustainable Management of Versioned Data
Tartalom | Metaadatok
Häusler, Martin
Timed Automata Verification using Interpolants
Tartalom | Metaadatok
Tóth, Tamás; Majzik, István
Towards Language Independent (Dynamic) Symbolic Execution
Tartalom | Metaadatok
Klikovits, Stefan; Gonzalez-Berges, Manuel; Buchs, Didier
Towards Model-Based Support for Regression Testing
Tartalom | Metaadatok
Gujgiczer, Anna; Elekes, Márton; Semeráth, Oszkár; Vörös, András
Towards Modeling Cyber-Physical Systems From Multiple Approaches
Tartalom | Metaadatok
Búr, Márton; Vörös, András; Bergmann, Gábor; Varró, Dániel
User-Defined Sandbox Behavior for Dynamic Symbolic Execution
Tartalom | Metaadatok
Honfi, Dávid; Micskei, Zoltán
Szűkítés: Eleje Előző 1 - 20 / 21 Következő Vége