Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Madhukar Anand
2010 – today
- 2012
[j3]Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan: State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems 48(4): 430-462 (2012)- 2010
- [j2]Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee: Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers 59(9): 1281-1294 (2010)
2000 – 2009
- 2009
- [c14]Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur: Specification and Analysis of Network Resource Requirements of Control Systems. HSCC 2009: 381-395
- [c13]Madhukar Anand, Sebastian Fischmeister, Insup Lee: Resource Scopes: Toward Language Support for Compositional Determinism. ISORC 2009: 295-304
- 2008
- [j1]Madhukar Anand, Insup Lee: Challenges and opportunities in deeply embedded systems security. SIGBED Review 5(1): 25 (2008)
- [c12]Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee: Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398
- [c11]Madhukar Anand, Insup Lee: Robust and sustainable schedulability analysis of embedded software. LCTES 2008: 61-70
- 2007
- [c10]Madhukar Anand, Sebastian Fischmeister, Insup Lee: Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246
- [c9]Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee: A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74
- [c8]A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342
- [c7]Arvind Easwaran, Madhukar Anand, Insup Lee: Compositional Analysis Framework Using EDP Resource Models. RTSS 2007: 129-138
- 2006
- [c6]Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
- [c5]Madhukar Anand, Sebastian Fischmeister, Insup Lee: An analysis framework for network-code programs. EMSOFT 2006: 122-131
- [c4]Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee: Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006: 393-399
- [i1]Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze, Sampath Kannan: Security Protocols with Isotropic Channels. IACR Cryptology ePrint Archive 2006: 396 (2006)
- 2005
- [c3]Madhukar Anand, Zachary G. Ives, Insup Lee: Quantifying eavesdropping vulnerability in sensor networks. DMSN 2005: 3-9
- [c2]Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213
- [c1]Madhukar Anand, Jesung Kim, Insup Lee: Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005: 166-173
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-24 21:47 CET by the dblp team