Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hasan Sözer
Runtime Verification of Component-Based Embedded Software
Related publications
Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Component-Based Hardware/Software Co-Verification
Embedded Software Verification in Hardware–software Codesign
Journal of Systems Architecture
Hardware
Architecture
Software
Runtime Validation of Behavioural Contracts for Component Software
Runtime Verification of Stochastic Systems
Towards a Software Framework for Building Highly Flexible Component-Based Embedded Operating Systems
Runtime Verification With Particle Filtering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification of Stochastic, Faulty Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
