Items where Division is "Unspecified" and Year is 2011

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 32.

Conference or Workshop Item (A Paper)

Alkassar, Eyad and Böhme, Sascha and Mehlhorn, Kurt and Rizkallah, Christine
(2011) Verification of Certifying Computations.
In: Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011).
Conference: CAV Computer Aided Verification

Bui, Dai N and Lee, Edward A. and Liu, Isaac and Patel, Hiren D. and Reineke, Jan
(2011) Temporal isolation on multiprocessing architectures.
In: Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011.
Conference: DAC Design Automation Conf

Chatterjee, Krishnendu and Majumdar, Rupak
(2011) Minimum Attention Controller Synthesis for Omega-regular Objectives.
In: Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11).

Datta, Anupam and Blocki, Jeremiah and Christin, Nicolas and DeYoung, Henry and Garg, Deepak and Jia, Limin and Kaynar, Dilsun Kirli and Sinha, Arunesh
(2011) Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.
In: Proc. of the 7th International Conference Information Systems Security (ICISS 2011).

Datta, Anupam and Garg, Deepak and Jia, Limin
(2011) Policy auditing over incomplete logs: theory, implementation and applications.
In: Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS '11).
Conference: CCS ACM Conference on Computer and Communications Security

Dittrich, Jens and Jindal, Alekh
(2011) Towards a One Size Fits All Database Architecture.
In: Proceedings of the 4th Biennial Conference on Innovative Data Systems Research (CIDR).
Conference: CIDR Conference on Innovative Data Systems Research

Grund, Daniel and Reineke, Jan and Wilhelm, Reinhard
(2011) A Template for Predictability Definitions with Supporting Evidence.
In: Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France..

Herter, Jörg and Backes, Peter and Haupenthal, Florian and Reineke, Jan
(2011) CAMA: A Predictable Cache-Aware Memory Allocator.
In: 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 5-8 July, 2011.
Conference: ECRTS Euromicro Conference on Real-Time Systems

Jhala, Ranjit and Majumdar, Rupak and Rybalchenko, Andrey
(2011) HMC: Verifying Functional Programs Using Abstract Interpreters.
In: Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011).
Conference: CAV Computer Aided Verification

Jindal, Alekh and Dittrich, Jens
(2011) Relax and Let the Database Do the Partitioning Online.
In: Enabling Real-Time Business Intelligence (BIRTE).

Jindal, Alekh and Quiané-Ruiz, Jorge-Arnulfo and Dittrich, Jens
(2011) Trojan data layouts: right shoes for a running elephant.
In: Proceedings of the 2nd ACM Symposium on Cloud Computing (SoCC).

Jose, Manu and Majumdar, Rupak
(2011) Bug-Assist: Assisting Fault Localization in ANSI-C Programs.
In: Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011).
Conference: CAV Computer Aided Verification

Jose, Manu and Majumdar, Rupak
(2011) Cause Clue Clauses: Error Localization Using Maximum Satisfiability.
In: Proc. of the 32rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011).
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Lapin, Maksim and Mikeev, Linar and Wolf, Verena
(2011) SHAVE: stochastic hybrid analysis of markov population models.
In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011.

Liu, Yabing and Gummadi, Krishna P. and Krishnamurthy, Balachander and Mislove, Alan
(2011) Analyzing facebook privacy settings: user expectations vs. reality.
In: Proc. of the 11th ACM SIGCOMM Conference on Internet Measurement (IMC 2011).
Conference: IMC Internet Measurement Conference

Majumdar, Rupak and Render, Elaine and Tabuada, Paulo
(2011) Robust Discrete Synthesis Against Unspecified Disturbances.
In: Proc. of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011).

Majumdar, Rupak and Saha, Indranil and Zamani, Majid
(2011) Performance-aware Scheduler Synthesis for Control Systems.
In: Proc. of the International Conference on Embedded Software (EMSOFT 2011).
Conference: EMSOFT ACM Conference on Embedded Software

Mikeev, Linar and Sandmann, Werner and Wolf, Verena
(2011) Efficient calculation of rare event probabilities in Markovian queueing networks.
In: 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011.

Nanevski, Aleksandar and Banerjee, Anindya and Garg, Deepak
(2011) Verification of Information Flow and Access Control Policies with Dependent Types.
In: Proceedings of the 32nd IEEE Symposium on Security and Privacy (S&P '11).
Conference: SP IEEE Symposium on Security and Privacy

Quiané-Ruiz, Jorge-Arnulfo and Pinkel, Christoph and Schad, Jorg and Dittrich, Jens
(2011) RAFT at work: speeding-up mapreduce applications under task and node failures.
In: Proceedings of the ACM SIGMOD International Conference on Management of data.
Conference: SIGMOD ACM Special Interest Group on Management of Data Conference

Quiané-Ruiz, Jorge-Arnulfo and Pinkel, Christoph and Schad, Jorg and Dittrich, Jens
(2011) RAFTing MapReduce: Fast recovery on the RAFT.
In: Proceedings of the IEEE 27th International Conference on Data Engineering (ICDE).
Conference: ICDE International Conference on Data Engineering

Reineke, Jan and Liu, Isaac and Patel, Hiren D. and Kim, Sungjun and Lee, Edward A.
(2011) PRET DRAM controller: bank privatization for predictability and temporal isolation.
In: Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2011, part of ESWeek '11 Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 201.

Reznichenko, Alexey and Guha, Saikat and Francis, Paul
(2011) Auctions in do-not-track compliant internet advertising.
In: Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS '11).
Conference: CCS ACM Conference on Computer and Communications Security

Roy, Pritam and Tabuada, Paulo and Majumdar, Rupak
(2011) Pessoa 2.0: A Controller Synthesis Tool for Cyber-physical Systems.
In: Proc. of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011).

Sevcík, Jaroslav and Vafeiadis, Viktor and Nardelli, Francesco Zappa and Jagannathan, Suresh and Sewell, Peter
(2011) Relaxed-memory concurrency and verified compilation.
In: Proceedings of the 38th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'11).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Stuijk, Sander and Basten, Twan and Akesson, Benny and Geilen, Marc and Moreira, Orlando and Reineke, Jan
(2011) Designing next-generation real-time streaming systems.
In: Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2011, part of ESWeek '11 Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 201.

Zamani, Majid and Majumdar, Rupak
(2011) A Lyapunov approach in incremental stability.
In: 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011).
Conference: CDC IEEE Conference on Decision and Control

Article

Datta, Anupam and Garg, Deepak and Kaynar, Dilsun Kirli and Jia, Limin and Franklin, Jason
(2011) On Adversary Models and Compositional Security.
IEEE Security & Privacy, 9 (3). pp. 26-32.

Grund, Daniel and Reineke, Jan and Gebhard, Gernot
(2011) Branch target buffers: WCET analysis framework and timing predictability.
Journal of Systems Architecture - Embedded Systems Design, 57 (6). pp. 625-637.

Henzinger, Thomas A and Jobstmann, Barbara and Wolf, Verena
(2011) Formalisms for Specifying Markovian Population Models.
International Journal of Foundations of Computer Science, 22 (4). pp. 823-841.

McConnell, Ross M and Mehlhorn, Kurt and Näher, Stefan and Schweitzer, Pascal
(2011) Survey: Certifying Algorithms.
Computer Science Review, 5 (2). pp. 119-161. ISSN 1574-0137

Stikic, Maja and Larlus, Diane and Ebert, Sandra and Schiele, Bernt
(2011) Weakly Supervised Recognition of Daily Life Activities with Wearable Sensors.
IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 33 (12). pp. 2521-2537.

This list was generated on Sat Dec 21 17:25:22 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.