Simon Bliudze

From MaRDI portal
Person:243975

Available identifiers

zbMath Open bliudze.simonMaRDI QIDQ243975

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50153562021-12-07Paper
https://portal.mardi4nfdi.de/entity/Q49941202021-06-17Paper
https://portal.mardi4nfdi.de/entity/Q51500732021-02-09Paper
Expressiveness of component-based frameworks: a study of the expressiveness of BIP2020-12-16Paper
SMT-based generation of symbolic automata2020-05-26Paper
https://portal.mardi4nfdi.de/entity/Q52163312020-02-17Paper
https://portal.mardi4nfdi.de/entity/Q52161492020-02-14Paper
https://portal.mardi4nfdi.de/entity/Q52087752020-01-10Paper
https://portal.mardi4nfdi.de/entity/Q46211562019-02-08Paper
The Algebra of Connectors—Structuring Interaction in BIP2018-06-12Paper
Functional BIP: embedding connectors in functional programming languages2017-09-12Paper
Configuration logics: modeling architecture styles2016-11-30Paper
Combine and conquer: relating BIP and Reo2016-11-30Paper
A general framework for architecture composability2016-08-04Paper
Formal Verification of Infinite-State BIP Models2016-01-08Paper
A Theory Agenda for Component-Based Design2015-06-22Paper
Causal semantics for the algebra of connectors2010-09-16Paper
Modelling of Complex Systems: Systems as Dataflow Machines2009-06-23Paper
Causal Semantics for the Algebra of Connectors2009-02-12Paper
A Notion of Glue Expressiveness for Component-Based Systems2008-11-25Paper
A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity2006-01-17Paper

Research outcomes over time

This page was built for person: Simon Bliudze

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:243975&oldid=6833429"
Powered by MediaWiki