WorldCat Identities

Steffen, Bernhard

Overview
Works: 647 works in 1,314 publications in 2 languages and 18,699 library holdings
Genres: Conference proceedings 
Roles: Editor, Creator
Classifications: QA76.758, 005.1
Publication Timeline
Key
Publications about  Bernhard Steffen Publications about Bernhard Steffen
Publications by  Bernhard Steffen Publications by Bernhard Steffen
Most widely held works by Bernhard Steffen
Leveraging applications of formal methods, verification and validation by Tiziana Margaria-Steffen ( )
17 editions published between 2008 and 2009 in English and held by 653 WorldCat member libraries worldwide
Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control
Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers by Tiziana Margaria-Steffen ( )
15 editions published in 2006 in English and held by 534 WorldCat member libraries worldwide
Correct system design : recent insights and advances by E.-R Olderog ( Book )
17 editions published in 1999 in English and held by 366 WorldCat member 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 )
11 editions published in 1996 in English and German and held by 299 WorldCat member 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
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 ISoLA 2010 ( )
4 editions published in 2010 in English and held by 293 WorldCat member libraries worldwide
Annotation The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were carefully revised and selected from numerous submissions and 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. The 46 papers of the first volume are organized in topical sections on new challenges in the development of critical embedded systems, formal languages and methods for designing and verifying complex embedded systems, worst-case traversal time (WCTT), tools in scientific workflow composition, emerging services and technologies for a converging telecommunications / Web world in smart environments of the internet of things, Web science, model transformation and analysis for industrial scale validation, and learning techniques for software verification and validation. The second volume presents 54 papers addressing the following topics: EternalS: mission and roadmap, formal methods in model-driven development for service-oriented and cloud computing, quantitative verification in practice, CONNECT: status and plans, certification of software-driven medical devices, modeling and formalizing industrial software for verification, validation and certification, and resource and timing analysis
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings by Bernhard Steffen ( Book )
28 editions published in 1998 in English and held by 292 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience
Leveraging applications of formal methods, verification and validation applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings by Tiziana Margaria-Steffen ( )
4 editions published in 2012 in English and held by 290 WorldCat member 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
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings by model checking, and abstract interpretation International conference on verification ( Book )
11 editions published in 2004 in English and held by 267 WorldCat member 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
Computer Vision - ECCV 2008 by European Conference on Computer Vision ( )
8 editions published in 2008 in English and held by 108 WorldCat member libraries worldwide
Annotation The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.The 243 revised papers presented were carefully reviewed and selected from a total of 871 papers submitted. The four books cover the entire range of current issues in computer vision. The papers are organized in topical sections on recognition, stereo, people and face recognition, object tracking, matching, learning and features, MRFs, segmentation, computational photography and active reconstruction
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 International Symposium on Leveraging Applications ( )
4 editions published in 2010 in English and held by 106 WorldCat member libraries worldwide
Advances in visual computing 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008 : proceedings by D Hutchison ( )
4 editions published in 2008 in English and held by 79 WorldCat member libraries worldwide
Annotation The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual Computing, ISVC 2008, held in Las Vegas, NV, USA, in December 2008.The 102 revised full papers and 70 poster papers presented together with 56 full and 8 poster papers of 8 special tracks were carefully reviewed and selected from more than 340 submissions. The papers are organized in topical sections on computer graphics, visualization, shape/recognition, video analysis and event recognition, virtual reality, reconstruction, motion, face/gesture, and computer vision applications. The 8 additional special tracks address issues such as object recognition, real-time vision algorithm implementation and application, computational bioimaging and visualization, discrete and computational geometry, soft computing in image processing and computer vision, visualization and simulation on immersive display devices, analysis and visualization of biomedical visual data, as well as image analysis for remote sensing data
Visual data mining theory, techniques and tools for visual analytics by Simeon J Simoff ( )
3 editions published in 2008 in English and held by 72 WorldCat member 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
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 ( )
2 editions published in 2008 in English and held by 68 WorldCat member 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
Component-based software engineering 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings by D Hutchison ( )
2 editions published in 2009 in English and held by 68 WorldCat member libraries worldwide
Advances in biometrics third international conference, ICB 2009, Alghero, Italy, June 2-5, 2009 : proceedings by Massimo Tistarelli ( )
2 editions published in 2009 in English and held by 66 WorldCat member libraries worldwide
Annotation
Transactions on Rough Sets by David Hutchison ( )
3 editions published in 2008 in English and held by 65 WorldCat member 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
On the Move to Meaningful Internet Systems: OTM 2008 by D Hutchison ( )
3 editions published in 2008 in English and held by 62 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.66 for Leveraging ... to 0.88 for Verificati ...)
Alternative Names
Steffen, B.
Steffen, Bernhard
Languages
English (146)
German (1)
Covers