( en | de | ru )

 

Disambiguation of "Bliudze, Simon"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-based generation of symbolic automata.

, , , , , and . Acta Informatica, 57 (3-5): 627-656 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Simon Schilling

Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildung und zustandsbasierte Erweiterungen. Uni Wuppertal, (2009)

Simon Hohenester

Zur Bedeutung von Proteinkinasen und Phosphatidylinositol-Kinasen für (anti)-cholestatische und (anti)-apoptotische Effekte von Gallensäuren in der Leberzelle. Uni München, (2009)

Simon Pingel

Retrospektive Analyse potentieller Beeinflussungsmodelle auf die Reoperationsrate nach mechanischem und biologischem Herzklappenersatz. Uni München, (2009)
 

Other publications of authors with the same name

The algebra of connectors: structuring interaction in BIP., and . EMSOFT, page 11-20. ACM, (2007)Quarts: Quick agreement for real-time control systems., , , and . ETFA, page 1-8. IEEE, (2017)Towards a Theory of Glue. ICE, volume 104 of EPTCS, page 48-66. (2012)Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies., , and . COORDINATION, volume 10319 of Lecture Notes in Computer Science, page 197-216. Springer, (2017)Towards Exogenous Coordination of Concurrent Cloud Applications., , , and . Int. J. Softw. Eng. Knowl. Eng., 34 (1): 1-25 (January 2024)Using SMT Engine to Generate Symbolic Automata., , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2018)Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems., and . SC@TOOLS, volume 6708 of Lecture Notes in Computer Science, page 51-67. Springer, (2011)Early validation of system requirements and design through correctness-by-construction., , , , and . J. Syst. Softw., (2018)Functional BIP: Embedding connectors in functional programming languages., , and . J. Log. Algebraic Methods Program., (2017)Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems., , , and . IEEE Trans. Ind. Informatics, 14 (7): 3065-3075 (2018)