Marius Bozga and Joseph Sifakis - Free people check

(1 - 11 from 11

)

IEE - Symposium on Industrial Embedded Systems - SIES |...

www.unitn.it

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis A system for synthesizing abstraction-enabled simulators ...

Academy of Europe: Publications

www.ae-info.org

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: From high-level component-based models to distributed implementations.

!!Joseph Sifakis - Recent Publications \\ *Simon Bliudze ...

www.ae-info.org

NASA Formal Methods 2011: *Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph ...

ptolemy.eecs.berkeley.edu

ptolemy.berkeley.edu

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf and Joseph Sifakis INITIATING A DESIGN PATTERN CATALOG FOR EMBEDDED NETWORK SYSTEMS

Knowledge-based Distributed Conflict Resolution HAL-IRD

hal.ird.fr

by S Bensalem · · Cited by 12 — Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities · Saddek Bensalem · Marius Bozga · Jean Quilbeuf · Joseph Sifakis ... › IFIP-LNCS › hal

Programming Dynamic Reconfigurable Systems - OUCI

ouci.dntb.gov.ua

by R El Ballouli · · Cited by 15 — Publisher: Springer International Publishing. Authors: Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis ... › works

Rigorous Component-Based System Design - (Invited Paper)

hal.cirad.fr

by A Basu · · Cited by 1 — Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis. Rigorous Component-Based System Design - (Invited Paper). Franciso Duran. › UNIV-GRENOBLE1 › hal

PRO3D » Publications

pro3d.eu

Saddek Bensalem, Ananda Basu, Marius Bozga, Paraskevas Bourgos and Joseph Sifakis. Invited presentation at the 5th Annual Layered Assurance Workshop, Orlando, Florida.

Borzoo Bonakdarpour - Publications

cs.uwaterloo.ca

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, and Joseph Sifakis, A Framework for Automated Distributed Implementation of Component-based Models.

FMCO Programme

formal.kastel.kit.edu

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Burgos, Joseph Sifakis: Component assemblies in the context of manycore (slides). 10: : 00.

List of publications - IRIT

www.irit.fr

Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis. The IF toolset. In SFM-04:RT Lecture Notes of the 4th Int. School on Formal Methods for ...

All web results to the name "Marius Bozga"

Related search requests for Marius Bozga

Axel Legay
Laurent Mounier
Yassine Lakhnech

Ananda Basu
Jean-Claude Fernandez
Susanne Graf

Joseph Sifakis
Patricia Bouyer
Anne Rasse

People
Forename "Marius" (6801)
Name "Bozga" (9)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Marius Bozga and Joseph Sifakis Free People Check