| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7440178 (Why is no real title available?) | 2021-12-07 | Paper |
scientific article; zbMATH DE number 7440178 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-07 | Paper |
| Extended connectors: structuring glue operators in BIP | 2021-06-17 | Paper |
Extended connectors: structuring glue operators in BIP
(available as arXiv preprint) | 2021-06-17 | Paper |
| Symbolic implementation of connectors in BIP | 2021-02-09 | Paper |
Expressiveness of component-based frameworks: a study of the expressiveness of BIP
Acta Informatica | 2020-12-16 | Paper |
SMT-based generation of symbolic automata
Acta Informatica | 2020-05-26 | Paper |
| Architecture diagrams: a graphical language for architecture style specification | 2020-02-17 | Paper |
Architecture diagrams: a graphical language for architecture style specification
(available as arXiv preprint) | 2020-02-17 | Paper |
| Relating BIP and Reo | 2020-02-14 | Paper |
Relating BIP and Reo
(available as arXiv preprint) | 2020-02-14 | Paper |
| Towards a theory of glue | 2020-01-10 | Paper |
Towards a theory of glue
(available as arXiv preprint) | 2020-01-10 | Paper |
| scientific article; zbMATH DE number 7020154 (Why is no real title available?) | 2019-02-08 | Paper |
The Algebra of Connectors—Structuring Interaction in BIP
IEEE Transactions on Computers | 2018-06-12 | Paper |
Functional BIP: embedding connectors in functional programming languages
Journal of Logical and Algebraic Methods in Programming | 2017-09-12 | Paper |
Configuration logics: modeling architecture styles
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Combine and conquer: relating BIP and Reo
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
A general framework for architecture composability
Formal Aspects of Computing | 2016-08-04 | Paper |
Formal Verification of Infinite-State BIP Models
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
A Theory Agenda for Component-Based Design
Software, Services, and Systems | 2015-06-22 | Paper |
Causal semantics for the algebra of connectors
Formal Methods in System Design | 2010-09-16 | Paper |
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae | 2009-06-23 | Paper |
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects | 2009-02-12 | Paper |
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity
The Electronic Journal of Combinatorics | 2006-01-17 | Paper |
A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity
The Electronic Journal of Combinatorics | 2006-01-17 | Paper |
