Search Results - "Frappier, Marc"

Modeling of a speed control system using Event-B.

Authors: Mammar, Amel Frappier, Marc

Source: International Journal on Software Tools for Technology Transfer; Jun2024, Vol. 26 Issue 3, p347-363, 17p

An Event-B model of an automotive adaptive exterior light system.

Authors: Mammar, Amel Frappier, Marc Laleau, Régine

Source: International Journal on Software Tools for Technology Transfer; Jun2024, Vol. 26 Issue 3, p331-346, 16p

A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.

Authors: Mammar, Amel Frappier, Marc Tueno Fotso, Steve Jeffrey et al.

Source: International Journal on Software Tools for Technology Transfer; Jun2020, Vol. 22 Issue 3, p333-347, 15p

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.

Authors: Tueno Fotso, Steve Jeffrey Frappier, Marc Laleau, Régine et al.

Source: International Journal on Software Tools for Technology Transfer; Jun2020, Vol. 22 Issue 3, p349-363, 15p

SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy.

Authors: Huynh, Nghi Frappier, Marc Pooda, Herman et al.

Source: Computer Journal; Dec2019, Vol. 62 Issue 12, p1707-1733, 27p

Integration of sequential scenarios.

Authors: Desharnais, Jules Frappier, Marc Khédri, Ridha

Source: IEEE Transactions on Software Engineering; September 1998, Vol. 24 Issue 9, p695-708, 14p

Generating relational database transactions from eb3 attribute definitions.

Authors: Gervais, Frédéric Frappier, Marc Laleau, Régine

Source: Software & Systems Modeling; Jul2009, Vol. 8 Issue 3, p423-445, 23p, 13 Diagrams

Generating relational database transactions from eb³ attribute definitions.

Authors: Gervais, Frédéric Frappier, Marc Laleau, Régine

Source: Software & Systems Modeling. Jul2009, Vol. 8 Issue 3, p423-445. 23p. 13 Diagrams.

Applying CSP || B to information systems.

Authors: Evans, Neil Treharne, Helen Laleau, Régine et al.

Source: Software & Systems Modeling; Feb2008, Vol. 7 Issue 1, p85-102, 18p, 3 Diagrams, 8 Charts

State-based versus event-based specifications for information systems: a comparison of B and eb3.

Authors: Fraikin, Benoît Frappier, Marc Laleau, Régine

Source: Software & Systems Modeling; Jul2005, Vol. 4 Issue 3, p236-257, 22p

State-based versus event-based specifications for information systems: a comparison of B and eb³.

Authors: Fraikin, Benoît Frappier, Marc Laleau, Régine

Source: Software & Systems Modeling. Jul2005, Vol. 4 Issue 3, p236-257. 22p.

State-based versus event-based specifications for information systems: a comparison of B and eb³.

Authors: Fraikin, Benoît Frappier, Marc Laleau, Régine

Source: Software & Systems Modeling. Jul2005, Vol. 4 Issue 3, p236-257. 22p.

Subjects: Information technology, Computer systems, Integrated library systems (Computer systems), Data protection, Systems design, Information resources

Translating Alloy and extensions to classical B.

Authors: Krings, Sebastian Leuschel, Michael Schmidt, Joshua et al.

Source: Science of Computer Programming; Mar2020, Vol. 188, pN.PAG-N.PAG, 1p

The presence of extra chromosomes leads to genomic instability.

Authors: Passerini V Ozeri-Galai E de Pagter MS et al.

Source: Nature communications [Nat Commun] 2016 Feb 15; Vol. 7, pp. 10754. Date of Electronic Publication: 2016 Feb 15.

Publication Type: Journal Article; Research Support, Non-U.S. Gov't

Journal Info: Publisher: Nature Pub. Group Country of Publication: England NLM ID: 101528555 Publication Model: Electronic Cited Medium: Internet ISSN: 2041-1723 (Electronic) Linking ISSN: 20411723 NLM ISO Abbreviation: Nat Commun Subsets: MEDLINE