WorldCat Identities

König, Barbara (Professor of Information Engineering)

Overview
Works: 18 works in 55 publications in 2 languages and 1,323 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, dgs, Other, Author, Creator, Contributor
Publication Timeline
.
Most widely held works by Barbara König
CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings by Joost-Pieter Katoen( )

14 editions published in 2011 in English and Undetermined and held by 441 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, -calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation
Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014 ; proceedings by Holger Giese( )

9 editions published in 2014 in English and held by 363 WorldCat member libraries worldwide

This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications
Analysis and verification of systems with dynamically evolving structure by Barbara König( )

6 editions published between 2004 and 2005 in English and held by 44 WorldCat member libraries worldwide

Proving correctness of graph programs relative to recursively nested conditions by Nils Erik Flick( )

2 editions published in 2016 in German and English and held by 18 WorldCat member libraries worldwide

With graph programs, one can formally model the behaviour of a wide range of discrete systems. These programs extend graph rewriting by control structures (sequence, choice and iteration). This thesis presents a theoretically founded formalism for specifying properties of graph programs and a proof-based approach to verifying the partial correctness of a graph program relative to a pre- and postcondition. A novel specification language, recursively nested conditions (mu-conditions) is introduced, which can express nonlocal state properties and which is shown to be distinct from other relevant formalisms. The verification approach consists of: - an adaptation of Dijkstra's weakest precondition calculus to graph programs and mu-conditions, - a proof calculus for mu-conditions, whose core part is a rule schema for inductive refutation. Additionally, a formulation of correctness under adversity and structure-changing Petri nets are elaborated within the same framework. <engl.>
Coalgebraic Behavior Analysis From Qualitative To Quantitative Analyses by Henning Kerstan( )

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

Verification of Well-Structured Graph Transformation Systems by Jan Stückrath( )

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

Graph transformations and process algebras for modeling distributed and mobile systems 04241 abstracts collection( )

1 edition published in 2005 in English and held by 15 WorldCat member libraries worldwide

Behavioural Analysis of Systems with Weights and Conditions by Sebastian Küpper( Book )

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

Graph transformation for verification and concurrency (GT-VC 2005) : satellite workshop of Concur 2005, San Francisco, 22 August 2005( Book )

1 edition published in 2005 in English and held by 2 WorldCat member libraries worldwide

Counterexample-guided abstraction refinement for the analysis of graph transformation systems( )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

A case study: Verifying a mutual exclusion protocol with process creation using graph transformation systems( )

2 editions published between 2004 and 2005 in English and held by 2 WorldCat member libraries worldwide

Concurrency theory 22nd international conference ; proceedings( Book )

1 edition published in 2011 in English and held by 1 WorldCat member library worldwide

Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings by Cormac Flanagan( )

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

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification
Graph transformation by Conference International ICGT( )

1 edition published in 2014 in English and held by 1 WorldCat member library worldwide

This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications
Deriving bisimulation congruences in the DPO approach to graph rewriting( )

1 edition published in 2004 in English and held by 1 WorldCat member library worldwide

Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version by Hartmut Ehrig( )

1 edition published in 2004 in English and held by 1 WorldCat member library worldwide

CONCUR 2011 Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings( )

1 edition published in 2011 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.51 for CONCUR 201 ... to 1.00 for CONCUR 201 ...)

CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings Concurrency theory 22nd international conference ; proceedings
Covers
Concurrency theory 22nd international conference ; proceedings
Alternative Names
König, B. (Barbara) (Professor of Information Engineering)

Languages
English (53)

German (1)