WorldCat Identities

Bodden, Eric

Overview
Works: 43 works in 118 publications in 2 languages and 2,541 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, dgs, Author, Other, htt, Contributor
Publication Timeline
.
Most widely held works by Eric Bodden
Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013: Proceedings by Walter Binder( )

10 editions published in 2013 in English and held by 446 WorldCat member libraries worldwide

The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for inclusion in the book. The papers reflect all current research in software composition, including but not limited to component-based software engineering; composition and adaption techniques; composition algebras, calculi, and type systems; feature-oriented software development; verification, validation, and testing; dynamic composition and reconfiguration
Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, proceedings by ESSoS (Symposium)( )

14 editions published in 2017 in English and German and held by 358 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering
Engineering secure software and systems 8th international symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings by ESSoS( )

12 editions published in 2016 in English and held by 352 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016. The 13 full papers presented together with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 submissions. The goal of this symposium, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. The presentations and associated publications at ESSoS 2016 contribute to this goal in several directions: First, by improving methodologies for secure software engineering (such as flow analysis and policy compliance). Second, with results for the detection and analysis of software vulnerabilities and the attacks they enable. Finally, for securing software for specific application domains (such as mobile devices and access control)
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis (SOAP 2012) : Beijing, China, June 14, 2012 by Eric Bodden( )

4 editions published in 2012 in English and Undetermined and held by 261 WorldCat member libraries worldwide

10th International Workshop on Dynamic Analysis (WODA) : proceedings : July 15, 2012, Minneapolis, MN, USA by International Workshop on Dynamic Analysis( )

1 edition published in 2012 in English and held by 237 WorldCat member libraries worldwide

ESEC/FSE'17 : proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering : September 4-8, 2017, Paderborn, Germany by ACM SIGSOFT Symposium on Foundations of Software Engineering( )

2 editions published in 2017 in English and held by 236 WorldCat member libraries worldwide

ISSTA'18 : proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis : July 16-21, 2018, Amsterdam, Netherlands by International Symposium on Software Testing and Analysis( )

1 edition published in 2018 in English and held by 230 WorldCat member libraries worldwide

Transactions on aspect-oriented software development XI by Shigeru Chiba( )

13 editions published in 2014 in English and Undetermined and held by 98 WorldCat member libraries worldwide

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 11th in the Transactions on Aspect-Oriented Software Development series, consists of two parts. The first part focuses on runtime verification and analysis, highlighting runtime verification as a "killer" application of aspect-orientation. The second part contains revised and extended versions of the five best papers submitted to Modularity:aosd 2013, presenting current research related to modularity and covering topics such as formal methods and type systems, static analysis approaches for software architectures, model-driven engineering and model composition, aspect-oriented programming, event-driven programming and reactive programming
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering by Eric Bodden( )

3 editions published in 2017 in English and Undetermined and held by 32 WorldCat member libraries worldwide

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis by Eric Bodden( )

2 editions published in 2012 in English and held by 31 WorldCat member libraries worldwide

Proceedings of the 2012 Workshop on Dynamic Analysis by Eric Bodden( )

2 editions published in 2012 in English and held by 28 WorldCat member libraries worldwide

Behavior Compliance Control for More Trustworthy Computation Outsourcing by Sami Alsouri( )

1 edition published in 2013 in English and held by 26 WorldCat member libraries worldwide

Proceedings of the 10th International Workshop on Dynamic Analysis (WODA) : July 15, 2012 Minneapolis, MN, USA by Eric Bodden( )

2 editions published in 2012 in English and held by 20 WorldCat member libraries worldwide

Software Engineering und Software Management 2018 Tagung vom 5.-9. März 2018 in Ulm by Software Engineering und Software Management( )

4 editions published in 2018 in English and German and held by 19 WorldCat member libraries worldwide

Improving Mobile-Malware Investigations with Static and Dynamic Code Analysis Techniques by Siegfried Rasthofer( )

1 edition published in 2017 in English and held by 17 WorldCat member libraries worldwide

Static Data Flow Analysis for Android Applications by Steven Arzt( )

1 edition published in 2017 in English and held by 17 WorldCat member libraries worldwide

On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform by Johannes Lerch( )

1 edition published in 2016 in English and held by 17 WorldCat member libraries worldwide

On Generating Gadget Chains for Return-Oriented Programming by Andreas Follner( )

1 edition published in 2017 in English and held by 17 WorldCat member libraries worldwide

On the Use of Migration to Stop Illicit Channels by Kevin Falzon( )

1 edition published in 2017 in English and held by 17 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.50 (from 0.33 for ISSTA'18 : ... to 0.93 for Engineerin ...)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013: Proceedings
Covers
Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, proceedingsEngineering secure software and systems 8th international symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedingsTransactions on aspect-oriented software development XI
Alternative Names
Eric Bodden Duits hoogleraar

Eric Bodden German university teacher

Eric Bodden Germany karimba ŋun nyɛ doo

Eric Bodden Informatiker und Hochschullehrer

Eric Bodden profesor universitar gjerman

Eric Bodden profesor universitario alemán

Eric Bodden professeur d'université allemand

Eric Bodden professor académico alemão

Eric Bodden professor d'universitat alemany

Eric Bodden tysk professor

اريك بودن باحث من المانيا

Languages
English (71)

German (3)