Institute for Software Integrated Systems

[1]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[2]  G. Zames.  On the input-output stability of time-varying nonlinear feedback systems Part one: Conditions derived using concepts of loop gain, conicity, and positivity , 1966 .

[3]  A. Jazwinski.  Stochastic Processes and Filtering Theory , 1970 .

[4]  Pravin Varaiya,et al.  Notes on Optimization , 1972 .

[5]  Robert Boorstyn,et al.  Single tone parameter estimation from discrete-time observations , 1974, IEEE Trans. Inf. Theory.

[6]  C. Desoer,et al.  Feedback Systems: Input-Output Properties , 1975 .

[7]  Leonard Kleinrock,et al.  Theory, Volume 1, Queueing Systems , 1975 .

[8]  Donald B. Johnson,et al.  Finding All the Elementary Circuits of a Directed Graph , 1975, SIAM J. Comput..

[9]  Susan L. Gerhart,et al.  Correctness-preserving program transformations , 1975, POPL '75.

[10]  Narsingh Deo,et al.  On Algorithms for Enumerating All Circuits of a Graph , 1976, SIAM J. Comput..

[11]  D. Gillespie.  A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

[12]  Robert Balzer,et al.  On the Transformational Implementation approach to programming , 1976, ICSE '76.

[13]  Murray Silverstein,et al.  A Pattern Language , 1977 .

[14]  Thomas Kailath,et al.  Linear Systems , 1980 .

[15]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[16]  Herbert Göttler,et al.  Attributed graph grammars for graphics , 1982, Graph-Grammars and Their Application to Computer Science.

[17]  Jay W. Cohen,et al.  Structured modeling , 1982, Winter Simulation Conference.

[18]  Steven A. Tretter,et al.  Estimating the frequency of a noisy sinusoid by linear regression , 1985, IEEE Trans. Inf. Theory.

[19]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[20]  E. Griepentrog,et al.  Differential-algebraic equations and their numerical treatment , 1986 .

[21]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[22]  Ioannis Karatzas,et al.  Brownian Motion and Stochastic Calculus , 1987 .

[23]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[24]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[25]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[26]  N. Hari Narayanan,et al.  A Methodology for Knowledge Acquisition and Reasoning in Failure Analysis of Systems , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[27]  N. Viswanadham,et al.  Fault diagnosis in dynamical systems: a graph theoretic approach , 1987 .

[28]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.

[29]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[30]  Y. Brave,et al.  Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[31]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[32]  Romeo Ortega,et al.  Adaptive motion control of rigid robots: a tutorial , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[33]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[34]  Asok Ray,et al.  Integrated Communication and Control Systems: Part III—Nonidentical Sensor and Controller Sampling , 1990 .

[35]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[36]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[37]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[38]  Gabor Karsai,et al.  Real-time fault diagnostics , 1991, IEEE Expert.

[39]  H. Wong-Toi,et al.  The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[40]  Herbert Göttler.  Diagram Editors = Graphs + Attributes + Graph Grammars , 1992, Int. J. Man Mach. Stud..

[41]  Randal E. Bryant,et al.  Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.

[42]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[43]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

[44]  J. P. Potocki de Montalk.  Computer software in civil aircraft , 1993, Microprocess. Microsystems.

[45]  Edmund M. Clarke,et al.  Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.

[46]  M. L. Sheffels.  A fault-tolerant air data/inertial reference unit , 1993 .

[47]  Julian C. Holtzman,et al.  Systems engineering of computer-based systems , 1994, Computer.

[48]  O. Cramer.  The variation of the specific heat ratio and the speed of sound in air with temperature, pressure, humidity, and CO2 concentration , 1993 .

[49]  M. K. Ghosh,et al.  Optimal control of switching diffusions with application to flexible manufacturing systems , 1993 .

[50]  Michael D. Rice,et al.  A Formal Model for Module Interconnection Languages , 1994, IEEE Trans. Software Eng..

[51]  Frank Vahid,et al.  A binary-constraint search algorithm for minimizing hardware during hardware/software partitioning , 1994, EURO-DAC '94.

[52]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.

[53]  James M. Crawford,et al.  Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems , 1994, AAAI.

[54]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[55]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[56]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[57]  Thomas A. Henzinger,et al.  Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[58]  Peter Kelb,et al.  An OBDD-representation of statecharts , 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

[59]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[60]  Jozef Hooman,et al.  Correctness of Real Time Systems by Construction , 1994, FTRTFT.

[61]  G. Wade,et al.  Multiplier-less FIR filter design using a genetic algorithm , 1994 .

[62]  Andrea Maggiolo-Schettini,et al.  A Graph Rewriting Framework for Statecharts Semantics , 1994, TAGT.

[63]  Ari Arapostathis,et al.  Controlled Switching Diffusions as Hybrid Processes , 1995, Hybrid Systems.

[64]  A. Misra.  Sensor-based diagnosis of dynamical systems , 1995 .

[65]  J-C. Laprie,et al.  DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[66]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

[67]  Mark A. Shayman,et al.  Supervisory Control of Real-Time Systems Using Prioritized Synchronization , 1996, Hybrid Systems.

[68]  Frank Vahid,et al.  Specification and Design of Embedded Hardware-Software Systems , 1995, IEEE Des. Test Comput..

[69]  Natarajan Shankar,et al.  Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS , 1995, IEEE Trans. Software Eng..

[70]  Raul Camposano,et al.  Tool integration and construction using generated graph-based design representations , 1995, DAC '95.

[71]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[72]  Daniel Gajski,et al.  Interfacing Incompatible Protocols Using Interface Process Generation , 1995, 32nd Design Automation Conference.

[73]  Jay Steele,et al.  The ControlShell component-based real-time programming system, and its application to the Marsokhod Martian Rover , 1995 .

[74]  D. Xu,et al.  Design of optimal digital filter using a parallel genetic algorithm , 1995 .

[75]  Gabor Karsai,et al.  MULTIGRAPH: an architecture for model-integrated computing , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[76]  Mark H. Davis.  Markov Models and Optimization , 1995 .

[77]  Jean Arlat,et al.  Architectural Issues in Software Fault Tolerance , 1995 .

[78]  Gabor Karsai,et al.  Model-embedded on-line problem solving environment for chemical engineering , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[79]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[80]  Steve McConnell,et al.  Rapid Development: Taming Wild Software Schedules , 1996 .

[81]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[82]  Gurdip Singh,et al.  Leader Election in the Presence of Link Failures , 1996, IEEE Trans. Parallel Distributed Syst..

[83]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[84]  Sérgio Vale Aguiar Campos,et al.  Symbolic Model Checking , 1993, CAV.

[85]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[86]  Nenad Medvidovic.  ADLs and dynamic architecture changes , 1996, ISAW '96.

[87]  Terry Hayes,et al.  Turbine Engine Diagnostics Using a Parallel Signal Processor , 1996 .

[88]  Amit Misra,et al.  Model-integrated toolset for fault detection, isolation and recovery (FDIR) , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

[89]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[90]  A Mahalanobis,et al.  Distance-classifier correlation filters for multiclass target recognition. , 1996, Applied optics.

[91]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[92]  V. Garg,et al.  Supervisory control of real-time discrete-event systems using lattice theory , 1996, IEEE Trans. Autom. Control..

[93]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[94]  Bruce Powell Douglass,et al.  Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .

[95]  M. S. Corson,et al.  A highly adaptive distributed routing algorithm for mobile wireless networks , 1997, Proceedings of INFOCOM '97.

[96]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[97]  Andy Hopper,et al.  A new location technique for the active office , 1997, IEEE Wirel. Commun..

[98]  B. Foss,et al.  Model predictive control for a class of hybrid systems , 1997, 1997 European Control Conference (ECC).

[99]  G. Karsai,et al.  Integrated analysis environment for high impact systems , 1998 .

[100]  A. Schfürr,et al.  Programmed graph replacement systems , 1997 .

[101]  A. Bensoussan,et al.  Hybrid control and dynamic programming , 1997 .

[102]  Timothy P. Kelliher,et al.  Engineering Complex Systems With Models and Objects , 1997 .

[103]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[104]  Janos Sztipanovits,et al.  Model-based engineering of large-scale real-time systems , 1997, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.

[105]  Franz Puntigam.  Types for Active Objects Based on Trace Semantics , 1997 .

[106]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[107]  Sergio Yovine,et al.  KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.

[108]  Allen C.-H. Wu,et al.  A predictive system shutdown method for energy saving of event-driven computation , 1997, ICCAD 1997.

[109]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.

[110]  Jan Top,et al.  Modelling and simulation of a switched power converter , 1997 .

[111]  Jos Warmer,et al.  The object constraint language , 1998 .

[112]  Alberto L. Sangiovanni-Vincentelli,et al.  Automatic synthesis of interfaces between incompatible protocols , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[113]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[114]  Frank Vahid,et al.  System-level exploration with SpecSyn , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[115]  Xenofon Koutsoukos,et al.  On hybrid control of complex systems : a survey , 1998 .

[116]  Grady Booch,et al.  Essential COM , 1998 .

[117]  Akash Deshpande,et al.  The SHIFT programming language for dynamic networks of hybrid automata , 1998 .

[118]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[119]  Gabor Karsai,et al.  Self-adaptive software for signal processing , 1998, CACM.

[120]  D. C. Sharp,et al.  Reducing avionics software cost through component based product line development , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).

[121]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[122]  Joseph Sifakis,et al.  Controller Synthesis for Timed Automata 1 , 1998 .

[123]  Nitin H. Vaidya,et al.  Location-aided routing (LAR) in mobile ad hoc networks , 1998, MobiCom '98.

[124]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[125]  E. Long,et al.  Increasing Productivity at Saturn , 1998, Computer.

[126]  P. Mosterman,et al.  A theory of discontinuities in physical system models , 1998 .

[127]  David Garlan,et al.  Specifying and Analyzing Dynamic Software Architectures , 1998, FASE.

[128]  Prof. Dr. Christoph Meinel,et al.  Algorithms and Data Structures in VLSI Design , 1998, Springer Berlin Heidelberg.

[129]  Johnny Öberg,et al.  Scheduling of outputs in grammar-based hardware synthesis of data communication protocols , 1998, Proceedings Design, Automation and Test in Europe.

[130]  Andy Schürr,et al.  Computing with Graphs and Graph Rewriting , 1999 .

[131]  Gabor Karsai,et al.  Metamodeling-rapid design and evolution of domain-specific modeling environments , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[132]  Charles E. Perkins,et al.  Ad-hoc on-demand distance vector routing , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.

[133]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[134]  Edward A. Lee,et al.  Advances in the dataflow computational model , 1999, Parallel Comput..

[135]  Keith Marzullo,et al.  Gossip versus Deterministic Flooding: Low Message Overhead and High Reliability for Broadcasting on Small Networks , 1999 .

[136]  David M. Weiss,et al.  Software Product-Line Engineering: A Family-Based Software Development Process , 1999 .

[137]  George Varghese,et al.  HSRA: high-speed, hierarchical synchronous reconfigurable array , 1999, FPGA '99.

[138]  Alberto L. Sangiovanni-Vincentelli,et al.  System design: traditional concepts and new paradigms , 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

[139]  Jay H. Lee,et al.  Model predictive control: past, present and future , 1999 .

[140]  William S. Levine.  Control System Applications , 1999 .

[141]  M. Falcone.  A maximum time approach to the computation of robust domains of attraction , 1999 .

[142]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[143]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[144]  J. Miller.  Digital filter design at gate-level using evolutionary algorithms , 1999 .

[145]  Wing Shing Wong,et al.  Systems with finite communication bandwidth constraints. II. Stabilization with limited information feedback , 1999, IEEE Trans. Autom. Control..

[146]  Gabor Karsai,et al.  Metaprogrammable toolkit for model-integrated computing , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[147]  Wolfgang Rosenstiel,et al.  An Interface Description Model for Reuse of Algorithmic Hardware Specifications , 1999, MBMV.

[148]  Nitin H. Vaidya,et al.  Analysis of TCP Performance over Mobile Ad Hoc Networks , 1999, Wirel. Networks.

[149]  Sandeep Neema,et al.  Uniform execution environment for dynamic reconfiguration , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[150]  Flaviu Cristian,et al.  A Highly Available Local Leader Election Service , 1999, IEEE Trans. Software Eng..

[151]  Edward A. Lee,et al.  Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[152]  H. Sussmann,et al.  A maximum principle for hybrid optimal control problems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[153]  Zygmunt J. Haas,et al.  Determining the optimal configuration for the zone routing protocol , 1999, IEEE J. Sel. Areas Commun..

[154]  A. Schaft,et al.  L2-Gain and Passivity in Nonlinear Control , 1999 .

[155]  James E. Barger,et al.  Fixed and wearable acoustic counter-sniper systems for law enforcement , 1999, Other Conferences.

[156]  Scott D. Stoller.  Leader Election in Distributed Systems with Crash Failures , 1999 .

[157]  Pieter J. Mosterman,et al.  Diagnosis of continuous valued systems in transient operating regions , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[158]  David S. Rosenblum,et al.  Achieving scalability and expressiveness in an Internet-scale event notification service , 2000, PODC '00.

[159]  A. Pnueli,et al.  Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.

[160]  Zhou Lei,et al.  The portable batch scheduler and the maui scheduler on linux clusters , 2000 .

[161]  Wilfried Elmenreich,et al.  A universal smart transducer interface: TTP/A , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[162]  Hari Balakrishnan,et al.  6th ACM/IEEE International Conference on on Mobile Computing and Networking (ACM MOBICOM ’00) The Cricket Location-Support System , 2022 .

[163]  Deborah Estrin,et al.  GPS-less low-cost outdoor localization for very small devices , 2000, IEEE Wirel. Commun..

[164]  A. Bensoussan,et al.  Stochastic Hybrid Control , 2000 .

[165]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.

[166]  Sandeep Neema,et al.  Model-integrated Tools for the Design of Dynamically Reconfigurable Systems , 2000, VLSI Design.

[167]  Torres Wilfredo,et al.  Software Fault Tolerance: A Tutorial , 2000 .

[168]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[169]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[170]  Gaetano Borriello,et al.  SpotON: An Indoor 3D Location Sensing Technology Based on RF Signal Strength , 2000 .

[171]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[172]  Pieter J. Mosterman,et al.  A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems , 2000 .

[173]  H. Kushner.  Numerical Methods for Stochastic Control Problems in Continuous Time , 2000 .

[174]  M. Morari,et al.  Multi-objective prioritisation and reconfiguration for the control of constrained hybrid systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[175]  M. Ceraolo,et al.  New dynamical models of lead-acid batteries , 2000 .

[176]  Gabor Karsai.  Design tool integration: an exercise in semantic interoperability , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[177]  John Lygeros,et al.  Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.

[178]  John Wawrzynek,et al.  Stream Computations Organized for Reconfigurable Execution (SCORE) , 2000, FPL.

[179]  Gabor Karsai,et al.  Towards Specification of Program Synthesis in Model-Integrated Computing , 2000 .

[180]  Martin Arlitt,et al.  A workload characterization study of the 1998 World Cup Web site , 2000, IEEE Netw..

[181]  John Wawrzynek,et al.  Stream Computations Organized for Reconfigurable Execution (SCORE) Extended Abstract , 2000 .

[182]  Andrew C. Myers,et al.  Protecting privacy using the decentralized label model , 2000, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].

[183]  Jeff Magee,et al.  The Koala Component Model for Consumer Electronics Software , 2000, Computer.

[184]  Brad Karp,et al.  GPSR: greedy perimeter stateless routing for wireless networks , 2000, MobiCom '00.

[185]  Jeffrey S. Lavell,et al.  Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions , 2000 .

[186]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

[187]  Leslie Lamport,et al.  Paxos Made Simple , 2001 .

[188]  Ken Butts,et al.  Usage Scenarios for an Automated Model Compiler , 2001, EMSOFT.

[189]  G. Nordstrom,et al.  On metamodel composition , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[190]  Gabor Karsai,et al.  Embedded Software: Challenges and Opportunities , 2001, EMSOFT.

[191]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[192]  Christos G. Cassandras,et al.  Optimal control of a class of hybrid systems , 2001, IEEE Trans. Autom. Control..

[193]  J.B. de Sousa,et al.  A control architecture for integrated cooperative cruise control and collision warning systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[194]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[195]  George T. Heineman,et al.  Component-Based Software Engineering: Putting the Pieces Together , 2001 .

[196]  B. R. Badrinath,et al.  Ad hoc positioning system (APS) , 2001, GLOBECOM'01. IEEE Global Telecommunications Conference (Cat. No.01CH37270).

[197]  James Kurien,et al.  Continuous Measurements and Quantitative Constraints: Challenge Problems for Discrete Modeling Techniques , 2001 .

[198]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[199]  Edward A. Lee,et al.  Overview of the Ptolemy project , 2001 .

[200]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[201]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .

[202]  Laura L. Pullum,et al.  Software Fault Tolerance Techniques and Implementation , 2001 .

[203]  Deborah Estrin,et al.  Time synchronization for wireless sensor networks , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[204]  Deborah Estrin,et al.  Proceedings of the 5th Symposium on Operating Systems Design and Implementation Fine-grained Network Time Synchronization Using Reference Broadcasts , 2022 .

[205]  Anders Rantzer,et al.  Convex dynamic programming for hybrid systems , 2002, IEEE Trans. Autom. Control..

[206]  Leonidas J. Guibas,et al.  Sensing, tracking and reasoning with relations , 2002, IEEE Signal Process. Mag..

[207]  S. Barsali,et al.  Dynamical Models of Lead-Acid Batteries: Implementation Issues , 2002, IEEE Power Engineering Review.

[208]  Douglas C. Schmidt,et al.  Meta-programming techniques for distributed real-time and embedded systems , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

[209]  Brian C. Williams,et al.  Mode Estimation of Probabilistic Hybrid Systems , 2002, HSCC.

[210]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[211]  Managing power consumption in networks on chips , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[212]  Philippe Dague,et al.  State Tracking of Uncertain Hybrid Concurrent Systems , 2002 .

[213]  Gianluca Mazzini,et al.  Localization in sensor networks with fading and mobility , 2002, The 13th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications.

[214]  K. Shin,et al.  Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach , 2002, IEEE Trans. Parallel Distributed Syst..

[215]  S. Ofsthun.  Integrated vehicle health management for aerospace platforms , 2002, IEEE Instrumentation & Measurement Magazine.

[216]  J. Rawlings,et al.  Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics , 2002 .

[217]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[218]  Deborah Estrin,et al.  Rumor Routing Algorithm For Sensor Networks , 2002 .

[219]  Deborah Estrin,et al.  Scalable, Ad Hoc Deployable, RF-Based Localization , 2002 .

[220]  David E. Culler,et al.  Calibration as parameter estimation in sensor networks , 2002, WSNA '02.

[221]  Jeremy G. Siek,et al.  The Boost Graph Library - User Guide and Reference Manual , 2001, C++ in-depth series.

[222]  John Anderson,et al.  Wireless sensor networks for habitat monitoring , 2002, WSNA '02.

[223]  Peter Fritzson,et al.  Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation , 2002, Proceedings 35th Annual Simulation Symposium. SS 2002.

[224]  David E. Culler,et al.  Mica: A Wireless Platform for Deeply Embedded Networks , 2002, IEEE Micro.

[225]  Mary Shaw,et al.  "Self-healing": softening precision to avoid brittleness: position paper for WOSS '02: workshop on self-healing systems , 2002, WOSS '02.

[226]  P. Swain,et al.  Stochastic Gene Expression in a Single Cell , 2002, Science.

[227]  Chenyang Lu,et al.  Proceedings of the Fast 2002 Conference on File and Storage Technologies Aqueduct: Online Data Migration with Performance Guarantees , 2022 .

[228]  Larry B. Stotts,et al.  Unattended ground sensor related technologies: an Army perspective , 2002, SPIE Defense + Commercial Sensing.

[229]  Karl-Erik Årzén,et al.  Jitterbug and TrueTime: Analysis Tools for Real-Time Control Systems , 2002 .

[230]  Gabor Karsai,et al.  Model Reuse with Metamodel-Based Transformations , 2002, ICSR.

[231]  Christoph M. Kirsch,et al.  Giotto: a time-triggered language for embedded programming , 2003 .

[232]  Hermann Kopetz,et al.  The time-triggered architecture , 2003 .

[233]  Thomas A. Henzinger,et al.  From control models to real-time code using Giotto , 2003 .

[234]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[235]  Brian C. Williams,et al.  Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[236]  Tom Ritter,et al.  A QoS metamodel and its realization in a CORBA component , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[237]  Andy Wigley,et al.  Microsoft .Net Compact Framework: Core Reference , 2003 .

[238]  Douglas C. Schmidt,et al.  Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects , 2013 .