skip to content

Steffen, Bernhard

Overview
Works: 465 works in 1,650 publications in 2 languages and 24,926 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Other, dgs, Creator
Publication Timeline
Key
Publications about Bernhard Steffen
Publications by Bernhard Steffen
Most widely held works by Bernhard Steffen
Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings by Ed Brinksma( Book )
60 editions published between 1988 and 2009 in English and German and held by 479 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
Correct system design : recent insights and advances by E.-R Olderog( Book )
16 editions published in 1999 in English and held by 266 libraries worldwide
"Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical and other applications, it is of paramount importance that systems controlled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements. In other words: correctness of the system, of its software and hardware is crucial."--BOOK JACKET. "On the occasion of Hans Langmaack's retirement from his professorship and in order to honor his fundamental contribution 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."--Jacket
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 )
15 editions published in 2006 in English and held by 144 libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I by Susanne Albers( file )
7 editions published between 2008 and 2009 in English and Undetermined and held by 53 libraries worldwide
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C selected from 208 submissions and 2 invited lectures. The papers for track B are organized in topical sections on bounds, distributed computation, real-time and probabilistic systems, logic and complexity, words and trees, nonstandard models of computation, reasoning about computation, and verification. The papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols and zero-knowledge, encryption with special properties/quantum cryptography, various types of hashing, as well as public-key cryptography and authentication
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( file )
18 editions published between 2010 and 2012 in English and held by 51 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
Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers by Tiziana Margaria-Steffen( file )
5 editions published in 1998 in English and held by 44 libraries worldwide
This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97). The 20 revised full papers included in the book together with three invited presentations are centered around the user-friendly design of software systems and services, in particular telecommunication and Internet services, and visualization support for the design and administration of such systems. Among the topics addressed are telecommunication services, multimedia networking, user interfaces, intelligent networking protocols, formal specification and verification, visual formalisms, mobile computing, intelligent agents, and Java
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings by Tiziana Margaria-Steffen( Book )
31 editions published between 2008 and 2012 in English and Undetermined and held by 44 libraries worldwide
This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008 The 68 revised full papers presented together with 2 invited talks and 1 keynote speech were carefully selected from numerous submissions. The topics covered are tools and applications in industrial software quality control; an introduction of multi-core systems in automotive applications; model-driven SOA; applications of formal approaches to service-oriented computing; trustworthy computing: theories, methods, tools and experience in China and South East Asia; non-functional requirements in embedded systems; processes, methods and tools for developing educational modules to support teaching and technology transfer; ubiquitous and context aware systems; formal methods for analysing and verifying very large systems; tools for service-oriented discovery of knowledge; tackling the challenges of software development process for SMEs with rigorous support and open source
Computational Science and Its Applications - ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II by Osvaldo Gervasi( file )
2 editions published in 2009 in English and held by 28 libraries worldwide
Annotation
Visual data mining : theory, techniques and tools for visual analytics by Simeon J Simoff( file )
5 editions published in 2008 in English and Undetermined and held by 22 libraries worldwide
Annotation The importance of visual data mining, as a strong sub-discipline of data mining, had already been recognized in the beginning of the decade. In 2005 a panel of renowned individuals met to address the shortcomings and drawbacks of the current state of visual information processing. The need for a systematic and methodological development of visual analytics was detected. This book aims at addressing this need. Through a collection of 21 contributions selected from more than 46 submissions, it offers a systematic presentation of the state of the art in the field. The volume is structured in three parts on theory and methodologies, techniques, and tools and applications
Leveraging applications of formal methods, verification and validation : technologies for mastering change ; 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 ; proceedings by Tiziana Margaria-Steffen( Book )
16 editions published between 2010 and 2012 in English and held by 14 libraries worldwide
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems
Combinatorial Optimization and Applications : second international conference, Cocoa 2008, St. John's, Canada, August 21-24, 2008 : proceedings by Zhao Zhang( file )
11 editions published between 2008 and 2009 in English and Undetermined and held by 12 libraries worldwide
This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, COCOA 2008, held in St. John's, Canada, in August 2008. The 44 revised full papers were carefully reviewed and selected from 84 submissions. The papers feature original research in the areas of combinatorial optimization -- both theoretical issues and and applications motivated by real-world problems thus showing convincingly the usefulness and efficiency of the algorithms discussed in a practical setting
Medical image computing and computer-assisted intervention - MICCAI 2008 : 11th international conference, New York, NY, USA, September 6-10, 2008 : proceedings by David Hutchison( file )
7 editions published in 2008 in English and held by 10 libraries worldwide
The two-volume set LNCS 5241 and LNCS 5242 constitute the refereed proceedings of the 11th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2008, held in New York, NY, USA, in September 2008. The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based on rigorous peer reviews. The first volume includes 127 papers related to medical image computing, segmentation, shape and statistics analysis, modeling, motion tracking and compensation, as well as registration. The second volume contains 131 contributions related to robotics and interventions, statistical analysis, segmentation, intervention, modeling, and registration
Verbal and nonverbal features of human-human and human-machine interaction : Cost Action 2102 International Conference, Patras, Greece, October 29-31, 2007, revised papers by Anna Esposito( Book )
5 editions published in 2008 in English and Undetermined and held by 5 libraries worldwide
Annotation This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007. The 21 revised full papers were carefully reviewed and selected. The papers are organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition
Transactions on Foundations for Mastering Change I ( Book )
6 editions published in 2016 in English and held by 4 libraries 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
Computer vision--ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008 : proceedings by David Hutchison( Book )
12 editions published in 2008 in English and held by 4 libraries worldwide
Annotation
Interactive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedings by Ulrike Spierling( Book )
3 editions published in 2008 in English and Undetermined and held by 4 libraries worldwide
This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008. The 19 revised full papers, 5 revised short papers, and 5 poster papers presented together with 3 invited lectures and 8 demo papers were carefully reviewed and selected from 62 submission. The papers are organized in topical sections on future perspectives on interactive digital storytelling, interactive storytelling applications, virtual characters and agents, user experience and dramatic immersion, architectures for story generation, models for drama management and interacting with stories, as well as authoring and creation of interactive narrative
Transactions on rough sets IX by David Hutchison( file )
3 editions published in 2008 in English and held by 0 libraries worldwide
Annotation The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. This book, which constitutes the ninth volume of the Transactions on Rough Sets series, providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions of papers included in the first conference on Rough Sets and Intelligent Systems Paradigms. The 26 papers presented in this volume introduce a number of new advances in the foundations and applications of artificial intelligence, engineering, image processing, logic, mathematics, medicine, music, and science
Advances in visual computing : 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008 : proceedings by George Bebis( file )
6 editions published in 2008 in English and Undetermined and held by 0 libraries worldwide
It is with great pleasure that we welcome you to the Proceedings of the 3rd - ternational Symposium on Visual Computing (ISVC 2007) held in Lake Tahoe, Nevada/California. ISVC o?ers a common umbrella for the four main areas of visualcomputing including vision, graphics, visualization, andvirtualreality. Its goal is to provide a forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research?ndings, ideas, devel- ments, and applications in the broader area of visual computing. Thisyear, theprogramconsistedof14oralsessions,1postersession,6special tracks, and 6 keynote presentations. Following a very successful ISVC 2006, the response to the call for papers was almost equally strong; we received over 270 submissions for the main symposium from which we accepted 77 papers for oral presentation and 42 papers for poster presentation. Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 32 papers were accepted for oral presentation and 5 papers for poster presentation in the special tracks
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Bernhard Steffen computer scientist
Bernhard Steffen deutscher Informatiker
Bernhard Steffen Duits informaticus
Steffen, Bernhard
Languages
English (214)
German (2)
Covers
Close Window

Please sign in to WorldCat 

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