skip to content

Steffen, Bernhard

Overview
Works: 480 works in 1,464 publications in 2 languages and 25,826 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Editor, Author, Other
Classifications: QA76.9.S88, 004
Publication Timeline
Key
Publications about Bernhard Steffen
Publications by Bernhard Steffen
Most widely held works by Bernhard Steffen
Correct system design : recent insights and advances by E.-R Olderog( Book )
17 editions published in 1999 in English and held by 261 libraries worldwide
Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. On the occasion of Hans Langmaack's retirement from his professorship and in order to honor his fundamental contributions to the field, the volume editors invited 17 internationally well known researchers to evaluate the state of the art in the area of correct system design. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application. It is a unique outline of what has been achieved in the area which dates back to a pioneering paper by Alan Turing in 1949
Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings by Tiziana Margaria-Steffen( Book )
21 editions published between 1996 and 2009 in 3 languages and held by 221 libraries worldwide
"This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996. The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs."--PUBLISHER'S WEBSITE
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings by Bernhard Steffen( Book )
25 editions published between 2002 and 2005 in English and German and held by 220 libraries worldwide
This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004. The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 ; proceedings, part I by Tiziana Margaria-Steffen( Book )
90 editions published between 2008 and 2016 in English and Undetermined and held by 143 libraries worldwide
This volume contains the conference proceedings of the 4th International S- posium on Leveraging Applications of Formal Methods, Veri?cation and Vali- tion, ISoLA 2010, which was held in Greece (Heraklion, Crete) October 18-21, 2010, and sponsored by EASST. Following the tradition of its forerunners in 2004, 2006, and 2008 in Cyprus and Chalchidiki, and the ISoLA Workshops in Greenbelt (USA) in 2005, in Poitiers (France) in 2007, and in Potsdam (Germany) in 2009, ISoLA 2010 p- vided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the speci?cation, ana- sis, veri?cation, certi?cation, construction, testing, and maintenance of systems from the point of view of their di?erent application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In particular, by providing a venue for the discussion of c- mon problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, ?exibility, and e?ciency of tools for building systems, and users in their search for adequate solutions to their problems
Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers by Tiziana Margaria-Steffen( Book )
14 editions published in 2006 in English and held by 138 libraries worldwide
Detection of Intrusions and Malware, and Vulnerability Assessment 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings by David Hutchison( file )
8 editions published between 2008 and 2009 in English and Undetermined and held by 56 libraries worldwide
This book constitutes the refereed proceedings of the 6th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2009, held in Milan, Italy, in July 2009. The 10 revised full papers presented together with three extended abstracts were carefully selected from 44 initial submissions. The papers are organized in topical sections on malware and SPAM, emulation-based detection, software diversity, harnessing context, and anomaly detection
Quality of software architectures : models and architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings by Steffen Becker( Computer File )
5 editions published in 2008 in English and held by 6 libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the Fourth International Conference on the Quality of Software Architectures, QoSA 2008, held in Medford, MA, USA, in July 2007, in conjunction with the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, and the ROSATEA 2007 event, investigating the Role of Software Architecture for Testing and Analysis, forming the federated events on Component-Based Software Engineering and Software Architecture, CompArch 2007. The 13 revised full papers presented together with 1 keynote lecture were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, architecture evaluation, architecture evolution, architecting process and architectural knowledge
Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings by John L Pfaltz( Book )
4 editions published in 2008 in English and Undetermined and held by 2 libraries worldwide
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports, and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations
Transactions on Foundations for Mastering Change I ( Book )
3 editions published in 2016 in English and held by 1 library worldwide
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. Submissions are evaluated according to these goals. This book, the first volume in the series, contains contributions by the members of the editorial board. These contributions indicate the envisioned style and range of papers of topics covered by the transactions series. They cross-cut various traditional research directions and are characterized by a clear focus on change
Cognitive vision : 4th international workshop, ICVW 2008, Santorini, Greece, May 12, 2008 : revised selected papers by David Hutchison( Book )
3 editions published in 2008 in English and Undetermined and held by 1 library worldwide
This volume constitutes the post-conference proceedings of the 4th International Cognitive Vision Workshop, ICVW 2008, held in Santorini, Greece, on May 12, 2008. The 11 papers presented were carefully reviewed and selected from 17 submissions. They cover important aspects of cognitive vision like face recognition, activity interpretation, attention, memory maps and scene interpretation
Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers by David Hutchison( Book )
3 editions published in 2008 in English and held by 1 library worldwide
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Implementation and Application of Automata, CIAA 2001, held in Pretoria, South Africa in July 2001. The 23 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and revision. The topics addressed from theoretical as well as application-oriented viewpoints range from foundational and methodological issues to novel applications in object-oriented modeling, finite transducers in natural language processing, and non-deterministic finite-state models in communication protocols
Intelligent data engineering and automated learning : IDEAL 2008 : 9th international conference, Daejeon, South Korea, November 2-5, 2008 : proceedings by IDEAL 2008( Book )
2 editions published in 2008 in English and held by 1 library worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2008, held in Daejeon, Korea, in November 2008. The 56 revised full papers presented together with 10 invited papers were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on learning and information processing, data mining and information management, bioinformatics and neuroinformatics, agents and distributed systems, as well as financial engineering and modeling
Advances in software engineering by Egon Börger( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. The courses dealt with domain and requirements engineering, high-level modelling, software product line techniques, evolvable software, the evolution of service-oriented software architectures, Web services, and security in such evolving distributed systems. The nine revised full papers presented were carefully reviewed and selected by 21 reviewers. The papers are organized in topical sections on foundations and methodology, service oriented architecture and web services, software technology, and security. This book is written with the intent to produce a state-of-the-art compendium of recent advances in software engineering
Advances in visual computing : first international symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005 : proceedings by George Bebis( file )
4 editions published in 2008 in English and held by 0 libraries worldwide
It is with great pleasure that we present the proceedings of the 6th Inter- tional, Symposium on Visual Computing (ISVC 2010), which was held in Las Vegas, Nevada. ISVC provides a common umbrella for the four main areas of visual computing including vision, graphics, visualization, and virtual reality. The goal is to provide a forum for researchers, scientists, engineers, and pr- titioners throughout the world to present their latest research ?ndings, ideas, developments, and applications in the broader area of visual computing. This year, the program consisted of 14 oral sessions, one poster session, 7 special tracks, and 6 keynote presentations. The response to the call for papers was very good; we received over 300 submissions for the main symposium from which we accepted 93 papers for oral presentation and 73 papers for poster p- sentation. Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 44 papers were accepted for oral presentation and 6 papers for poster presentation in the special tracks
Object-oriented technology : ECOOP 2008 workshop reader ; ECOOP 2008 workshops, Paphos, Cyprus, July 7-11, 2008 : final reports by Patrick Eugster( file )
2 editions published in 2009 in English and held by 0 libraries worldwide
This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008. The 11 collected reports from high-quality workshops - provided by the respective organizers - all are related to selected aspects in the field of object-oriented programming and technology. The topics covered span areas related to object-oriented programming and technology, such as programming languages, aspects, parallel computing, formal techniques, software engineering, tools, and applications
Innovations for requirements analysis : from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers by Barbara Paech( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs. The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results. The full papers have been grouped thematically under the headings Innovative Requirements Engineering Techniques and Innovative Applications of Natural-Language Processing Techniques
Advances in grid and pervasive computing : 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings by Nabil Abdennadher( file )
3 editions published in 2009 in English and held by 0 libraries worldwide
This book constitutes the refereed proceedings of the 4th International Conference on Grid and Pervasive Computing, GPC 2009, held in Geneva, Switzerland, in May 2009. The 42 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on grid economy, grid security, grid applications, middleware, scheduling, load balancing, pervasive computing, sensor networks, peer-to peer as well as fault tolerance
Integrated circuit and system design : power and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008 : revised selected papers by José Monteiro( file )
2 editions published in 2009 in English and held by 0 libraries worldwide
This book constitutes the thoroughly refereed post-conference proceedings of 18th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2008, featuring Integrated Circuit and System Design, held in Lisbon, Portugal during September 10-12, 2008. The 31 revised full papers and 10 revised poster papers presented together with 3 invited talks and 4 papers from a special session on reconfigurable architectures were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on low-leakage and subthreshold circuits, low-power methods and models, arithmetic and memories, variability and statistical timing, synchronization and interconnect, power supplies and switching noise, low-power circuits; reconfigurable architectures, circuits and methods, power and delay modeling, as well as power optimizations addressing reconfigurable architectures
High performance computing--HiPC 2007 : 14th international conference, Goa, India, December 18-21, 2007 : proceedings by Srinivas Aluru( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008. The 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. The papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Bernhard Steffen computer scientist
Bernhard Steffen deutscher Informatiker
Bernhard Steffen Duits informaticus
Steffen, Bernhard
Languages
English (204)
German (3)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.