| Rigorous system level modeling and analysis of mixed HW/SW systems P Bourgos, A Basu, M Bozga, S Bensalem, J Sifakis, K Huang Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011 | 29 | 2011 |
| Rigorous system design: the BIP approach A Basu, S Bensalem, M Bozga, P Bourgos, J Sifakis International doctoral workshop on mathematical and engineering methods in …, 2011 | 26 | 2011 |
| Component assemblies in the context of manycore A Basu, S Bensalem, M Bozga, P Bourgos, M Maheshwari, J Sifakis International Symposium on Formal Methods for Components and Objects, 314-333, 2011 | 23 | 2011 |
| Building distributed sensor network applications using BIP A Lekidis, P Bourgos, S Djoko-Djoko, M Bozga, S Bensalem 2015 IEEE Sensors Applications Symposium (SAS), 1-6, 2015 | 17 | 2015 |
| Models for deterministic execution of real-time multiprocessor applications P Poplavko, D Socci, P Bourgos, S Bensalem, M Bozga 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015 | 14 | 2015 |
| DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems G Giannopoulou, P Poplavko, D Socci, P Huang, N Stoimenov, P Bourgos, ... Design Automation for Embedded Systems 22, 141-181, 2018 | 13 | 2018 |
| Rigorous Design Flow for Programming Manycore Platforms P Bourgos | 12* | |
| A timed-automata based middleware for time-critical multicore applications D Socci, P Poplavko, S Bensalem, M Bozga, P Bourgos 2015 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2015 | 8 | 2015 |
| Integrating architectural constraints in application software by source-to-source transformation in bip P Bourgos, A Basu, S Bensalem, K Huang, J Sifakis Technical Report TR-2011-1, Verimag Research Report, 2010 | 6 | 2010 |
| Design Flow for the Rapid Development of Distributed Sensor Network Applications A Lekidis, P Bourgos, S Djoko-Djoko, M Bozga, S Bensalem Verimag Research Report, Tech. Rep. TR-2014-13, 2014 | 2 | 2014 |
| Component Assemblies in the Context of Manycore P Bourgos, M Maheshwari, A Basu, S Bensalem, M Bozga, J Sifakis | | |
| Rigorous Component-based System Design S Bensalem, A Basu, M Bozga, P Bourgos, J Sifakis WRLA 2012, 1, 0 | | |
