Search the dblp DataBase
Hassan Mountassir :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hassan Mountassir To Correct Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1989, pp:327-334 [Conf ] Hassan Mountassir , S. Serre OCAM: A Collaborative System for Multimedia Applications. [Citation Graph (0, 5)][DBLP ] ICDE, 1995, pp:551-553 [Conf ] Pierre-Alain Masson , Hassan Mountassir , Jacques Julliand Modular Verification for a Class of PLTL Properties. [Citation Graph (0, 0)][DBLP ] IFM, 2000, pp:398-419 [Conf ] Jacques Julliand , Pierre-Alain Masson , Hassan Mountassir Modular Verification of Dynamic Properties for Reactive Systems. [Citation Graph (0, 0)][DBLP ] IFM, 1999, pp:89-108 [Conf ] A. Ibriz , Mohammed Erradi , Hassan Mountassir , Michel Tréhel A Layered Cooperative Architecture and its Application in TeleTeaching Framework. [Citation Graph (0, 0)][DBLP ] PDPTA, 1999, pp:1516-1522 [Conf ] Françoise Bellegarde , Jacques Julliand , Hassan Mountassir , Emilie Oudot On the Contribution of a tau. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:97-111 [Journal ] Hassan Mountassir Decidability of a Class of Dual Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1996, v:30, n:3, pp:59-66 [Journal ] Jacques Julliand , Hassan Mountassir , Emilie Oudot VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. [Citation Graph (0, 0)][DBLP ] ICFEM, 2007, pp:116-135 [Conf ] Preservation of timed properties during an incremental development by components. [Citation Graph (, )][DBLP ] Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. [Citation Graph (, )][DBLP ] Verification of Real-Time Systems: Application to the Transportation Domain. [Citation Graph (, )][DBLP ] Refinement of Interface Automata Strengthened by Action Semantics. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs