Exogenous Coordination of Concurrent Software Components with JavaBIP, in Software Practice and Experience, 2017.
Combine and conquer: Relating BIP and Reo, in Journal of Logical and Algebraic Methods in Programming, vol. 86, num. 1, p. 134-156, 2017.
Configuration logics: Modeling architecture styles, in Journal of Logical and Algebraic Methods in Programming, vol. 86, num. 1, p. 2-29, 2017.
A General Framework for Architecture Composability, in Formal Aspects of Computing, vol. 28, num. 2, p. 207-231, 2016.
Applying model checking to industrial-sized PLC programs, in IEEE Transactions on Industrial Informatics, vol. 11, num. 6, p. 1400-1410, 2015.
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP, in Science of Computer Programming, vol. 109, p. 2-35, 2015.
Causal semantics for the algebra of connectors, in Formal Methods in System Design, vol. 36, num. 2, p. 167-194, 2010.
Modelling of Complex Systems: Systems as dataflow machines, in Fundamenta Informaticae, vol. 91, num. 2, p. 251-274, 2009.
The algebra of connectors - Structuring interaction in BIP, in IEEE Transactions on Computers, vol. 57, num. 10, p. 1315 - 1330, 2008.
A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity, in Electronic Journal of Combinatorics, vol. 13, num. 1, p. R2, 2006.
Towards a Functional Formalism for Modelling Complex Industrial Systems, in ComPlexUs, Special Issue: Complex Systems -- European Conference -- November 2005 -- Selected Papers -- Part 1, vol. 2, num. 3--4, p. 163-176, 2005.
Quarts: Quick Agreement for Real-Time Control Systems. 22nd IEEE International Conference on Emerging Technologies And Factory Automation, Limassol, Cyprus, 2017..
Robust Software Development for University-Built Satellites. IEEE Aerospace Conference, Big Sky, Montana, USA, 2017..
POSTER ABSTRACT: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, AUSTRALIA, IEEE Real-Time and Embedded Technology and Applications Symposium, 2016..
A Note on the Expressiveness of BIP. Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016), Québec, Canada, Electronic Proceedings in Theoretical Computer Science 222, 2016..
Parameterized Systems in BIP: Design and Model Checking. 27th International Conference on Concurrency Theory (CONCUR 2016), Québec, Canada, Leibniz International Proceedings in Informatics (LIPIcs) 59, 2016..
Architecture-based Design: A Satellite On-board Software Case Study. 13th International Conference on Formal Aspects of Component Software (FACS 2016), Besançon, France, Lecture Notes in Computer Science 10231, 2016..
Architecture Diagrams: A Graphical Language for Architecture Style Specification. 9th Interaction and Concurrency Experience, Herakleion, Greece, Electronic Proceedings in Theoretical Computer Science, 2016..
Axo: Masking Delay Faults in Real-Time Control Systems. The 42nd Annual Conference of IEEE Industrial Electronics Society, Florence, Italy, 2016..
Axo: Tolerating Delay Faults in Real-Time Systems. , 2016..
Relating BIP and Reo. 8th Interaction and Concurrency Experience (ICE 2015), Grenoble, France, Electronic Proceedings in Theoretical Computer Science 189, 2015..
Configuration Logics: Modelling Architecture Styles. 12th International Conference on Formal Aspects of Component Software, Niterói, Rio de Janeiro, Brazil, Lecture Notes in Computer Science 9539, 2015..
SeBip: a symbolic executor for BIP. 20th International Conference on Engineering of Complex Computer Systems, Gold Coast, Australia, 2015..
Automatic Fault Localization for BIP. 1st Symposium on Dependable Software Engineering Theories, Tools and Applications, Nanjing, China, Lecture Notes in Computer Science 9409, 2015..
Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction. 10th International Symposium on Trustworthy Global Computing, Madrid, Spain, Lecture Notes in Computer Science 9533, 2015..
Formal verification of infinite-state BIP models. 13th International Symposium on Automated Technology for Verification and Analysis, Shanghai, China, Lecture Notes in Computer Science 9364, 2015..
A Theory Agenda for Component-Based Design. , Lecture Notes in Computer Science, 2015..
Reduction and Abstraction Techniques for BIP. 11th International Symposium on Formal Aspects of Component Software, Bertinoro, Italy, Lecture Notes in Computer Science 8997, 2014..
A General Framework for Architecture Composability. 12th International Conference on Software Engineering and Formal Methods, Grenoble, France, Lecture Notes in Computer Science 8702, 2014..
An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction. 10th International Modelica Conference, Lund, Sweden, Linköping Electronic Conference Proceedings 96, 2014..
Architecture Internalisation in BIP. 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, Lille, France, 2014..
Coordination of software components with BIP: application to OSGi. 6th International Workshop on Modeling in Software Engineering, Hyderabad, India, 2014..
Extended Connectors: Structuring Glue Operators in BIP. 6th Interaction and Concurrency Experience, Florence, Italy, Electronic Proceedings in Theoretical Computer Science 131, 2013..
Model-based automated testing of critical PLC programs. 2013 IEEE 11th International Conference on Industrial Informatics (INDIN), Bochum, Germany, 2013..
From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS. , ERTS2, 2012..
Towards a Theory of Glue. 5th Interaction and Concurrency Experience, Stockholm, Sweden, EPTCS 104, 2012..
Compositional timing analysis: power plant protection system case study. Proceedings of the 1st International Workshop on Worst-Case Traversal Time, New York, NY, USA, WCTT'11, 2011..
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. 10th International Conference on Software Composition (SC 2011), Zurich, Switzerland, LNCS 6708, 2011..
Symbolic Implementation of Connectors in BIP. , EPTCS, 2009..
Causal Semantics for the Algebra of Connectors (Extended abstract). FMCO 2007, Berlin Heidelberg, LNCS, 2008..
A Notion of Glue Expressiveness for Component-Based Systems. 19th International Conference on Concurrency Theory (CONCUR'08), Toronto, Canada, LNCS 5201, 2008..
The Algebra of Connectors — Structuring Interaction in BIP. 7th ACM & IEEE international conference on Embedded software (EMSOFT'07), Salzburg, Austria, 2007..
Performance evaluation of demodulation with diversity --- A combinatorial approach III: Threshold analysis. , 2005..
On Optimal Hybrid ARQ Control Schemes for HSDPA with 16QAM. , 2005..
Algorithmic Verification of Component-based Systems. EPFL, Lausanne, 2017..
A Semantic Framework for Architecture Modelling. EPFL, Lausanne, 2017..
Modelling Architecture Styles. EPFL, Lausanne, 2016..
Quarts: Quick Agreement for Real-Time Control Systems, 2017.
Architecture-based Design: A Satellite On-Board Software Case Study, 2016.
Modelling Resource Dependencies, 2016.
Correct Transformation of High-Level Models into Time-Triggered Implementations, 2016.
Architecture Diagrams - A Graphical Language for Architecture Style Specification, 2016.
Configuration Logics - Modelling Architecture Styles, 2015.
Offer Semantics: Achieving Compositionality, Flattening and Full Expressiveness for the Glue Operators in BIP, 2014.
Architecture Internalisation in BIP, 2014.
A General Framework for Architecture Composability, 2014.
Integration of BIP into Connectivity Factory: Implementation, 2013.
Architectures: Design patterns for component-based systems. 9th International Symposium on Trustworthy Global Computing, Rome, Italy, 2014..
On the Soundness of Behavioural Abstraction in Hybrid Systems. 2nd International Workshop on Simulation at the System Level, Cargese, Corsica., 2014..
For Coordination, State Component Transitions. EclipseCon Europe 2013, Ludwigsburg, Germany, 2013..
Bidirectional transformation between BIP and SysML for visualisation and editing. , 2017..
A Framework for Automatic Generation of OSRA-compliant Applications in BIP. , 2017..
Introducing dynamicity in JavaBIP. , 2016..
Behaviour-Interaction-Priority in Functional Programming Languages: Formalisation and Implementation of Concurrency Frameworks in Haskell and Scala. , 2015..
Rigorous software design for nano and micro satellites using BIP framework. , 2014..