|  |
| Sort by
Filter
|
Published
|
1
2
Next 
|
|
part of: Proceedings of SOFSEM 2011 (ISBN: ) , pages: 12, 2012
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Current Trends in Theory and Practice of Computer Science, Student Research Forum (SOFSEM) - 38, 2012, Špindlerův Mlýn, Czech Republic
Status: accepted
|
2012 |
Hermanns, Holger ; Parma, Augusto ; Segala, Roberto ; Wachter, Björn ; Zhang, Lijunin journal: Information and Computation (ISSN: 0890-5401) (DOI: 10.1016/j.ic.2010.11.024) , vol: 209, pages: 154-172, 2011, Academic Press
Type:
Journal article - Journal article
Status: epublished
|
2011 |
|
in journal: International Journal on Software Tools for Technology Transfer (ISSN: 1433-2779) (DOI: 10.1007/s10009-010-0146-x) , vol: 13, issue: 1, pages: 3-19, 2011, Springer
Type:
Journal article - Journal article
Status: published
|
2011 |
|
part of: NATO Science for Peace and Security Series, D: Information and Communication Security (ISBN: 978-1-60750-710-9) , pages: 182-210, 2011, IOS Press
Type:
Book chapter
Status: published
|
2011 |
|
part of: Bringing Theory to Practice: Predictability and Performance in Embedded Systems, PPES’11, March 18, 2011, Grenoble, France (ISBN: 978-3-939897-28-6) (DOI: 10.4230/OASIcs.PPES.2011.11) , pages: 11-21, 2011, OASICS
Type:
Full conference paper publ. in proceedings/book
Presented at:
Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES) - 1, 2011
Status: published
|
2011 |
|
in series: IMM-Technical Report-2011-01 (ISBN: ) , 2011, DTU Informatics, Building 321, Kgs. Lyngby, Denmark
Type:
Report - Report
Status: published
|
2011 |
|
in series: IMM-PHD-2011 (ISSN: 0909-3192) (ISBN: ) , pages: 306, 2011, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - Ph.d.-thesis
Status: published
|
2011 |
|
Bartholdt Sønder, Henrik
in series: IMM-B.Eng.-2010-61 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Bachelor of Engineering thesis]
Status: published
|
2011 |
|
part of: The Future Internet, Future Internet Assembly 2011: Achievements and Technological Promises (ISBN: 978-3-642-20897-3) , pages: 193-207, 2011, Springer
Type:
Book chapter
Status: published
|
2011 |
|
in series: IMM-PHD-2011-252 (ISBN: ) , 2011, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - Ph.d.-thesis
Status: published
|
2011 |
|
Stenum, Ask
in series: IMM-B.Eng.-2010-69 (ISBN: ) , 2011, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Bachelor of Engineering thesis]
Status: published
|
2011 |
|
Rasmussen, Christian Steinhauer
in series: IMM-M.Sc.-2011-14 (ISBN: ) , 2011, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2011 |
|
in journal: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (ISSN: 2093-5374) (DOI: ) , vol: 2, issue: 1, pages: 4-27, 2011
Type:
Journal article - Journal article
Status: published
|
2011 |
|
Rasmussen, Thorbjørn Kamlarczyk
in series: IMM-M.Sc.-2011-19 (ISBN: ) , 2011, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2011 |
|
Saxbeck Larsen, Frans
in series: IMM-M.Sc.-2011-24 (ISBN: ) , 2011, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2011 |
|
in series: IMM-PHD-2011 (ISSN: 0909-3192) (ISBN: ) , pages: 227, 2011, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - Ph.d.-thesis
Status: published
|
2011 |
|
Wang, Long
in series: IMM-M.Sc.-2011-33 (ISBN: ) , Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2011 |
|
part of: Coordination Models and Languages, 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 - Proceedings (ISBN: 878-3-642-21463-9) (DOI: 10.1007/978-3-642-21464-6_14) , pages: 202-218, 2011, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Coordination Models and Languages (COORDINATION) - 13, 2011, Reykjavik, Iceland
Status: published
|
2011 |
|
in journal: Formal Aspects of Computing, Applicable Formal Methods (ISSN: 0934-5043) (DOI: 10.1007/s00165-011-0174-7) , vol: 23, issue: 4, pages: 541-565, 2011
Type:
Journal article - Journal article
Status: published
|
2011 |
|
in journal: A C M Transactions on Computational Logic (ISSN: 1529-3785) (DOI: 10.1145/1929954.1929955) , vol: 12, issue: 3, pages: 18, 2011
Type:
Journal article - Journal article
Status: published
|
2011 |
|
part of: NASA Formal Methods, Third International Symposium, NFM 2011 - Pasadena, CA, USA, April 18-20, 2011 - Proceedings (ISBN: 978-3-642-20397-8) (DOI: 10.1007/978-3-642-20398-5) , pages: 146-161, 2011, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
NASA Formal Methods Symposium (NFM) - 3, 2011, Pasadena, California, USA
Status: published
|
2011 |
|
part of: Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II (ISBN: 978-3-642-22011-1) (DOI: 10.1007/978-3-642-22012-8_21) , pages: 271-282, 2011, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Colloquium on Automata, Languages and Programming (ICALP) - 38, 2011, Zürich, Switzerland
Status: published
|
2011 |
Kiefer, Stefan ; Murawski, Andrzej S. ; Ouaknine, Joël ; Worrell, James ; Zhang, Lijunpart of: Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II (ISBN: 978-3-642-22011-1) (DOI: 10.1007/978-3-642-22012-8_37) , pages: 466-477, 2011, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Colloquium on Automata, Languages and Programming (ICALP) - 38, 2011, Zürich, Switzerland
Status: published
|
2011 |
Buchholz, Peter ; Hahn, Ernst Moritz ; Hermanns, Holger ; Zhang, Lijunpart of: Computer Aided Verification, 23rd International Conference, CAV 2011 - Snowbird, UT, USA, July 14-20, 2011 - Proceedings (ISBN: 978-3-642-22109-5) (DOI: 10.1007/978-3-642-22110-1) , pages: 225-242, 2011, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Computer Aided Verification (CAV) - 23, 2011, Snowbird, Utah, USA
Status: published
|
2011 |
|
part of: Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011 (ISBN: ) (DOI: 10.4122/1.1000054694) , 2011, Technical University of Denmark, Lyngby
Type:
Full conference paper publ. in proceedings/book
Presented at:
International CDIO Conference - 7, 2011, Lyngby, Denmark
Status: published
|
2011 |
|
in journal: Scientific Annals of Computer Science (ISSN: 1843-8121) (DOI: ) , vol: 21, pages: 107-149, 2011
Type:
Journal article - Journal article
Status: published
|
2011 |
|
part of: 2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC) (ISBN: 978-1-4244-9539-9) (DOI: 10.1109/IWCMC.2011.5982705) , pages: 1164-1169, 2011, IEEE
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Wireless Communications and Mobile Computing Conference (IWCMC) - 7, 2011, Istanbul
Status: published
|
2011 |
|
part of: CONCUR 2011 – Concurrency Theory, 22nd International Conference, CONCUR 2011 Aachen, Germany, September 6-9, 2011 Proceedings (ISBN: 978-3-642-23216-9) (DOI: 10.1007/978-3-642-23217-6_8) , pages: 108-123, 2011, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Concurrency Theory (CONCUR) - 22, 2011, Aachen, Germany
Status: published
|
2011 |
|
part of: Formal Techniques for Distributed Systems, Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings (ISBN: 978-3-642-21460-8) (DOI: 10.1007/978-3-642-21461-5) , pages: 138-152, 2011, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
IFIP International Conference on Formal Methods for Open Object-based Distributed Systems & IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS & FORTE) - 13 & 31, 2011, Reykjavik, Iceland
Status: published
|
2011 |
|
part of: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) (ISBN: 978-1-4577-0973-9) (DOI: 10.1109/QEST.2011.32) , pages: 171-180, 2011, IEEE
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Quantitative Evaluation of Systems (QEST) - 8, 2011, Aachen, Germany
Status: published
|
2011 |
|
part of: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) (ISBN: 978-1-4577-0973-9) (DOI: 10.1109/QEST.2011.37) , pages: 223-232, 2011, IEEE
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Quantitative Evaluation of Systems (QEST), 2011, Aachen, Germany
Status: published
|
2011 |
|
part of: Reachability Problems, 5th InternationalWorkshop, RP 2011 Genoa, Italy, September 28-30, 2011, Proceedings (ISBN: 978-3-642-24287-8) (DOI: 10.1007/978-3-642-24288-5_20) , pages: 231-244, 2011, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Workshop on Reachability Problems (RP) - 5, 2011, Genoa, Italy
Status: published
|
2011 |
|
part of: Rigorous Software Engineering for Service-Oriented Systems, Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (ISBN: 978-3-642-20400-5) , pages: 369-389pages: 736, 2011, Springer
Type:
Book chapter
Status: published
|
2011 |
|
part of: 2011 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) (ISBN: 978-1-4577-0682-0) , 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) - 3, 2011, Budapest, Hungary
Status: published
|
2011 |
|
part of: Proceedings of the Workshop on Configuration (ConfWS 2011) (ISBN: ) , pages: 9-18, 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
The IJCAI Workshop on Configuration (CONFWS), 2011, Barcelona, Spain
Status: published
|
2011 |
|
part of: Proceedings of the International Conference on Network Communication and Computer (ICNCC 2011) (ISBN: ) , pages: 132-136, 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Network Communication and Computer (ICNCC), 2011, New Delhi, India
Status: published
|
2011 |
|
in journal: I T - Information Technology (ISSN: 1611-2776) (DOI: 10.1524/itit.2011.0644) , vol: 53, issue: 4, pages: 202-206, 2011, Oldenbourg Wissenschaftsverlag GmbH
Type:
Journal article - Journal article
Status: published
|
2011 |
|
part of: 2011 IEEE Sensors Applications Symposium (SAS) (ISBN: 978-1-4244-8063-0) (DOI: 10.1109/SAS.2011.5739805) , pages: 82-87, 2011, IEEE
Type:
Full conference paper publ. in proceedings/book
Presented at:
IEEE Sensors Applications Symposium (SAS), 2011, San Antonio, Texas, USA
Status: published
|
2011 |
Yüksel, Emre ; Zaim, Abdül Halim ; Yuksel, Ender ; Aydin, Muhammed Ali part of: Proceedings of the International Conference on Networking and Future Internet (ICNFI 2011) (ISBN: ) , 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Networking and Future Internet (ICNFI), 2011, Paris, France
Status: published
|
2011 |
|
part of: Proceedings of the 23rd Nordic Workshop Programming Theory (ISBN: ) , pages: 69-72, 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
Nordic Workshop Programming Theory (NWPT) - 23, 2011, Västerås, Sweden
Status: published
|
2011 |
|
part of: EXADAPT '11 Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era (ISBN: 978-1-4503-0708-6) (DOI: 10.1145/2000417.2000422) , 2011, ACM
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era (EXADAPT) - 1, 2011, San Jose, California
Status: published
|
2011 |
Fränzle, Martin ; Hahn, Ernst Moritz ; Hermanns, Holger ; Wolovick, Nicolás ; Zhang, Lijunpart of: Proceedings of the 14th international conference on Hybrid systems: computation and control (ISBN: 9781450306294) (DOI: 10.1145/1967701.1967710) , pages: 43-52, 2011, Association for Computing Machinery
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Hybrid Systems, Computation and Control (HSCC) - 14, 2011, Chicago, Illinois, USA
Status: published
|
2011 |
Hahn, Ernst Moritz ; Norman, Gethin ; Parker, David ; Wachter, Björn ; Zhang, Lijunpart of: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) (ISBN: ) , 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Conference on Quantitative Evaluation of Systems (QEST) - 8, 2011, Aachen, Germany
Status: published
|
2011 |
|
part of: Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (ISBN: ) , 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2011, Mumbai, India
Status: published
|
2011 |
|
part of: Proceedings of the 24th Computer Security Foundations Symposium 2011 (ISBN: ) , 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
The Computer Security Foundations Symposium (CSF) - 24, 2011, Abbaye des Vaux de Cernay, France
Status: published
|
2011 |
|
part of: CCSW '11 Proceedings of the 3rd ACM workshop on Cloud computing security workshop (ISBN: 978-1-4503-1004-8) (DOI: 10.1145/2046660.2046672) , pages: 47-58, 2011, ACM
Type:
Full conference paper publ. in proceedings/book
Presented at:
ACM workshop on Cloud computing security workshop (CCSW) - 3, 2011, Chicago, Illinois, USA
Status: published
|
2011 |
|
part of: Proceedings of FAST'11 (ISBN: ) , 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
The International Workshop on Formal Aspects of Security & Trust (FAST) - 8, 2011, Leuven, Belgium
Status: published
|
2011 |
|
in journal: Electronic Proceedings in Theoretical Computer Science (ISSN: 2075-2180) (DOI: 10.4204/EPTCS.57.6) , vol: 57, issue: Proc. QAPL 2011, pages: 74-88, 2011, Open Publishing Association
Type:
Full conference paper publ. in journal
Presented at:
Workshop on Quantitative Aspects of Programming Languages (QAPL) - 9, 2011, Saarbrücken, Germany
Status: published
|
2011 |
|
part of: ACACES 2011 Seventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ISBN: ) , 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) - 7, 2011, Fiuggi, Italy
Status: published
|
2011 |
|
part of: (ISBN: ) ,
Type:
Conference contribution (posters, abstracts)
- Poster presentation
Presented at:
International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES), 2011, Fiuggi, Italy
Status: published
|
2011 |
|
part of: Proceedings of FACS 2011 (ISBN: ) , 2011
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Symposium on Formal Aspects of Component Software (FACS) - 8, 2011, Oslo, Norway
Status: published
|
2011 |
|
part of: Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 Graz, Austria, November 29 - December 1, 2010 Revised Papers (ISBN: 978-3-642-25270-9) (DOI: 10.1007/978-3-642-25271-6) , pages: 1-22, 2010, Springer
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Symposium on Formal Methods for Components and Objects (FMCO) - 9, 2010, Graz, Austria
Status: published
|
2011 |
|
Terepeta, Michal
in series: IMM-M.Sc.-2010-33 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2010 |
|
Guarnieri, Daniel Volder
in series: IMM-B.Eng.-2010-19 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Bachelor of Engineering thesis]
Status: published
|
2010 |
|
in journal: Information and Computation (ISSN: 0890-5401) (DOI: 10.1016/j.ic.2009.10.003) , vol: 208, issue: 2, pages: 117-139, 2010, Academic Press
Type:
Journal article - Journal article
Status: published
|
2010 |
|
in journal: Science of Computer Programming (ISSN: 0167-6423) (DOI: 10.1016/j.scico.2009.07.009) , vol: 75, issue: 6, pages: 376-397, 2010, Elsevier BV
Type:
Full conference paper publ. in journal
Presented at:
International Conference on Coordination Models and Languages (COORDINATION 2008) - 10th, 2008, Oslo, NORWAY
Status: published
|
2010 |
|
Damm, Magnus Wilken
in series: IMM-B.Eng.-2010-23 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Bachelor of Engineering thesis]
Status: published
|
2010 |
|
Quaresma, Jose
in series: IMM-M.Sc.-2010-42 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2010 |
|
in series: IMM-Technical Report-2010-08 (ISBN: ) , 2010, DTU Informatics, Building 321, Kgs. Lyngby
Type:
Report - Report
Status: published
|
2010 |
|
Bleikertz, Sören
in series: IMM-M.Sc.-2010-47 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2010 |
|
Raja, Ahmad Nazir
in series: IMM-M.Sc.-2010-46 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2010 |
|
Tomczak, Lukasz Jaroslaw
in series: IMM-M.Sc.-2010-49 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2010 |
|
part of: Proceedings of the 7th International Conference on Quantitative Evaluation of Systems (QEST 2010) (ISBN: ) , pages: 155-156, 2010, IEEE Computer Society Press
Type:
Full conference paper publ. in proceedings/book
Presented at:
The 7th International Conference on Quantitative Evaluation of Systems (QEST) - 7, 2010, Williamsburg, Virginia, USA
Status: published
|
2010 |
|
part of: Proceedings of the 7th European Performance Engineering Workshop (EPEW 2010) (ISBN: ) , pages: 252-267, 2010
Type:
Full conference paper publ. in proceedings/book
Presented at:
The 7th European Performance Engineering Workshop (EPEW) - 7, 2010, Bertinoro, Italy
Status: published
|
2010 |
|
in journal: Journal of Computer Security (ISSN: 0926-227X) (DOI: 10.3233/JCS-2009-0351) , vol: 18, issue: 4, pages: 575-618, 2010, I O S Press
Type:
Journal article - Journal article
Status: published
|
2010 |
|
Hochreuter, Rasmus Lillholm
in series: IMM-B.Eng.-2010-26 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Bachelor of Engineering thesis]
Status: published
|
2010 |
|
in series: IMM-Technical Report-2010-12 (ISBN: ) , 2010, DTU Informatics, Building 321, Kgs. Lyngby, Denmark
Type:
Report - Report
Status: published
|
2010 |
|
in series: IMM-Technical Report-2010-09 (ISBN: ) , 2010, DTU Informatics, Building 321, Kgs. Lyngby
Type:
Report - Report
Status: published
|
2010 |
|
Braband Jensen, Jonas
in series: IMM-M.Sc.-2010-07 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2010 |
|
part of: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) (ISBN: 978-3-86956-043-4) , pages: 27-31pages: 47, 2010, Universitätsverlag Potsdam
Type:
Full conference paper publ. in proceedings/book
Presented at:
9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), 2010, Rennes, France
Status: published
|
2010 |
|
Winstrøm-Møller, Melvin ; Thykier, Niels
in series: IMM-B.Sc.-2010-39 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Bachelor thesis]
Status: published
|
2010 |
|
Yngvason, Olafur Torfi
in series: IMM-M.Sc.-2010-93 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2010 |
|
in series: IMM-PHD-2010-239 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - Ph.d.-thesis
Status: published
|
2010 |
|
in journal: Lecture Notes in Computer Science (ISBN: 978-3-642-15374-7) , 2010, Springer
Type:
Full conference paper publ. in journal
Presented at:
21st International Conference on Concurrency Theory (CONCUR), 2010 (Invited conference contribution)
Status: published
|
2010 |
|
in journal: Symposium on Logic in Computer Science (ISSN: 1043-6871) (DOI: 10.1109/LICS.2010.41) , pages: 342 - 351, 2010, I E E E Computer Society
Type:
Full conference paper publ. in journal
Presented at:
25th Annual IEEE Symposium on Logic in Computer Science (LICS), 2010
Status: published
|
2010 |
Hahn, Ernst Moritz ; Hermanns, Holger ; Wachter, Björn ; Zhang, Lijunin journal: Lecture Notes in Computer Science (ISBN: 978-3-642-14294-9) , 2010, Springer
Type:
Full conference paper publ. in journal
Presented at:
22nd International Conference on Computer Aided Verification (CAV), 2010
Status: published
|
2010 |
Zhang, Lijun ; She, Zhikun ; Ratschan, Stefan ; Hermanns, Holger ; Hahn, Ernst Moritz
in journal: Lecture Notes in Computer Science (ISBN: 978-3-642-14294-9) , 2010, Springer
Type:
Full conference paper publ. in journal
Presented at:
22nd International Conference on Computer Aided Verification (CAV), 2010
Status: published
|
2010 |
Carlin, George ; Crouzen, Pepijn ; D'Agenio, Pedro ; Hahn, Ernst Moritz ; Zhang, Lijunin journal: Lecture Notes in Computer Science (ISBN: 978-3-642-16163-6) , 2010, Springer
Type:
Full conference paper publ. in journal
Presented at:
17th International SPIN Workshop (SPIN), 2010
Status: published
|
2010 |
|
in journal: Sixth International Conference on the Quantitative Evaluation of Systems (ISBN: ) , 2010, IEEE Computer Society
Type:
Full conference paper publ. in journal
Presented at:
Quantitative Evaluation of Systems (QEST), 2010
Status: published
|
2010 |
|
part of: Proceedings of the Fifth European Starting AI Researcher Symposium (STAIRS 2010) (ISBN: ) , 2010
Type:
Full conference paper publ. in proceedings/book
Presented at:
European Starting AI Researcher Symposium (STAIRS) - 5, 2010, Lisbon, Portugal
Status: published
|
2010 |
|
part of: Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems (ISSN: 0302-9743) (DOI: 10.1007/978-3-642-15898-8_13) , pages: 198-214pages: 16, 2010, Springer, Heidelberg
Type:
Full conference paper publ. in proceedings/book
Presented at:
International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010) - 15, 2010, Antwerp, Belgium
Status: published
|
2010 |
|
part of: Proceedings of the 17th ACM Conference on Computer and Communications Security (ISBN: 978-1-4503-0244-9) , pages: 351-360pages: 9, 2010, Association for Computing Machinery, New York
Type:
Full conference paper publ. in proceedings/book
Presented at:
ACM Conference on Computer and Communications Security (CCS 2010) - 17, 2010, Chicago, USA
Status: published
|
2010 |
|
part of: Proceedings of The 15th Nordic Conference on Secure IT Systems (ISBN: ) , 2010
Type:
Full conference paper publ. in proceedings/book
Presented at:
The 15th Nordic Conference on Secure IT Systems (NORDSEC), 2010
Status: published
|
2010 |
|
in journal: Computer Journal (ISSN: 0010-4620) (DOI: 10.1093/comjnl/bxq036) , 2010, Oxford University Press
Type:
Journal article - Journal article
Status: epublished
|
2010 |
|
in journal: Lecture Notes in Computer Science, Foundations of Software Science and Computational Structures (ISSN: 0302-9743) (DOI: 10.1007/978-3-642-12032-9_14) , vol: 6014, pages: 191-205, 2010, Springer
Type:
Full conference paper publ. in journal
Status: published
|
2010 |
|
in journal: ACM computing surveys (ISSN: ) (DOI: ) , 2011
Type:
Journal article - Journal article
Status: accepted
|
2010 |
|
in journal: Lecture Notes in Computer science, Trustworthly Global Computing (ISSN: ) (DOI: 10.1007/978-3-642-15640-3_23) , vol: 6084, pages: 348-363, 2010
Type:
Full conference paper publ. in journal
Status: epublished
|
2010 |
|
part of: Seventh International Conference on the Quantitative Evaluation of Systems (ISBN: 978-0-7695-4188-4) (DOI: 10.1109/QEST.2010.10) , pages: 7-16, 2010
Type:
Full conference paper publ. in proceedings/book
Presented at:
Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, VA, USA September 15-September 18, 2010
Status: epublished
|
2010 |
|
part of: Electronic Notes in Theoretical Computer Science () (DOI: 10.1016/j.entcs.2010.09.015) , pages: 15-28, 2010
Type:
Full conference paper publ. in proceedings/book
Presented at:
Proceedings of the Tools for Automatic Program AnalysiS (TAPAS), Proceedings of the Tools for Automatic Program AnalysiS (TAPAS), 2010
Status: epublished
|
2010 |
|
part of: ICE2010, Third Interaction and Concurrency Experience (DOI: 10.4204/EPTCS.38.5) , pages: 29-43
Type:
Full conference paper publ. in proceedings/book
Presented at:
DisCoTec2010, ICE2010 Satellite Workshop, 2010, CWI, Amsterdam
Status: epublished
|
2010 |
|
Knudsen, Gregers W.
in series: IMM-M.Sc.-2010-87 (ISBN: ) , 2010, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2010 |
|
in series: Advances in Information Security (ISBN: 978-1-4419-7132-6) , pages: 244, 2010, Springer
Type:
Book - Book
Status: published
|
2010 |
|
part of: (ISBN: 978-1-4419-7132-6) , pages: 1-16, 2010, Springer
Type:
Book chapter
Status: published
|
2010 |
Bleikertz, Sören ; Schunter, Matthias ; Probst, Christian W. ; Pendarakis, Dimitrios ; Eriksson, Konrad part of: Proceedings of the 2010 ACM workshop on Cloud computing security workshop (DOI: 10.1145/1866835.1866853) ,
Type:
Full conference paper publ. in proceedings/book
Presented at:
Cloud computing security workshop (CCSW), 2010, Chicago
Status: published
|
2010 |
|
part of: Economics of Information Security and Privacy (DOI: 10.1007/978-1-4419-6967-5) , pages: 279-299, 2010, Springer
Type:
Book chapter
Status: published
|
2010 |
|
Purba, Gagan Deep Singh
in series: IMM-M.Sc.-2009-37 (ISBN: ) , 2009
Type:
Academic dissertation - [Master thesis]
Status: published
|
2009 |
|
Gobe, Giedrius
in series: IMM-M.Sc.-2009-49 (ISBN: ) , 2009
Type:
Academic dissertation - [Master thesis]
Status: published
|
2009 |
|
Raja, Asim
in series: IMM-B.Eng.-2009-30 (ISBN: ) , 2009, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Bachelor of Engineering thesis]
Status: published
|
2009 |
|
Suehiro, Lintalo
in series: IMM-B.Eng.-2009-19 (ISBN: ) , 2009, Danmarks Tekniske Universitet (DTU), Kgs. Lyngby, Danmark
Type:
Academic dissertation - [Bachelor of Engineering thesis]
Status: published
|
2009 |
|
Arora, Saurabh
in series: IMM-M.Sc.-2009-39 (ISBN: ) , 2009, Technical University of Denmark (DTU), Kgs. Lyngby, Denmark
Type:
Academic dissertation - [Master thesis]
Status: published
|
2009 |
|
1
2
Next
|
|