1. Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. (1st January 2014) Authors: Harrath, Nesrine; Monsuez, Bruno Journal: International journal of critical computer-based systems Issue: Volume 5:Number 3/4(2014) Page Start: 268 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Hierarchical timed abstract state machines for WCET estimation. (2016) Authors: Paun, Vladimir-Alexandru; Monsuez, Bruno; Baufreton, Philippe Journal: International journal of critical computer-based systems Issue: Volume 6:Number 4(2016) Page Start: 343 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Integration of Symbolic Execution into a Formal Abstract State Machines based Language. Issue 1 (July 2017) Authors: Paun, Vladimir-Alexandru; Monsuez, Bruno; Baufreton, Philippe Journal: IFAC-PapersOnLine Issue: Volume 50:Issue 1(2017) Page Start: 11251 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Quantifying System Complexity in Design Phase Using Higraph‐Based Models. Issue 1 (13th September 2016) Authors: Aboutaleb, Hycham; Monsuez, Bruno Journal: INCOSE International Symposium Issue: Volume 26:Issue 1(2016) Page Start: 238 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. SystemC waiting state automata. (1st January 2012) Authors: Harrath, Nesrine; Monsuez, Bruno Journal: International journal of critical computer-based systems Issue: Volume 3:Number 1/2(2012) Page Start: 60 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Towards a Holistic Definition of Model‐Based System Engineering: Paradigm, Modeling and Requirements. Issue 1 (28th October 2015) Authors: Aboutaleb, Hycham; Monsuez, Bruno Journal: INCOSE International Symposium Issue: Volume 25:Issue 1(2015) Page Start: 1232 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Towards a Holistic Definition of Model‐Based System Engineering: Paradigm, Modeling and Requirements. Issue 1 (October 2015) Authors: Aboutaleb, Hycham; Monsuez, Bruno Journal: INCOSE International Symposium Issue: Volume 25:Issue 1(2015) Page Start: 1232 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. (2018) Editors: Atig, Mohamed Faouzi; Bensalem, Saddek; Bliudze, Simon; Monsuez, Bruno Other Names: VECoS (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗