@string{iccad = "Proceedings of the International Conference on Computer-Aided Design"}
@string{dac = "Proceedings of the Design Automation Conference"}
@string{ucb = "U.C. Berkeley"}
@string{codesw = "Proceedings of the International Workshop on Hardware-Software Codesign"}

################################# 1998 ############################

@inproceedings{passerone_dac_98,
	author = "F. Bellifernine and A. Bonomo and P. Civera and G. Ghigo and M. Lajolo and L. Lavgno and C. Passerone and A. Sangiovanni-Vincentelli",
	title = "Hardware/Software Co-Design for Image Processing",
	booktitle = "Proceedings of International Conference on Signal Processing and Communications",
	month = feb,
	year = 1998
}

@inproceedings{passerone_dac_98,
	author = "T. Cuatto and C. Passerone and L. Lavagno and A. Jurecska and A. Damiano and C. Sansoe and A. Sangiovanni-Vincentelli",
	title = "A Case Study in Embedded System Design: an Engine Control Unit",
	booktitle = dac,
	month = jun,
	year = 1998
}

@article{balarin_dtc_98,
        author = "F. Balarin and L. Lavagno and P. Murthy and A. Sangiovanni-Vincentelli",
        title = "Scheduling for embedded real-time systems",
        journal = "IEEE Design & Test of Computers",
        year = 1998,
        month = jan,
        volume = 15,
        number = 1,
        pages = {71-82},
}

@inproceedings{lavagno_acsd_98,
        author = "L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "System-Level design models and implementation techniques",
        booktitle = "Proceedings of International Conference on Application of Concurrency to System Design",
        year = 1998,
}

@inproceedings{lajolo_codes_98,
        author = "M. Lajolo and A. Raghunathan and S. Dey and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "A Case Study on Modeling Shared Memory Access Effects during Performance Analysis o HW/SW Systems",
        booktitle = codesw,
        year = 1998,
}

@inproceedings{liu_codes_98,
        author = "J. Liu and M. Lajolo and A. Sangiovanni-Vincentelli",
        title = "Software Timing Analysis Using HW/SW Cosimulation and Instruction Set Simulator",
        booktitle = codesw,
        year = 1998,
}

@inproceedings{passerone_codes_98,
        author = "C. Passerone and R. Passerone and C. Sansoe and J. Martin and A. Sangiovanni-Vincentelli and P. McGeer",
        title = "Modeling Reactive Systems in Java",
        booktitle = codesw,
        year = 1998,
}


@techreport{sgroi_ucb_98,
        author = {M. Sgroi and L. Lavagno and A. Sangiovanni-Vincentelli},
        title = {Quasi-Static Scheduling of Free-Choice Petri Netsr},
        institution = ucb,
        number = {Memorandum No. UCB/ERL M98/9},
        address = {Electronics Research Laboratory, College of Engineering,
                   University of California, Berkeley, CA  94720},
        year = 1998
}


################################# 1997 ############################

@inproceedings{tabbara_hldvt_97,
        author = "B. Tabbara and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "Fast Hardware-Software Co-Simulation using Software Synthesis and Estimation",
        booktitle = "IEEE International High Level Design Validation and Test Workshop",
        year = 1997,
}

@inproceedings{passerone_hldvt_97,
        author = "R. Passerone and C. Passerone and L. Lavagno and Claudio Sansoe and A. Sangiovanni-Vincentelli",
        title = "Modeling Reactive Systems in Java",
        booktitle = "IEEE International High Level Design Validation and Test Workshop",
        year = 1997,
}

@book{balarin_kluwer_97,
       author = "F. Balarin and M. Chiodo and P. Giusto and H. Hsieh and A. Jurecska and L. Lavagno and C. Passerone and A. Sangiovanni-Vincentelli and E. Sentovich and K. Suzuki and B. Tabbara",
       title = "Hardware-Software Co-Design of Embedded Systems: The Polis Approach",
       publisher = "Kluwer Academic Publishers",
       year = 1997
}


@inproceedings{passerone_dac_97,
	author = "C. Passerone and L. Lavagno and M. Chiodo and A. Sangiovanni-Vincentelli",
	title = "Fast hardware/software co-simulation for virtual prototyping and trade-off analysis",
	booktitle = dac,
	month = jun,
	year = 1997
}

@inproceedings{balarin_dac_97,
	author = "F. Balarin and A. Sangiovanni-Vincentelli",
	title = "Schedule Validation for Embedded Reactive Real-Time Systems",
	booktitle = dac,
	month = jun,
	year = 1997
}

@article{edwards_ieee_97,
        author = "S. Edwards and L. Lavagno and E. Lee and A. Sangiovanni-Vincentelli",
        title = "Design of Embedded Systems: Formal MOdel, Validation and Synthesis",
        journal = "Proceedings of the IEEE",
        year = 1997,
        month = mar,
        volume = 85,
        number = 3,
        pages = {366-90},
}


@inproceedings{hsieh_codes_97,
        author = "H. Hsieh and L. Lavagno and C. Passerone and C. Sansoe and A. Sangiovanni-Vincentelli",
        title = "Modeling Micro-controller Peripherals for High-Level CO-simulation and Synthesis",
        booktitle = codesw,
        year = 1997,
}

@inproceedings{balarin_codes_97,
        author = "F. Balarin and M. Chiodo and A. Jurecska and L. Lavagno and B. Tabbara and A. Sangiovanni-Vincentelli",
        title = "Automatic Generation of a Real-Time Operating System for Embedded Systems",
        booktitle = codesw,
        year = 1997,
}

@techreport{lavagno_upc_97,
        author = {L. Lavagno and J. Cortadella and A. Sangiovanni-Vincentelli},
        title = "{Embedded Code Optimizaiton Via Common Control Structure Detection}",
        institution = "UPC",
        number = {Memorandum No. UPC-1997-9},
        year = 1997
}

@inproceedings{passerone_aspdac_97,
	author = "C. Passerone and L. Lavagno and C. Sansoe and M. Chiodo and A. Sangiovanni-Vincentelli",
	title = "Trade-off Evaluation in Embedded System Design via Co-simulation",
	booktitle = "ASP-DAC",
	month = jan,
	year = 1997
}

@inproceedings{sangiovanni_culs_97,
	author = "A. Sangiovanni-Vincentelli",
	title = "Embedded System Design and Hybrid Systems",
	booktitle = "Control Using Logic-based Switching",
	year = 1997
}

@techreport{hanxleden_ucb_97,
        author = {R. von Hanxleden and L. Lavagno and A.
                Sangiovanni-Vincentelli},
        title = "{Co-Design of a Fault-Tolerant Communication Protocol -- A Case
 Study}",
        institution = ucb,
        number = {Memorandum No. UCB/ERL M97/13},
        address = {Electronics Research Laboratory, College of Engineering,
                   University of California, Berkeley, CA  94720},
        month = feb,
        year = 1997
}

################################# 1996 ############################

@inproceedings{lee_iccad_96,
        author = "E. Lee and A. Sangiovanni-Vincentelli",
        title = "Comparing Models of Computation",
        booktitle = iccad,
        month = nov,
        year = 1996
}

@inproceedings{hanxleden_efts_96,
        author = "R. von Hanxleden and L. Lavagno and J. Bohne and 
                  A. Sangiovanni-Vincentelli",
        title = "Hardware/Software Co-Design of a Fault-Tolerant Communication Protocol",
        booktitle = "IEEE International Workshop on Embedded Fault-Tolerant Systems",
        year = 1996,
}

@inproceedings{suzuki_dac_96,
   author = "K. Suzuki and A. Sangiovanni-Vincentelli",
   title = "Efficient Software Performance Estimation Methods for Hardware/Software Codesign",
   booktitle = dac,
   year = 1996,
}

@inproceedings{balarin_dac_96,
   author = "F. Balarin and H. Hsieh and A. Jurecska and L. Lavagno and
   A. Sangiovanni-Vincentelli",
   title = "Formal Verification of Embedded Systems based on
   {CFSM} networks",
   booktitle = dac,
   year = 1996,
}

@inproceedings{sangiovanni_dac_96,
   author = "A. Sangiovanni-Vincentelli and P. McGeer and A. Saldanha",
   title = "Verification of Electronic Systems",
   booktitle = dac,
   year = 1996,
}

@inproceedings{cardelli_rsp_96,
        author = "S. Cardelli and M. Chiodo and P. Giusto and A. Jurecska and
                L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "Rapid-Prototyping of Embedded Systems via Reprogrammable Devi
ces",
        booktitle = "7th IEEE International Workshop on Rapid System Prototypi
ng",
        year = 1996,
}

@inproceedings{sangiovanni_mec_96,
   author = "A. Sangiovanni-Vincentelli",
   title = "Trends in Electronic Systems",
   booktitle = "Mediterranean Electrotechnical Conference on Industrial Applications in Power Systems, Computer Science, and Telecommunications",
   year = 1996,
}

@article{chiodo_daes_96,
    author = "M. Chiodo and D. Engels and P. Giusto and H. Hsieh and A. Jurecs
ka
    and L. Lavagno and K. Suzuki and A.  Sangiovanni-Vincentelli",
    title = "A Case Study in Computer-Aided Codesign of Embedded Controllers",
    journal = "Design Automation for Embedded Systems",
    year = 1996,
        month = jan,
        number = "1-2",
        volume = 1
}

@article{chiodo_eetimes_96,
    author = "M. Chiodo and A. Damiano and A. Sangiovanni-Vincentelli",
    title = "Design Automation for Reactive Embedded Controller Co-design",
    journal = "Electronic Engineering Times",
    year = 1996
}

@techreport{passerone_ucb_96,
    comment = "publications/tr/UCB-ERL-96-12.ps.gz",
    author = "C. Passerone and M. Chiodo and W.  Gosti and
        L. Lavagno and A. Sangiovanni-Vincentelli",
    title = "Evaluation of trade-offs in the design of embedded
    systems via co-simulation",
    institution = ucb,
    year = 1996,
    number = "UCB/ERL M96/12",
}

################################# 1995 ############################

@inproceedings{mcgeer_iccad_95,
        author = "P. McGeer and K. McMillan and A. Saldanha and A. Sangiovanni-Vincentelli",
        title = "Fast Discrete Function Evaluaton using Decision Diagrams",
        booktitle = iccad,
        month = nov,
        year = 1995
}


@inproceedings{chiodo_dac_95,
        author = "M. Chiodo and P. Giusto and H. Hsieh and
        A. Jurecska and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "Synthesis of Software Programs from {CFSM} Specifications",
        booktitle = dac,
        year = 1995,
        month = jun
}

@inproceedings{lavagno_nato_95,
        author = "L. Lavagno and A. Sangiovanni-Vincentelli and H. Hsieh",
        title = "Models and ALgorithms for Embedded System Synthesis and Validation",
        booktitle = "NATO Advance Study Institute",
        year = 1995
}

@inproceedings{balarin_fmsd_95,
        author = "F. Balarin and A. Sangiovanni-Vincentelli",
        title = "An iterative approach to verification of real-time systems",
        booktitle = "Formal Methods in System Design",
        year = 1995,
	month = jan,
	volume = 6,
	pages = {67-95}
}

@inproceedings{lavagno_tcad_95,
        author = "L. Lavagno and C. Moon and R. Brayton and A. Sangiovanni-Vincentelli",
        title = "An Efficient Heuristic Procedure for Solving the State Assignment Problem for Event-based Specifications",
        booktitle = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
        year = 1995,
	month = jan,
	volume = 14,
	pages = {45-60}
}

################################# 1994 ############################

@inproceedings{balarin_iccad_94,
        author = "F. Balarin and A. Sangiovanni-Vincentelli",
        title = "Iterative Algorithms for Formal Verification of Embedded Real-time Systems",
        booktitle = iccad,
        month = nov,
        year = 1994
}

@inproceedings{lavagno_codes_94,
        author = "L. Lavagno and M. Chiodo and P. Giusto and H. Hsieh
        and S. Yee and K. Suzuki and A. Jurecska and A. Sangiovanni-Vincentell
i",
        title = "A Case Study in Computer-Aided Codesign of Embedded Controlle
rs",
        booktitle = codesw,
        year = 1994,
}


@article{chiodo_micro_94,
        comment = "publications/jou/micro-94.ps.gz",
        author = "M. Chiodo and P. Giusto and H. Hsieh and
        A. Jurecska and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "Hardware/Software Codesign of Embedded Systems",
        journal = "IEEE Micro",
        year = 1994,
        month = aug,
        volume = 14,
        number = 4,
        pages = {26-36},
}

@techreport{chiodo_ucb_94,
        comment = "publications/tr/UCB-ERL-94-87.ps.gz",
        author = "M. Chiodo and P. Giusto and H. Hsieh and
        A. Jurecska and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "Synthesis of Software Programs from {CFSM} Specifications",
        institution = ucb,
        year = 1994,
        number = "UCB/ERL M94/87",
}

################################# 1993 ############################

@inproceedings{chiodo_codes_93_1,
        author = "M. Chiodo and P. Giusto and H. Hsieh and
        A. Jurecska and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "A Formal Specification Model for Hardware/Software Codesign",
        booktitle = codesw,
        year = 1993,
}

@techreport{chiodo_ucb_93_1,
        comment = "publications/tr/UCB-ERL-93-48.ps.gz",
        author = "M. Chiodo and P. Giusto and H. Hsieh and
        A. Jurecska and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "A Formal Specification Model for Hardware/Software Codesign",
        institution = ucb,
        year = 1993,
        month = jun,
        number = "UCB/ERL M93/48",
}


@inproceedings{chiodo_codes_93_2,
        author = "M. Chiodo and P. Giusto and H. Hsieh and
        A. Jurecska and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "Synthesis of Mixed Software-Hardware Implementations from {CF
SM}
                Specifications",
        booktitle = codesw,
        year = 1993,
}

@techreport{chiodo_ucb_93_2,
        comment = "publications/tr/UCB-ERL-93-49.ps.gz",
        author = "M. Chiodo and P. Giusto and H. Hsieh and
        A. Jurecska and L. Lavagno and A. Sangiovanni-Vincentelli",
        title = "Synthesis of Mixed Software-Hardware Implementations from {CF
SM}
                Specifications",
        institution = ucb,
        year = 1993,
        month = jun,
        number = "UCB/ERL M93/49"
}

############################### 1992 #####################################

@inproceedings{chiodo_codes_92,
        author = "M. Chiodo and A. Sangiovanni-Vincentelli",
        title = "Design Methods for Reactive Real-time System Co-Design",
        booktitle = codesw,
        location = "Estes Park, CO",
        year = 1992,
        month = sep
}