WorldCat Identities

Sere, K. (Kaisa) 1954-

Overview
Works: 81 works in 158 publications in 3 languages and 1,556 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Other, Honoree
Publication Timeline
.
Most widely held works by K Sere
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings by Michael Butler( )

20 editions published between 2002 and 2006 in English and held by 550 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002. The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof
FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings by International Symposium of Formal Methods Europe( )

5 editions published in 2008 in English and held by 456 WorldCat member libraries worldwide

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design
Program development by refinement : case studies using the B method by Stephen A Schuman( Book )

9 editions published between 1998 and 1999 in English and German and held by 128 WorldCat member libraries worldwide

"This volume examines program refinement using the B Method. Each chapter uses a different case study to demonstrate a typical program development from problem analysis through to implementation. The volume is divided into two sections: the first looks at the development of information systems and data structures while the second illustrates refinement for the development of distributed and process control systems."--Jacket
Dependability and computer engineering : concepts for software-intensive systems by Luigia Petre( )

9 editions published between 2011 and 2012 in English and held by 126 WorldCat member libraries worldwide

"This book offers a state-of-the-art overview of the dependability research, from engineering various software-intensive systems to validating existing IT-frameworks and solving generic and particular problems related to the dependable use of IT in our society"--Provided by publisher
Innovations in embedded and real-time systems engineering for communication by Seppo Virtanen( )

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

"This book has collected the latest research within the field of real-time systems engineering, and will serve as a vital reference compendium for practitioners and academics"--Provided by publisher
Program Development by Refinement : Case Studies Using the B Method by E Sekerinski( )

2 editions published in 1999 in English and held by 49 WorldCat member libraries worldwide

This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement
Regional development : concepts, methodologies, tools and applications( )

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

"This reference presents a vital compendium of research detailing the latest case studies, architectures, frameworks, methodologies, and research on regional development"--Provided by publisher
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings by Jorge Cuellar( )

7 editions published between 2006 and 2008 in English and Undetermined and held by 28 WorldCat member libraries worldwide

Integrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings by Michael Butler( )

2 editions published between 2002 and 2006 in Undetermined and English and held by 17 WorldCat member libraries worldwide

Stepwise derivation of parallel algorithms by K Sere( Book )

4 editions published in 1990 in English and held by 6 WorldCat member libraries worldwide

Superposition refinement of parallel algorithms by R. J. R Back( Book )

2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide

Abstract: "Superposition refinement enhances an algorithm by superposing one computation mechanism onto another mechanism, in a way that preserves the behavior of the original mechanism. Superposition seems to be particularly well suited to the development of parallel and distributed programs. An originally simple sequential algorithm can be extended with mechanisms that distribute control and state information to many processes, thus permitting efficient parallel exection of the algorithm. We will in this paper show how superposition of parallel algorithms is expressed in the refinement calculus. We illustrate the power of this method by a case study, showing how a distributed broadcasting algorithm is derived through a sequence of superposition refinements."
Neural networks in accounting applications by Barbro Back( Book )

3 editions published in 1993 in English and held by 3 WorldCat member libraries worldwide

Mechanising proofs of program transformation rules by K Sere( Book )

2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide

Abstract: "In the refinement calculus, programs are developed in a stepwise fashion by repeated application of transformation rules that preserve total correctness. We show how such rules can be formalised and proved using the HOL theorem prover. We also show how hierarchies of rules can be built e.g., for parallelising algorithms, and how application of these rules can be automated in HOL."
Stepwise refinement of reactive processor farms by K Sere( Book )

2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide

Abstract: "A processor farm is a distributed system that consists of a unique master processor together with a number of identical slave processors. The master processor interacts with some environment that generates tasks to be solved by the slave processors. The processors are connected via some communication network that takes care of the communication of the tasks between the master and the slaves. We show how a combination of action systems and the refinement calculus can be used to formally derive, in a stepwise manner, a communication network and protocol between the processors forming an arbitrary processor farm."
Neural networks and bankruptcy prediction : funds flows, accrual ratios and accounting data by Barbro Back( Book )

2 editions published in 1995 in English and held by 3 WorldCat member libraries worldwide

Refinement and continuous behaviour by Mauno Rönkkö( Book )

2 editions published in 1998 in English and held by 2 WorldCat member libraries worldwide

Distributed service composition by Joost N Kok( Book )

2 editions published in 1999 in English and held by 2 WorldCat member libraries worldwide

Integrated Formal Methods( Book )

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

Statistiska program på Åbo-högskolornas Univac1100-dator by Stig-Göran Lindqvist( Book )

2 editions published between 1982 and 1983 in Swedish and held by 2 WorldCat member libraries worldwide

An action system approach to the steam boiler problem by Matthew Butler( Book )

2 editions published in 1995 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.47 for FM 2008 : ... to 0.99 for Statistisk ...)

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Covers
FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedingsProgram development by refinement : case studies using the B methodDependability and computer engineering : concepts for software-intensive systemsFM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 ProceedingsIntegrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
Alternative Names
Kaisa Sere especialista en informática

Kaisa Sere finnische Computerwissenschaftlerin

Kaisa Sere Finnish computer scientist

Kaisa Sere Fins informatica (1954-2012)

Kaisa Sere finsk ingeniør og informatikar

Kaisa Sere finsk ingeniør og informatiker

Kaisa Sere informatica statunitense

Kaisa Sere informaticienne finlandaise

Sere, K.

Sere, Kaisa 1954-

Languages