TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "LOEWE"

Ebene hoch
Gruppiere nach: Autor(en) | Datum | Typ des Eintrags | Sprache | Keine Gruppierung
Springe zu: A | B | C | D | E | F | G | H | I | J | K | L | M | N | P | R | S | T | W | Z
Anzahl der Einträge auf dieser Ebene: 105.

A

Arzt, Steven :
Static Data Flow Analysis for Android Applications.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5937]
Technische Universität , Darmstadt
[Dissertation], (2016)

Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira :
Towards Secure Integration of Cryptographic Software.
[Online-Edition: http://2015.splashcon.org/track/onward2015-papers]
In: OOPSLA Onward!, 25.10.2015, Piitsburgh. In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software .
[Konferenz- oder Workshop-Beitrag], (2015)

Arzt, Steven ; Rasthofer, Siegfried ; Hahn, Robert ; Bodden, Eric :
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis.
In: 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 14.06.2015, Portland, USA. Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
[Konferenz- oder Workshop-Beitrag], (2015)

Ali, Karim ; Rapoport, Marianna ; Lhoták, Ondřej ; Dolby, Julian ; Tip, Frank :
Constructing Call Graphs of Scala Programs.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-44202-9_3]
In: Proceedings of the 28th European Conference on Object-Oriented Programming. In: ECOOP '14 .
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Rasthofer, Siegfried ; Fritz, Christian ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; Le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick :
Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps.
In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh.
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Huber, Stephan ; Rasthofer, Siegfried ; Bodden, Eric :
Denial-of-App Attack: Inhibiting the Installation of Android Apps on Stock Phones.
In: 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, Scottsdale. In: Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices .
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Bodden, Eric :
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.
In: ICSE, Hyderabad.
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric :
Instrumenting Android and Java Applications as Easy as abc.
In: Runtime Verification 2013 (RV'13) pp. 364-381.
[Artikel], (2013)

Arzt, Steven ; Bodden, Eric :
Efficiently updating IDE-based data-flow analyses in response to incremental program changes.
[Online-Edition: http://www.bodden.de/pubs/TUD-CS-2013-0253.pdf]

[Report], (2013)

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric :
SuSi: A Tool for the Fully Automated Classification and Categorization of Android Sources and Sinks.
[Online-Edition: http://www.informatik.tu-darmstadt.de/fileadmin/user_upload/...]

[Report], (2013)

Arzt, Steven ; Falzon, Kevin ; Follner, Andreas ; Rasthofer, Siegfried ; Bodden, Eric ; Stolz, Volker :
How useful are existing monitoring languages for securing Android apps?
[Online-Edition: http://www.bodden.de/pubs/aff13howuseful.pdf]
In: 6. Arbeitstagung Programmiersprachen (ATPS 2013). In: GI Lecture Notes in Informatics . Gesellschaft für Informatik
[Konferenz- oder Workshop-Beitrag], (2013)

Arzt, Steven ; Falzon, Kevin ; Follner, Andreas ; Rasthofer, Siegfried ; Bodden, Eric ; Stolz, Volker :
How useful are existing monitoring languages for securing Android apps?
[Online-Edition: http://www.bodden.de/pubs/aff13howuseful.pdf]
In: 6. Arbeitstagung Programmiersprachen (ATPS 2013). In: GI Lecture Notes in Informatics . Gesellschaft für Informatik
[Konferenz- oder Workshop-Beitrag], (2013)

Asokan, N. ; Dmitrienko, Alexandra ; Nagy, Marcin ; Reshetova, Elena ; Sadeghi, Ahmad-Reza ; Schneider, Thomas ; Stelle, Stanislaus :
CrowdShare: Secure Mobile Resource Sharing.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-38980-1_27]
In: LNCS (ISSN 0302-9743) , 7954 .
[Konferenz- oder Workshop-Beitrag], (2013)

Asharov, Gilad ; Lindell, Yehuda ; Schneider, Thomas ; Zohner, Michael :
More Efficient Oblivious Transfer and Extensions for Faster Secure Computation.
[Online-Edition: http://dl.acm.org/citation.cfm?id=2516738]
20th ACM Conference on Computer and Communications Security (CCS'13) ACM
[Konferenz- oder Workshop-Beitrag], (2013)

Ali, Karim ; Lhoták, Ondřej :
Averroes: Whole-Program Analysis without the Whole Program.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-39038-8_16]
In: Proceedings of the 27th European Conference on Object-Oriented Programming. In: ECOOP '13 .
[Konferenz- oder Workshop-Beitrag], (2013)

Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan :
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-33383-5_11]
In: 15th International Conference on Information Security, 19-21 Sep 2012, Passau, Germany. In: Lecture Notes in Computer Science (ISSN 0302-9743) , 7483 .
[Konferenz- oder Workshop-Beitrag], (2012)

Ansaloni, Danilo ; Binder, Walter ; Bockisch, Christoph ; Bodden, Eric ; Hatun, Kardelen ; Marek, Lukas ; Qi, Zhengwei ; Sarimbekov, Aibek ; Sewe, Andreas ; Tuma, Petr ; Zheng, Yudi :
Challenges for Refinement and Composition of Instrumentations (Position Paper).
[Online-Edition: http://www.bodden.de/pubs/abb+12challenges.pdf]
In: International Conference on Software Composition (SC 2012).
[Konferenz- oder Workshop-Beitrag], (2012)

Ali, Karim ; Lhoták, Ondřej :
Application-Only Call Graph Construction.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-31057-7_30]
In: Proceedings of the 26th European Conference on Object-Oriented Programming. In: ECOOP '12 .
[Konferenz- oder Workshop-Beitrag], (2012)

Ahn, T. ; Rainovski, G. ; Pietralla, N. ; Coquard, L. ; Möller, T. ; Costin, A. ; Janssens, R. V. ; Lister, C. ; Carpenter, M. ; Zhu, S. :
Identification of the 2_{1,ms}^{+} mixed-symmetry state in ^{136}Ce.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.86.014303]
In: Physical Review C, 86 (1) ISSN 0556-2813
[Artikel], (2012)

Ali, Karim ; Aib, Issam ; Boutaba, Raouf :
P2P-AIS: A P2P Artificial Immune Systems architecture for detecting DDoS flooding attacks.
In: Global Information Infrastructure Symposium. In: GIIS '09 .
[Konferenz- oder Workshop-Beitrag], (2009)

Ali, Karim ; Boutaba, Raouf :
Applying Kernel Methods to Anomaly-based Intrusion Detection Systems.
In: Global Information Infrastructure Symposium. In: GIIS '09 .
[Konferenz- oder Workshop-Beitrag], (2009)

Aly, Sherif G. ; Nadi, Sarah ; Hamdan, Karim :
A Java-Based Programming Language Support of Location Management in Pervasive Systems.
In: International Journal of Computer Science and Network Security, 8 (6) pp. 329-336.
[Artikel], (2008)

B

Baluda, Mauro :
EvoSE: Evolutionary Symbolic Execution.
[Online-Edition: http://dx.doi.org/10.1145/2804322.2804325]
In: Proceedings for ESEC/FSE 2015 Workshops - 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015)
[Artikel], (2015)

Bodden, Eric ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira :
Reducing human factors in software security architectures.
[Online-Edition: http://www.bodden.de/pubs/blh+13reducing.pdf]
In: Future Security Conference 2013.
[Konferenz- oder Workshop-Beitrag], (2013)

Bodden, Eric ; Mezini, Mira ; Brabrand, Claus ; Tolêdo, Társis ; Ribeiro, Márcio ; Borba, Paulo :
SPLlift - Statically Analyzing Software Product Lines in Minutes Instead of Years.
[Online-Edition: http://www.bodden.de/pubs/bmb+13spllift.pdf]
In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013).
[Konferenz- oder Workshop-Beitrag], (2013)

Bodden, Eric ; Tolêdo, Társis ; Ribeiro, Márcio ; Brabrand, Claus ; Borba, Paulo ; Mezini, Mira :
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines.
[Online-Edition: http://www.bodden.de/pubs/btr+12transparent.pdf]

[Report], (2012)

Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker :
Delta-oriented Monitor Specification.
[Online-Edition: http://www.bodden.de/pubs/bfp+12delta.pdf]
In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012). Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Bodden, Eric ; Follner, Andreas ; Rasthofer, Siegfried :
Challenges in defining a programming language for provably correct dynamic analyses.
In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012). Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Bockisch, Christoph ; Sewe, Andreas ; Yin, Haihan ; Mezini, Mira ; Aksit, Mehmet :
An In-Depth Look at ALIA4J.
[Online-Edition: http://dx.doi.org/10.5381/jot.2012.11.1.a7]
In: The Journal of Object Technology, 11 (1) pp. 1-28. ISSN 1660-1769
[Artikel], (2012)

Bodden, Eric :
Identifying meaningless parameterized linear-temporal-logic formulas.

[Report], (2012)

Bodden, Eric :
On the Expressiveness of Parameterized Finite-state Runtime Monitors.

[Report], (2012)

Bodden, Eric ; Lam, Patrick ; Hendren, Laurie :
Partially evaluating finite-state runtime monitors ahead of time.
In: ACM Transactions on Programming Languages and Systems (TOPLAS)
[Artikel], (2012)

Bockisch, Christoph ; Sewe, Andreas :
The ALIA4J Approach to Efficient Language Implementation.
[Online-Edition: http://dx.doi.org/10.1145/2384716.2384726]
In: Demo at the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, Tucson, AZ, USA. Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity
[Konferenz- oder Workshop-Beitrag], (2012)

Bodden, Eric :
MOPBox: A Library Approach to Runtime Verification.
[Online-Edition: http://www.bodden.de/pubs/bodden11mopbox.pdf]
In: RV ; 2 (San Francisco, CA) : 2011.09.27-30 International Conference on Runtime Verification ; 2 (San Francisco, CA) : 2011.09.27-30. In: Lecture notes in computer science , 7186 . Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Bauer, C. ; Behrens, T. ; Bildstein, V. ; Blazhev, A. ; Bruyneel, B. ; Butterworth, J. ; Clément, E. ; Coquard, L. ; Egido, J. ; Ekström, A. ; Fitzpatrick, C. ; Fransen, C. ; Gernhäuser, R. ; Habs, D. ; Hess, H. ; Leske, J. ; Kröll, T. ; Krücken, R. ; Lutter, R. ; Marley, P. ; Möller, T. ; Otsuka, T. ; Patronis, N. ; Petts, A. ; Pietralla, N. ; Rodríguez, T. ; Shimizu, N. ; Stahl, C. ; Stefanescu, I. ; Stora, T. ; Thirolf, P. ; Voulot, D. ; van de Walle, J. ; Warr, N. ; Wenander, F. ; Wiens, A. :
Prolate shape of ^{140}Ba from a first combined Doppler-shift and Coulomb-excitation measurement at the REX-ISOLDE facility.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.86.034310]
In: Physical Review C, 86 (3) ISSN 0556-2813
[Artikel], (2012)

Bodden, Eric :
Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors.
[Online-Edition: http://www.bodden.de/pubs/bodden11stateful.pdf]
In: ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
[Konferenz- oder Workshop-Beitrag], (2011)

Bodden, Eric :
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
[Online-Edition: http://www.bodden.de/pubs/bodden11continuation.pdf]
In: WODA '11: International Workshop on Dynamic Analysis. ACM
[Konferenz- oder Workshop-Beitrag], (2011)

Bodden, Eric :
Closure Joinpoints: Block joinpoints without surprises.
[Online-Edition: http://www.bodden.de/pubs/bodden11closure.pdf]
In: AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development. ACM
[Konferenz- oder Workshop-Beitrag], (2011)

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Oueslati, Hela ; Mezini, Mira :
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
[Online-Edition: http://doi.acm.org/10.1145/1985793.1985827]
In: International Conference on Software Engineering, 21-28 May 2011, Waikiki, Honolulu, HI, USA. Proceedings of the 33rd International Conference on Software Engineering New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2011)

Bockisch, Christoph ; Sewe, Andreas ; Mezini, Mira ; Akşit, Mehmet
Bishop, Judith ; Vallecillo, Antonio (eds.) :

An Overview of ALIA4J: An Execution Model for Advanced-Dispatching Languages.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-21952-8_11]
In: Objects, Models, Components, Patterns. Lecture Notes in Computer Science, 6705. Springer, Berlin / Heidelberg , pp. 131-146. ISSN 0302-9743
[Buchkapitel], (2011)

Bockisch, Christoph ; Sewe, Andreas ; Zandberg, Martin :
ALIA4J's (just-in-time) compile-time MOP for advanced dispatching.
[Online-Edition: http://doi.acm.org/10.1145/2095050.2095101]
In: 5th workshop on Virtual Machines and Intermediate Languages, 24 Oct 2011, Portland, OR, USA. In: SPLASH '11 Workshops . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2011)

Bruch, Marcel ; Bodden, Eric ; Monperrus, Martin ; Mezini, Mira :
IDE 2.0: Collective Intelligence in Software Development.
[Online-Edition: http://www.bodden.de/pubs/bbmm10ide.pdf]
In: FSE/SDP Workshop on the Future of Software Engineering. ACM
[Konferenz- oder Workshop-Beitrag], (2010)

Bijker, Remko ; Bockisch, Christoph ; Sewe, Andreas :
Optimizing the evaluation of patterns in pointcuts.
[Online-Edition: http://doi.acm.org/10.1145/1941054.1941056]
In: Workshop on Virtual Machines and Intermediate Languages, 17 Oct 2010, Reno, Nevada, USA. Proceedings of the 4th workshop on Virtual Machines and Intermediate Languages ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2010)

C

Cooper, N. ; Reichel, F. ; Werner, V. ; Bettermann, L. ; Alikhani, B. ; Aslanidou, S. ; Bauer, C. ; Coquard, L. ; Fritzsche, M. ; Fritzsche, Y. ; Glorius, J. ; Goddard, P. ; Möller, T. ; Pietralla, N. ; Reese, M. ; Romig, C. ; Savran, D. ; Schnorrenberger, L. ; Siebenhühner, F. ; Simon, V. ; Sonnabend, K. ; Smith, M. ; Walz, C. ; Yates, S. ; Yevetska, O. ; Zweidinger, M. :
Photoresponse of ^{76}Se below 9 MeV.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.86.034313]
In: Physical Review C, 86 (3) ISSN 0556-2813
[Artikel], (2012)

Coquard, L. ; Rainovski, G. ; Pietralla, N. ; Ahn, T. ; Bettermann, L. ; Carpenter, M. ; Janssens, R. ; Leske, J. ; Lister, C. ; Möller, O. ; Möller, T. ; Rother, W. ; Werner, V. ; Zhu, S. :
O(6)-symmetry breaking in the γ-soft nucleus ^{126}Xe and its evolution in the light stable xenon isotopes.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.83.044318]
In: Physical Review C, 83 (4) ISSN 0556-2813
[Artikel], (2011)

D

Deckwerth, Frederik :
Static Verification Techniques for Attributed Graph Transformations.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6150]
Technische Universität , Darmstadt
[Dissertation], (2016)

Danchev, M. ; Rainovski, G. ; Pietralla, N. ; Gargano, A. ; Covello, A. ; Baktash, C. ; Beene, J. ; Bingham, C. ; Galindo-Uribarri, A. ; Gladnishki, K. ; Gross, C. ; Ponomarev, V. ; Radford, D. ; Riedinger, L. ; Scheck, M. ; Stuchbery, A. ; Wambach, J. ; Yu, C.-H. ; Zamfir, N. :
One-phonon isovector 2_{1,MS}^{+} state in the neutron-rich nucleus ^{132}Te.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.84.061306]
In: Physical Review C, 84 (6) ISSN 0556-2813
[Artikel], (2011)

E

Engel, Andreas :
A Heterogeneous System Architecture for Low-Power Wireless Sensor Nodes in Compute-Intensive Distributed Applications.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5778]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2015)

Enders, J
Oberstedt, S (ed.) :

Reactions induced by real photons for nuclear structure and nuclear astrophysics.
In: Physics Procedia 31 Proc. Int. Workshop GAMMA-1 Emission of Prompt Gamma-Rays in Fission and Related Topics, Novi Sad, Serbia (2011). In: Physics Procedia , 31 Elsevier Science BV , Amsterdam
[Konferenz- oder Workshop-Beitrag], (2012)

Eckardt, C. ; Enders, J. ; Freudenberger, M. ; Göök, A. ; von Neumann-Cosel, P. ; Oberstedt, A. ; Oberstedt, S.
Oberstedt, S (ed.) :

Development of an active ²³⁸UF₆ gas target.
In: Physics Procedia 31 Proc. Int. Workshop GAMMA-1 Emission of Prompt Gamma-Rays in Fission and Related Topics, Novi Sad, Serbia (2011). In: Physics Procedia , 31 Elsevier Science BV , Amsterdam
[Konferenz- oder Workshop-Beitrag], (2012)

Endres, J. ; Savran, D. ; Butler, P. ; Harakeh, M. ; Harissopulos, S. ; Herzberg, R.- D. ; Krücken, R. ; Lagoyannis, A. ; Litvinova, E. ; Pietralla, N. ; Ponomarev, V. Yu. ; Popescu, L. ; Ring, P. ; Scheck, M. ; Schlüter, F. ; Sonnabend, K. ; Stoica, V. ; Wörtche, H. ; Zilges, A. :
Structure of the pygmy dipole resonance in ^{124}Sn.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.85.064331]
In: Physical Review C, 85 (6) ISSN 0556-2813
[Artikel], (2012)

Eichberg, Michael ; Sewe, Andreas :
Encoding the Java Virtual Machine's Instruction Set.
[Online-Edition: http://dx.doi.org/10.1016/j.entcs.2011.02.004]
In: Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2010), 27 Mar 2010, Paphos, Cyprus. In: Electronic Notes in Theoretical Computer Science , 264 (4)
[Konferenz- oder Workshop-Beitrag], (2011)

Enders, J. ; Litvinova, E. ; Savran, D. ; Butler, P. A. ; Harakeh, M. N. ; Harissopulos, S. ; Herzberg, R.-D. ; Krücken, R. ; Lagoyannis, A. ; Pietralla, N. ; Ponomarev, V. Yu. ; Popescu, L. ; Ring, P. ; Scheck, M. ; Sonnabend, K. ; Stoica, V. I. ; Wörtche, H. J. ; Zilges, A. :
Isospin Character of the Pygmy Dipole Resonance in 124Sn.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevLett.105.212503]
In: Physical Review Letters, 105 (21) p. 212503. ISSN 0031-9007
[Artikel], (2010)

F

Falzon, Kevin ; Bodden, Eric
Lopez, Javier ; Mitchell, Chris J. (eds.) :

Dynamically Provisioning Isolation in Hierarchical Architectures.
In: Information Security Conference, Trondheim. In: Lecture Notes in Computer Science , 9290 .
[Konferenz- oder Workshop-Beitrag], (2015)

Falzon, Kevin ; Bodden, Eric ; Purandare, Rahul :
Distributed Finite-State Runtime Monitoring with Aggregated Events.
In: Runtime Verification 2013 (RV'13), LNCS
[Artikel], (2013)

Fritz, Christian ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick :
Highly Precise Taint Analysis for Android Applications.
[Online-Edition: http://www.informatik.tu-darmstadt.de/fileadmin/user_upload/...]

[Report], (2013)

Falzon, Kevin ; Pace, Gordon J.
Machado, Ricardo J. ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz (eds.) :

Combining Testing and Runtime Verification.
[Online-Edition: http://www.di.uminho.pt/mompes]
In: 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, September 04, 2012, Essen, Germany.
[Konferenz- oder Workshop-Beitrag], (2012)

G

Göök, A. ; Eckardt, C. ; Enders, J. ; Freudenberger, M. ; von Neumann-Cosel, P. ; Oberstedt, A. ; Oberstedt, S. ; Richter, A.
Oberstedt, S (ed.) :

Fragment properties from fission of actinide nuclei induced by 6-10 MeV bremsstrahlung.
In: Physics Procedia 31 Proc. Int. Workshop GAMMA-1 Emission of Prompt Gamma-Rays in Fission and Related Topics, Novi Sad, Serbia (2011). In: Physics Procedia , 31 Elsevier Science BV , Amsterdam
[Konferenz- oder Workshop-Beitrag], (2012)

Grieser, M. ; Litvinov, Yu. A. ; Raabe, R. ; Blaum, K. ; Blumenfeld, Y. ; Butler, P. A. ; Wenander, F. ; Woods, P. J. ; Aliotta, M. ; Andreyev, A. ; Artemyev, A. ; Atanasov, D. ; Aumann, T. ; Balabanski, D. ; Barzakh, A. ; Batist, L. ; Bernardes, A. -P. ; Bernhardt, D. ; Billowes, J. ; Bishop, S. ; Borge, M. ; Borzov, I. ; Bosch, F. ; Boston, A. J. ; Brandau, C. ; Catford, W. ; Catherall, R. ; Cederkäll, J. ; Cullen, D. ; Davinson, T. ; Dillmann, I. ; Dimopoulou, C. ; Dracoulis, G. ; Düllmann, Ch. E. ; Egelhof, P. ; Estrade, A. ; Fischer, D. ; Flanagan, K. ; Fraile, L. ; Fraser, M. A. ; Freeman, S. J. ; Geissel, H. ; Gerl, J. ; Greenlees, P. ; Grisenti, R. E. ; Habs, D. ; Hahn, R. ; Hagmann, S. ; Hausmann, M. ; He, J. J. ; Heil, M. ; Huyse, M. ; Jenkins, D. ; Jokinen, A. ; Jonson, B. ; Joss, D. T. ; Kadi, Y. ; Kalantar-Nayestanaki, N. ; Kay, B. P. ; Kiselev, O. ; Kluge, H. -J. ; Kowalska, M. ; Kozhuharov, C. ; Kreim, S. ; Kröll, T. ; Kurcewicz, J. ; Labiche, M. ; Lemmon, R. C. ; Lestinsky, M. ; Lotay, G. ; Ma, X. W. ; Marta, M. ; Meng, J. ; Mücher, D. ; Mukha, I. ; Müller, A. ; Murphy, A. St J. ; Neyens, G. ; Nilsson, T. ; Nociforo, C. ; Nörtershäuser, W. ; Page, R. D. ; Pasini, M. ; Petridis, N. ; Pietralla, N. ; Pfützner, M. ; Podolyák, Z. ; Regan, P. ; Reed, M. W. ; Reifarth, R. ; Reiter, P. ; Repnow, R. ; Riisager, K. ; Rubio, B. ; Sanjari, M. S. ; Savin, D. W. ; Scheidenberger, C. ; Schippers, S. ; Schneider, D. ; Schuch, R. ; Schwalm, D. ; Schweikhard, L. ; Shubina, D. ; Siesling, E. ; Simon, H. ; Simpson, J. ; Smith, J. ; Sonnabend, K. ; Steck, M. ; Stora, T. ; Stöhlker, T. ; Sun, B. ; Surzhykov, A. ; Suzaki, F. ; Tarasov, O. ; Trotsenko, S. ; Tu, X. L. ; Duppen, P. ; Volpe, C. ; Voulot, D. ; Walker, P. M. ; Wildner, E. ; Winckler, N. ; Winters, D. F. A. ; Wolf, A. ; Xu, H. S. ; Yakushev, A. ; Yamaguchi, T. ; Yuan, Y. J. ; Zhang, Y. H. ; Zuber, K. :
Storage ring at HIE-ISOLDE.
[Online-Edition: http://dx.doi.org/10.1140/epjst/e2012-01599-9]
In: The European Physical Journal Special Topics, 207 (1) p. 1. ISSN 1951-6355
[Artikel], (2012)

Glorius, J. ; Knörzer, M. ; Müller, S. ; Pietralla, N. ; Sauerwein, A. ; Sonnabend, K. ; Wälzlein, C. ; Wiescher, M. :
p-process nucleosynthesis: Activation experiments.
[Online-Edition: http://dx.doi.org/10.1016/j.ppnp.2011.01.038]
In: Progress in Particle and Nuclear Physics, 66 (2) p. 379. ISSN 01466410
[Artikel], (2011)

Gladnishki, K. A. ; Rainovski, G. ; Petkov, P. ; Jolie, J. ; Pietralla, N. ; Blazhev, A. ; Damyanova, A. ; Danchev, M. ; Dewald, A. ; Fransen, C. ; Hackstein, M. ; Karagyozov, D. ; Möller, O. ; Pissulla, T. ; Reese, M. ; Rother, W. ; Topchiyska, R. :
Search for one-phonon mixed-symmetry states in the radioactive nucleus 140Nd.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.82.037302]
In: Physical Review C, 82 (3) 037302. ISSN 0556-2813
[Artikel], (2010)

H

Heuser, Stephan :
Towards Modular and Flexible Access Control on Smart Mobile Devices.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5663]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2016)

Henecka, Wilko ; Schneider, Thomas :
Faster secure two-party computation with less memory.
[Online-Edition: http://dx.doi.org/10.1145/2484313.2484369]
8th ACM SIGSAC Symposium on Information, Computer and Communications Security (ASIA CCS '13)
[Konferenz- oder Workshop-Beitrag], (2013)

I

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric :
Modular Reasoning with Join Point Interfaces.

[Report], (2011)

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric :
Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs.
[Online-Edition: http://www.bodden.de/pubs/itb11jpi.pdf]
In: ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
[Konferenz- oder Workshop-Beitrag], (2011)

Isaak, J. ; Savran, D. ; Fritzsche, M. ; Galaviz, D. ; Hartmann, T. ; Kamerdzhiev, S. ; Kelley, J. ; Kwan, E. ; Pietralla, N. ; Romig, C. ; Rusev, G. ; Sonnabend, K. ; Tonchev, A. ; Tornow, W. ; Zilges, A. :
Investigation of low-lying electric dipole strength in the semimagic nucleus ^{44}Ca.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.83.034304]
In: Physical Review C, 83 (3) ISSN 0556-2813
[Artikel], (2011)

J

Jolos, R. ; Pietralla, N. ; Shirikova, N. ; Voronov, V. :
Schematic microscopic approach to the description of M1 transitions between mixed-symmetry and fully symmetric collective states in γ-soft nuclei based on RPA-IBM boson mapping.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.84.014315]
In: Physical Review C, 84 (1) ISSN 0556-2813
[Artikel], (2011)

Jungclaus, A. ; Walker, J. ; Leske, J. ; Speidel, K.-H. ; Stuchbery, A. E. ; East, M. ; Boutachkov, P. ; Cederkäll, J. ; Doornenbal, P. ; Egido, J. L. ; Ekström, A. ; Gerl, J. ; Gernhäuser, R. ; Goel, N. ; Górska, M. ; Kojouharov, I. ; Maier-Komor, P. ; Modamio, V. ; Naqvi, F. ; Pietralla, N. ; Pietri, S. ; Prokopowicz, W. ; Schaffner, H. ; Schwengner, R. ; Wollersheim, H.-J. :
Evidence for reduced collectivity around the neutron mid-shell in the stable even-mass Sn isotopes from new lifetime measurements.
[Online-Edition: http://dx.doi.org/10.1016/j.physletb.2010.11.012]
In: Physics Letters B, 695 (1-4) p. 110. ISSN 03702693
[Artikel], (2011)

K

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Rensink, Arend ; Zambon, Eduardo (eds.) :

Improved Conflict Detection for Graph Transformation with Attributes.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.181.7]
In: Graphs as Models, GaM 2015. In: Electronic Proceedings in Theoretical Computer Science , 181 .
[Konferenz- oder Workshop-Beitrag], (2015)

Kerschbaum, Florian ; Schneider, Thomas ; Schröpfer, Axel :
Automatic Protocol Selection in Secure Two-Party Computations.
[Online-Edition: http://www.internetsociety.org/sites/default/files/automatic...]
In: 20th Network & Distributed System Security Symposium (NDSS'13).
[Konferenz- oder Workshop-Beitrag], (2013)

Kolesnikov, Vladimir ; Sadeghi, Ahmad-Reza ; Schneider, Thomas :
A systematic approach to practically efficient general two-party secure function evaluation protocols and their modular design.
[Online-Edition: http://dx.doi.org/10.3233/JCS-130464]
In: Journal of Computer Security (JCS), 21 (2) pp. 283-315.
[Artikel], (2013)

Kononenko, Kirill :
A Unified Approach to Identifying and Healing Vulnerabilities in x86 Machine Code.
International Conference on Mobile Computing and Networking
[Konferenz- oder Workshop-Beitrag], (2012)

Kim, Chang Hwan Peter ; Bodden, Eric ; Batory, Don ; Khurshid, Sarfraz :
Reducing Configurations to Monitor in a Software Product Line.
[Online-Edition: http://www.bodden.de/pubs/kbbk10reducing.pdf]
In: 1st International Conference on Runtime Verification (RV). In: LNCS , 6418 . Springer
[Konferenz- oder Workshop-Beitrag], (2010)

L

Li, Li ; Bartel, Alexandre ; Klein, Jacques ; Traon, Yves Le ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Octeau, Damien ; McDaniel, Patrick :
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis.
[Online-Edition: http://www.abartel.net/static/p/tr-iccta.pdf]
In: arXiv preprint arXiv:1404.7431
[Report], (2014)

Lam, Patrick ; Bodden, Eric ; Lhotak, Ondrej ; Hendren, Laurie :
The Soot framework for Java program analysis: a retrospective.
[Online-Edition: http://www.bodden.de/pubs/lblh11soot.pdf]
In: Cetus Users and Compiler Infastructure Workshop (CETUS 2011).
[Konferenz- oder Workshop-Beitrag], (2011)

M

Moschner, K. ; Blazhev, A. ; Jolie, J. ; Warr, N. ; Boutachkov, P. ; Bednarczyk, P. ; Sieja, K. ; Algora, A. ; Ameil, F. ; Bentley, M. A. ; Brambilla, S. ; Braun, N. ; Camera, F. ; Cederkaell, J. ; Corsi, A. ; Danchev, M. ; DiJulio, D. ; Fahlander, C. ; Gerl, J. ; Giaz, A. ; Golubev, P. ; Gorska, M. ; Grebosz, J. ; Habermann, T. ; Hackstein, M. ; Hoischen, R. ; Kojouharov, I. ; Kurz, N. ; Margincan, N. ; Merchan, E. ; Moeller, T. ; Naqvi, F. ; Singh, B. S. Nara ; Nociforo, C. ; Pietralla, N. ; Pietri, S. ; Podolyak, Zs. ; Prochazka, A. ; Reese, M. ; Reiter, P. ; Rudigier, M. ; Rudolph, D. ; Sava, T. ; Schaffner, H. ; Scruton, L. ; Taprogge, J. ; Thomas, T. ; Weick, H. ; Wendt, A. ; Wieland, O. ; Wollersheim, H. -J. :
Relativistic Coulomb excitation of Kr-88.
In: PHYSICAL REVIEW C, 94 (5) ISSN 2469-9985
[Artikel], (2016)

Möller, T. ; Pietralla, N. ; Rainovski, G. ; Ahn, T. ; Bauer, C. ; Carpenter, M. ; Coquard, L. ; Janssens, R. ; Leske, J. ; Lister, C. ; McCutchan, E. ; Möller, O. ; Seweryniak, D. ; Zhu, S. :
Absolute β-to-ground band transition strengths in ^{154}Sm.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.86.031305]
In: Physical Review C, 86 (3) ISSN 0556-2813
[Artikel], (2012)

Mitschke, Ralf ; Sewe, Andreas ; Mezini, Mira :
Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses.
[Online-Edition: http://dx.doi.org/10.1145/1960518.1960522]
In: First workshop on Modularity in Systems Software, 22 Mar 2011, Porto de Galinhas, Brazil. In: ACM Digital Library .
[Konferenz- oder Workshop-Beitrag], (2011)

N

Nadi, Sarah ; Krüger, Stefan :
Variability Modeling of Cryptographic Components (Clafer Experience Report).
In: Tenth International Workshop on Variability Modelling of Software-intensive Systems, 27. - 29.1.2016, Salvador, Brazil. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems .
[Konferenz- oder Workshop-Beitrag], (2016)

P

Patzina, Sven :
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4132]
TU Darmstadt , Darmstadt
[Dissertation], (2014)

Patzina, Lars :
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4133]
TU Darmstadt , Darmstadt
[Dissertation], (2014)

Popovici, C. ; Fischer, C. S. ; von Smekal, L. :
Fermi velocity renormalization and dynamical gap generation in graphene.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevB.88.205429]
In: Physical Review B, 88 (20) ISSN 1098-0121
[Artikel], (2013)

Pullonen, Pille ; Bogdanov, Dan ; Schneider, Thomas :
The design and implementation of a two-party protocol suite for SHAREMIND 3.
[Online-Edition: http://research.cyber.ee/reports/T-4-17-The-design-and-imple...]

[Report], (2012)

R

Rasthofer, Siegfried ; Arzt, Steven ; Bodden, Eric :
A machine-learning approach for classifying and categorizing android sources and sinks.
In: 2014 Network and Distributed System Security Symposium (NDSS)
[Artikel], (2014)

Rasthofer, Siegfried ; Arzt, Steven ; Lovat, Enrico ; Bodden, Eric :
DROIDFORCE: Enforcing Complex, Data-Centric, System-Wide Policies in Android.
In: Proceedings of the International Conference on Availability, Reliability and Security (ARES)
[Artikel], (2014)

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan :
Automated API Property Inference Techniques.
[Online-Edition: http://www.bodden.de/pubs/rbk+12automated.pdf]
In: IEEE Transactions on Software Engineering (TSE)
[Artikel], (2012)

S

Schneider, Christopher :
Design, implementation and characterization of synthetic riboswitches in Saccharomyces cerevisiae.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6133]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2017)

Sascha, Hauke :
On the Statistics of Trustworthiness Prediction.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4991]
Technische Universität , Darmstadt
[Dissertation], (2015)

Schneider, Thomas ; Zohner, Michael :
GMW vs. Yao? Efficient Secure Two-Party Computation with Low Depth Circuits.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-39884-1_23]
In: 17th International Conference on Financial Cryptography and Data Security (FC'13). In: LNCS , 7859 .
[Konferenz- oder Workshop-Beitrag], (2013)

Smith, Dominik ; von Smekal, Lorenz :
Hybrid Monte-Carlo simulation of interacting tight-binding model of graphene.
In: PoS, (LATTICE 2013) 048.
[Artikel], (2013)

Smith, Dominik ; Dumitru, Adrian ; Pisarski, Robert ; von Smekal, Lorenz :
Effective potential for SU(2) Polyakov loops and Wilson loop eigenvalues.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevD.88.054020]
In: Physical Review D, 88 (5) ISSN 1550-7998
[Artikel], (2013)

Schneider, Thomas ; Zohner, Michael :
Efficient secure two-party computation.
In: 17. Workshop der Fachgruppe Kryptographie in der Gesellschaft für Informatik (Kryptotag), Mannheim.
[Konferenz- oder Workshop-Beitrag], (2012)

Sewe, Andreas ; Mezini, Mira ; Sarimbekov, Aibek ; Ansaloni, Danilo ; Binder, Walter ; Ricci, Nathan ; Guyer, Samuel Z. :
new Scala() instance of Java: a Comparison of the Memory Behaviour of Java and Scala Programs.
In: International Symposium on Memory Management, 15-16 Jun 2012, Beijing, China. In: ISMM '12 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2012)

Sarimbekov, Aibek ; Sewe, Andreas ; Binder, Walter ; Moret, Philippe ; Mezini, Mira :
JP2: Call-site aware calling context profiling for the Java Virtual Machine.
[Online-Edition: http://dx.doi.org/10.1016/j.scico.2011.11.003]
In: Science of Computer Programming ISSN 0167-6423
[Artikel], (2012)

Sarimbekov, Aibek ; Moret, Philippe ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira :
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.
[Online-Edition: http://dx.doi.org/10.1016/j.entcs.2011.11.006]
In: Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2011), 27 Mar 2011, Saarbrücken, Germany. In: Electronic Notes in Theoretical Computer Science , 279 (1)
[Konferenz- oder Workshop-Beitrag], (2011)

Sewe, Andreas ; Mezini, Mira ; Sarimbekov, Aibek ; Binder, Walter :
Da Capo con Scala: Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
[Online-Edition: http://doi.acm.org/10.1145/2048066.2048118]
In: ACM international conference on Object-Oriented Programming, Systems, Languages and Applications, 25-27 Oct 2011, Portland, OR, USA. In: OOPSLA '11 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2011)

Sarimbekov, Aibek ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira ; Villazón, Alex :
JP2: Collecting Dynamic Bytecode Metrics in JVMs.
[Online-Edition: http://doi.acm.org/10.1145/2048147.2048165]
In: ACM international conference on Object-Oriented Programming, Systems, Languages and Applications, 25-27 Oct 2011, Portland, OR, USA. In: SPLASH '11 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2011)

Sewe, Andreas :
Scala = Java (mod JVM): On the Performance Characteristics of Scala Programs on the Java Virtual Machine.
[Online-Edition: http://ceur-ws.org/Vol-692/paper7.pdf]
In: Work-in-Progress Session at PPPJ 2010, 16 Sep 2010., Vienna, Austria. In: CEUR Workshop Proceedings , 692 .
[Konferenz- oder Workshop-Beitrag], (2011)

Sarimbekov, Aibek ; Sewe, Andreas ; Binder, Walter ; Moret, Philippe ; Schoeberl, Martin ; Mezini, Mira :
Portable and Accurate Collection of Calling-Context-Sensitive Bytecode Metrics for the Java Virtual Machine.
[Online-Edition: http://dx.doi.org/10.1145/2093157.2093160]
In: International Conference on Principles and Practice of Programming in Java, 24-26 August 2011, Kongens Lyngby, Denmark. In: PPPJ '11 . New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2011)

Sewe, Andreas ; Jochem, Jannik ; Mezini, Mira :
Next in line, Please!: Exploiting the Indirect Benefits of Inlining by Accurately Predicting Further Inlining.
[Online-Edition: http://doi.acm.org/10.1145/2095050.2095102]
In: 5th workshop on Virtual Machines and Intermediate Languages, 24 Oct 2011, Portland, OR, USA. In: SPLASH '11 Workshops . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2011)

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira :
Headroom-based pretenuring: dynamically pretenuring objects that live “long enough”.
[Online-Edition: http://dx.doi.org/10.1145/1852761.1852767]
In: 8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10, 15-17 Sep 2010, Vienna, Austria. Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10
[Konferenz- oder Workshop-Beitrag], (2010)

T

Thies, Andreas ; Bodden, Eric :
RefaFlex: Safer Refactorings for Reflective Java Programs [forthcoming].
[Online-Edition: http://www.bodden.de/pubs/tb12refaflex.pdf]
In: International Symposium on Software Testing and Analysis (ISSTA 2012).
[Konferenz- oder Workshop-Beitrag], (2012)

W

Weickhmann, Christian :
Liquid Crystals Towards Terahertz: Characterisation and Tunable Waveguide Phase Shifters for Millimetre-Wave and Terahertz Beamsteering Antennas.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6216]
Technische Universität , Darmstadt
[Dissertation], (2017)

Walker, J. ; Jungclaus, A. ; Leske, J. ; Speidel, K.-H. ; Ekström, A. ; Boutachkov, P. ; Cederkäll, J. ; Doornenbal, P. ; Gerl, J. ; Gernhäuser, R. ; Goel, N. ; Górska, M. ; Kojouharov, I. ; Maier-Komor, P. ; Modamio, V. ; Naqvi, F. ; Pietralla, N. ; Pietri, S. ; Prokopowicz, W. ; Schaffner, H. ; Schwengner, R. ; Wollersheim, H.-J. :
Magnetic moments of the first excited 2^{+} states in the semi-magic ^{112,114,116,122,124}Sn isotopes.
[Online-Edition: http://dx.doi.org/10.1103/PhysRevC.84.014319]
In: Physical Review C, 84 (1) ISSN 0556-2813
[Artikel], (2011)

Z

Zheng, Yudi ; Ansaloni, Danilo ; Marek, Lukas ; Sewe, Andreas ; Binder, Walter ; Villazón, Alex ; Tuma, Petr ; Qi, Zhengwei ; Mezini, Mira :
Turbo DiSL: Partial Evaluation for High-level Bytecode Instrumentation.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-30561-0_24]
In: Objects, Models, Components, Patterns. Lecture Notes in Computer Science, 7304. Springer, Berlin / Heidelberg , pp. 353-368. ISBN 9783642305603
[Buchkapitel], (2012)

Diese Liste wurde am Thu May 25 06:32:35 2017 CEST generiert.