skip to content

Steffen, Bernhard

Overview
Works: 656 works in 1,347 publications in 2 languages and 23,367 library holdings
Genres: Conference proceedings 
Roles: Editor, Author, Creator
Classifications: TA1637, 005.14
Publication Timeline
Key
Publications about Bernhard Steffen
Publications by Bernhard Steffen
Most widely held works by Bernhard Steffen
Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers by Tiziana Margaria-Steffen( file )
15 editions published in 2006 in English and held by 539 libraries worldwide
Leveraging applications of formal methods, verification and validation by Tiziana Margaria-Steffen( file )
13 editions published between 2008 and 2009 in English and held by 404 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
Correct system design : recent insights and advances by E.-R Olderog( Book )
15 editions published in 1999 in English and held by 366 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
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( file )
4 editions published in 2012 in English and held by 305 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
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 305 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( file )
4 editions published in 2010 in English and held by 305 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 )
26 editions published in 1998 in English and held by 288 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
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings by VMCAI 2004( Book )
12 editions published in 2004 in English and held by 266 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 : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings by ISoLA (Symposium)( file )
1 edition published in 2014 in English and held by 204 libraries worldwide
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session
Computer Vision - ECCV 2008 by David Forsyth( file )
8 editions published in 2008 in English and held by 109 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
Visual data mining theory, techniques and tools for visual analytics by Simeon J Simoff( file )
3 editions published in 2008 in English and held by 85 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
Software process and product measurement international conference, IWSM--Mensura 2007, Palma De Mallorca, Spain, November 5-8, 2007, revised papers by D Hutchison( file )
3 editions published in 2008 in English and held by 83 libraries worldwide
Annotation This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Software Measurement, IWSM-Mensura 2007, held in Palma de Mallorca, Spain, in November 2007.The 16 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, industrial experiences in software measurement, planning and implementing measurement, measurement-based software process improvement, best practices in software measurement, usability and user interaction measurement, measurement of open source projects, teaching and learning software measurement as well as new trends and ontologies for software measurement
Advances in visual computing 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008 : proceedings by D Hutchison( file )
4 editions published in 2008 in English and held by 79 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
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 D Hutchison( file )
2 editions published in 2008 in English and held by 75 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
Advances in self-organizing maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009 : proceedings by D Hutchison( file )
2 editions published in 2009 in English and held by 73 libraries worldwide
Annotation This book constitutes the refereed proceedings of the 7th International Workshop on Advances in Self-Organizing Maps, WSOM 2009, held in St. Augustine, Florida, in June 2009. The 41 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers deal with topics in the use of SOM in many areas of social sciences, economics, computational biology, engineering, time series analysis, data visualization and theoretical computer science
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Steffen, B.
Steffen, Bernhard
Languages
English (135)
German (1)
Covers
Close Window

Please sign in to WorldCat 

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