Compositional modeling in metropolisGÖSSLER, Gregor; SANGIOVANNI-VINCENTELLI, Alberto.Lecture notes in computer science. 2002, pp 93-107, issn 0302-9743, isbn 3-540-44307-X, 15 p.Conference Paper

23 rd Hawaii international conference on system Science: [selected papers], January 1990BORRIELLO, Gaetano; SANGIOVANNI-VINCENTELLI, Alberto.IEEE transactions on computer-aided design of integrated circuits and systems. 1991, Vol 10, Num 1, pp 2-23, issn 0278-0070, 92 p.Conference Proceedings

EMSOFT 2002 : embedded software (Grenoble, 7-9 october 2002)Sangiovanni-Vincentelli, Alberto; Sifakis, Joseph.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-44307-X, IX, 421 p, isbn 3-540-44307-XConference Proceedings

Principles of real-time programmingKIRSCH, Christoph M.Lecture notes in computer science. 2002, pp 61-75, issn 0302-9743, isbn 3-540-44307-X, 15 p.Conference Paper

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical SystemsSANGIOVANNI-VINCENTELLI, Alberto; DAMM, Werner; PASSERONE, Roberto et al.European journal of control. 2012, Vol 18, Num 3, pp 217-238, issn 0947-3580, 22 p.Article

Embedded system design for automotive applications : The embedded systems landscapeSANGIOVANNI-VINCENTELLI, Alberto; DI NATALE, Marco.Computer (Long Beach, CA). 2007, Vol 40, Num 10, pp 42-51, issn 0018-9162, 10 p.Article

Modeling Cyber―Physical Systems: Developing cyber―physical systems (CPS) models is the main concern of this paper which provides a comprehensive overview of their current state and future directions : CYBER-PHYSICAL SYSTEMSDERLER, Patricia; LEE, Edward A; SANGIOVANNI VINCENTELLI, Alberto et al.Proceedings of the IEEE. 2012, Vol 100, Num 1, pp 13-28, issn 0018-9219, 16 p.Article

Quo vadis, SLD? Reasoning about the trends and challenges of system level designSANGIOVANNI-VINCENTELLI, Alberto.Proceedings of the IEEE. 2007, Vol 95, Num 3, pp 467-506, issn 0018-9219, 40 p.Article

Can behavioral requirements be executed? (and why would we want to do so?)HAREL, David.Lecture notes in computer science. 2002, pp 30-31, issn 0302-9743, isbn 3-540-44307-X, 2 p.Conference Paper

HSCC 2001 : hybrid systems : computation and control (Rome, 28-30 March 2001)Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-41866-0, XIV, 516 p, isbn 3-540-41866-0Conference Proceedings

Embedded systems: Challenges in specification and verificationPNUELI, Amir.Lecture notes in computer science. 2002, pp 1-14, issn 0302-9743, isbn 3-540-44307-X, 14 p.Conference Paper

Description and schedulability analysis of the software architecture of an automated vehicle control systemTRIPAKIS, Stavros.Lecture notes in computer science. 2002, pp 123-137, issn 0302-9743, isbn 3-540-44307-X, 15 p.Conference Paper

Adaptive and reflective middleware for distributed real-time and embedded systemsSCHMIDT, Douglas C.Lecture notes in computer science. 2002, pp 282-293, issn 0302-9743, isbn 3-540-44307-X, 12 p.Conference Paper

ILP-based interprocedural path analysisTHEILING, Henrik.Lecture notes in computer science. 2002, pp 349-363, issn 0302-9743, isbn 3-540-44307-X, 15 p.Conference Paper

Upgrading embedded software in the field: Dependability and survivabilitySHA, Lui.Lecture notes in computer science. 2002, pp 166-181, issn 0302-9743, isbn 3-540-44307-X, 16 p.Conference Paper

Physical programming: Beyond mere logicSELIC, Bran.Lecture notes in computer science. 2002, pp 399-406, issn 0302-9743, isbn 3-540-44307-X, 8 p.Conference Paper

An approach to designing safe embedded softwareLEVESON, Nancy G.Lecture notes in computer science. 2002, pp 15-29, issn 0302-9743, isbn 3-540-44307-X, 15 p.Conference Paper

Scalable applications for energy-aware processorsBUTTAZZO, Giorgio C.Lecture notes in computer science. 2002, pp 153-165, issn 0302-9743, isbn 3-540-44307-X, 13 p.Conference Paper

Optimal control using bisimulations : ImplementationBROUCKE, Mireille; DI BENEDETTO, Maria Domenica; DI GENNARO, Stefano et al.Lecture notes in computer science. 2001, pp 175-188, issn 0302-9743, isbn 3-540-41866-0Conference Paper

Platform-based embedded software design for multi-vehicle multi-modal systemsKOO, T. John; LIEBMAN, Judith; MA, Cedric et al.Lecture notes in computer science. 2002, pp 32-45, issn 0302-9743, isbn 3-540-44307-X, 14 p.Conference Paper

Modeling and early performance estimation for network processor applicationsBENOLINO, Antonia; BONIVENTO, Alvise; DE ANGELIS, Guglielmo et al.Lecture notes in computer science. 2006, pp 753-767, issn 0302-9743, isbn 3-540-45772-0, 1Vol, 15 p.Conference Paper

Maximizing the stability radius of a set of systems under real-time scheduling constraintsPALOPOLI, Luigi; PINELLO, Claudio; BICCHI, Antonio et al.IEEE transactions on automatic control. 2005, Vol 50, Num 11, pp 1790-1795, issn 0018-9286, 6 p.Article

Processor pipelines and their properties for static WCET analysisENGBLOM, Jakob; JONSSON, Bengt.Lecture notes in computer science. 2002, pp 334-348, issn 0302-9743, isbn 3-540-44307-X, 15 p.Conference Paper

Duty-Cycle Optimization for IEEE 802.15.4 Wireless Sensor NetworksPANGUN PARK; ERGEN, Sinem Coleri; FISCHIONE, Carlo et al.ACM transactions on sensor networks. 2014, Vol 10, Num 1, issn 1550-4859, 12.1-12.32Article

Formal modeling and analysis of advanced scheduling features in an avionics RTOSCOFER, Darren; RANGARAJAN, Murali.Lecture notes in computer science. 2002, pp 138-152, issn 0302-9743, isbn 3-540-44307-X, 15 p.Conference Paper