dblp.uni-trier.dewww.uni-trier.de

Alberto Ferrari Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
26EEAlberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai: Time and memory tradeoffs in the implementation of AUTOSAR components. DATE 2009: 864-869
2008
25EELuca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli: Composing hybrid systems. CDC 2008: 4693-4699
24EET. Forest, Alberto Ferrari, G. Audisio, M. Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Physical Architectures of Automotive Systems. DATE 2008: 391-395
23EEA. Mignogna, Massimo Conti, M. D'Angelo, Massimo Baleani, Alberto Ferrari: Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. DSD 2008: 839-843
22EELuca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis: A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL 2008: 142-147
21EELuca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli: Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. HSCC 2008: 58-71
2007
20EEAlbert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
19EEMichele Cirinei, Enrico Bini, Giuseppe Lipari, Alberto Ferrari: A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors. IPDPS 2007: 1-8
18EELeonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Trans. Embedded Comput. Syst. 7(1): (2007)
17EELeonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Trans. Software Eng. 33(8): 497-509 (2007)
2006
16EELeonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium 2006: 157-166
2005
15EEMassimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff: Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE 2005: 1044-1049
14EEMassimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli: Efficient embedded software design with synchronous models. EMSOFT 2005: 187-190
2004
13EEJean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno: SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. DATE 2004: 358-363
12EELuciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto: SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. UML Satellite Activities 2004: 150-162
2003
11EEMassimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini: Fault-tolerant platforms for automotive safety-critical applications. CASES 2003: 170-177
10EELeonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese: System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. DATE 2003: 20232-20237
9EEPaolo Gai, Marco Di Natale, Giuseppe Lipari, Alberto Ferrari, Claudio Gabellini, Paolo Marceca: A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform. IEEE Real Time Technology and Applications Symposium 2003: 189-
2002
8EEMassimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli: An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. FPL 2002: 677-686
7EEPaolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Automotive Virtual Integration Platforms: Why's, What's, and How's. ICCD 2002: 370-378
6EEPaolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto: Models of IP's for Automotive Virtual Integration Platforms. ICCD 2002: 379-
2000
5EEMassimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti: HW/SW Codesign of an Engine Management System. DATE 2000: 263-
4EEAlberto Ferrari, Michele Borgatti, Roberto Guerrieri: A complete system for NN classification based on a VLSI array processor. Pattern Recognition 33(12): 2083-2093 (2000)
1999
3EEAlberto Ferrari, Alberto L. Sangiovanni-Vincentelli: System Design: Traditional Concepts and New Paradigms. ICCD 1999: 2-13
2EEEdoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. on CAD of Integrated Circuits and Systems 18(3): 301-310 (1999)
1993
1 Mario Coppo, Alberto Ferrari: Type Inference, Abstract Interpretation and Strictness Analysis. Theor. Comput. Sci. 121(1&2): 113-143 (1993)

Coauthor Index

1G. Audisio [24]
2Massimo Baleani [5] [8] [11] [14] [15] [17] [18] [23]
3Albert Benveniste [20]
4Luca Benvenuti [21] [22] [25]
5Enrico Bini [19]
6Michele Borgatti [4]
7Jean-Yves Brunel [6] [7] [13]
8Benoît Caillaud [20]
9Luca P. Carloni [2]
10Edoardo Charbon [2]
11Michele Cirinei [19]
12Massimo Conti [8] [23]
13Mario Coppo [1]
14M. D'Angelo [23]
15T. Forest [24]
16Eliane Fourgeau [6] [7]
17Valerio Frascolla [8]
18Ulrich Freund [15]
19Claudio Gabellini [9]
20Paolo Gai [9] [26]
21Giacomo Gentile [26]
22Paolo Giusto [6] [7] [12] [13]
23Emanuele Guasto [6]
24Roberto Guerrieri [4]
25Luciano Lavagno [6] [7] [12] [13]
26Giuseppe Lipari [9] [19]
27Leonardo Mangeruca [10] [11] [14] [15] [16] [17] [18] [20] [22]
28Paolo Marceca [9]
29Emanuele Mazzi [21] [22] [25]
30A. Mignogna [23]
31Paolo Miliozzi [2]
32Marco Di Natale [9] [12] [13] [24] [26]
33Barry O'Rourke [6]
34Roberto Passerone [20] [22]
35Michele Pennese [10]
36Maurizio Peri [11]
37Saverio Pezzini [11]
38Andrea Pierantoni [10]
39Giovanni Reggiani [26]
40M. Sabatini [24]
41Alberto L. Sangiovanni-Vincentelli [2] [3] [5] [6] [7] [8] [10] [11] [14] [15] [16] [17] [18] [21] [24] [25]
42Erhard Schlenker [15]
43Christos Sofronis [20] [22]
44Claudio Turchetti [5]
45Hans-Jörg Wolff [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)