Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Simon Bliudze

Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems

IEEE Transactions on Industrial Informatics
ControlSystems EngineeringInformation SystemsElectronic EngineeringComputer Science ApplicationsElectrical
2018English

Verification of Concurrent Design Patterns With Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A General Framework for Architecture Composability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Quarts: Quick Agreement for Real-Time Control Systems

2017English

Ordering Events Based on Intentionality in Cyber-Physical Systems

2018English

Architecture Internalisation in BIP

2014English

Modelling of Complex Systems: Systems as Dataflow Machines

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy