Sere, Kaisa

name

• Sere, Kaisa

Authored works

• A formalization of superposition refinement
• Communication in processor farms : a case study in reactive systems refinement
• Data refinement of remote procedures
• Deriving action systems for processor farms
• Hazard analysis in formal specification
• Laws of action system programming
• Procedures and atomicity refinement
• Reverse engineering distributed algorithms
• Stepwise derivation of parallel algorithms
• Stepwise removal of virtual channels in distributed algorithms : a case study
• Transforming communication topology in distributed algorithms
• Verification of a distributed algorithm due to Chu

Works contributed to

• A language for modeling network availability
• A theory of prioritizing composition
• A topological approach to distributed computing
• Action system with synchronous communication
• Action systems in pipelined processor design
• Action systems synthesis of DI circuits
• An action system approach to the steam boiler problem
• An approach to object-orientation in action systems
• An exercise in deriving parallel algorithms : Gaussian elimination
• Centipede : a program refinement environment
• Component-based asynchronous circuit design in B
• Coordination among mobile objects
• Crest, Centre for Reliable Software Technology : progress report 2004-2005
• Deriving an occam implementation of action systems
• Deriving distributed systems using B-method
• Design and implementation of full-text retrieval on transputer networks
• Developing object-based distributed systems
• Distributed object-based control systems
• Distributed service composition
• From action systems to modular systems
• Grafisk programvara på UNIVAC1100 och DEC20
• Handshaking expansion as action system refinement
• Integrated formal methods : third international conference, IFM 2002 : Turku, Finland, May 15-18, 2002 : proceedings
• Modeling SoC systems with flow control
• Neural networks and bankruptcy prediction : funds flows, accrual ratios and accounting data
• Neural networks in accounting applications
• Peer-to-peer networking with firewalls
• Proceedings of the 15th Nordic Workshop on Programming Theory, NWPT'03, 29-31.10.2003 : abstracts
• Proceedings of the 5th Nordic Workshop on Program Correctness
• Reconfigurable hardware : a case study in codesign
• Refinement and continuous behaviour
• Software architectures for coordinated distributed systems
• Specification of a microprocessor
• Statistiska program på Åbo-högskolornas Univac1100-dator
• Stepwise development of peer-to-peer systems
• Stepwise refinement of action systems
• Stepwise refinement of parallel algorithms
• Superposition refinement of reactive systems
• The Hathi project : a research project on parallel programming technology : 1986-1988 (final report)
• Åbo-högskolornas Univac1100-datorsystem : en introduktion

Works about Sere, Kaisa