Bruno Monsuez

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j2		Hycham Aboutaleb, Samuel Boutin, Bruno Monsuez: Handling scenarios complexity in model-based design. Concurrent Engineering: R&A 20(2): 85-97 (2012)
j1		Nesrine Harrath, Bruno Monsuez: SystemC waiting state automata. IJCCBS 3(1/2): 60-95 (2012)
	2010
c8		Hycham Aboutaleb, Samuel Boutin, Bruno Monsuez: A Hierarchical Approach to Design a V2V Intersection Assistance System. CSDM 2010: 237-247
	1995
c7		Bruno Monsuez: Using Abstract Interpretation to Define a Strictness Type Inference System. PEPM 1995: 122-133
c6		Bruno Monsuez: System F and Abstract Interpretation. SAS 1995: 279-295
	1993
c5		Bruno Monsuez: Polymorphic Typing for Call-by-Name Semantics. Formal Methods in Programming and Their Applications 1993: 156-169
c4		Bruno Monsuez: Polymorphic Types and Widening Operators. WSA 1993: 267-281
	1992
c3		Bruno Monsuez: Polymorphic Typing by Abstract Interpretation. FSTTCS 1992: 217-228
c2		Bruno Monsuez: Fractional Types. WSA 1992: 274-284
	1991
c1		Bruno Monsuez: An Attempt to Find Polymorphic Types by Abstract Interpretation. JTASPEFT/WSA 1991: 18-25

Coauthor Index

Last update Sat May 25 20:07:38 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page