Kaisa Sere

According to our database1, Kaisa Sere authored at least 81 papers between 1987 and 2015.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2015
A Theory of Service Dependency.
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

2014
Formal development of wireless sensor-actor networks.
Sci. Comput. Program., 2014

Derivation of concurrent programs by stepwise scheduling of Event-B models.
Formal Asp. Comput., 2014

Refinement of Structured Interactive Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip.
Journal of Systems Architecture - Embedded Systems Design, 2013

A formal approach to H.264 video decoding on multicore systems.
IJCCBS, 2013

A distributed design of a network recovery algorithm.
IJCCBS, 2013

Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.
Proceedings of the PECCS 2013, 2013

Location-aware resource availability.
Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Generation of Structural VHDL Code with Library Components from Formal Event-B Models.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Refinement-Based Development of Timed Systems.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Node Coordination in Peer-to-Peer Networks.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011
Concurrent Scheduling of Event-B Models
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

CorreComm: A formal hierarchical framework for communication designs.
Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2011

Refinement-Based Modeling of 3D NoCs.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Formal Modeling of Multicast Communication in 3D NoCs.
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010
Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors.
IJERTCS, 2010

Towards Sustainable Development of Energy-Aware Systems.
IJERTCS, 2010

Self-Recovering Sensor-Actor Networks
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Model-Based Analysis Tools for Component Synthesis.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2008
Formal Modular Modelling of Context-Awareness.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007
Implementation Issues Concerning the Action Systems Formalism.
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

A Framework for Incorporating Trust into Formal Systems Development.
Proceedings of the Theoretical Aspects of Computing, 2007

Dependability Aspects of Ubiquitous Computing.
Proceedings of the The Second International Conference on Availability, 2007

2006
A Formal Model of Context-Awareness and Context-Dependency.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications.
Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006

A Language for Modeling Network Availability.
Proceedings of the Formal Methods and Software Engineering, 2006

2005
Asynchronous system synthesis.
Sci. Comput. Program., 2005

On-chip Debug for an Asynchronous Java Accelerator.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

2004
Guest Editors' Foreword.
Nord. J. Comput., 2004

A Formalism for Context-Aware Mobile Computing.
Proceedings of the 3rd International Symposium on Parallel and Distributed Computing (ISPDC 2004), 2004

SkyMin: A Massive Peer-to-Peer Storage System.
Proceedings of the Grid and Cooperative Computing, 2004

Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications.
Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

2003
Hybrid action systems.
Theor. Comput. Sci., 2003

Stepwise Development of Peer-to-Peer Systems.
Proceedings of the 6th International Workshop on Formal Methods, 2003

2002
Design with Asynchronously Communicating Components.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
Structuring and Verifying Distributed Algorithms.
Nord. J. Comput., 2001

Guest Editors' Foreword.
Nord. J. Comput., 2001

2000
Coordinating action systems.
Theor. Comput. Sci., 2000

Data Refinement of Remote Procedures.
Formal Asp. Comput., 2000

Developing Control Systems Components.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Coordination-Based Design of Distributed Systems.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
Guest Editor's Foreword.
Nord. J. Comput., 1999

A topological approach to distributed computing.
Electr. Notes Theor. Comput. Sci., 1999

Hazard Analysis in Formal Specification.
Proceedings of the Computer Safety, 1999

Refinement and Continuous Behaviour.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

Developing Object-based Distributed Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Safety Analysis in Formal Specification.
Proceedings of the FM'99 - Formal Methods, 1999

Coordination Among Mobile Objects.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
Coordination in the ImpUNITY Framework.
Sci. Comput. Program., 1998

Reasoning about Action Systems using the B-Method.
Formal Methods in System Design, 1998

An Approach to Object-Orientation in Action Systems.
Proceedings of the Mathematics of Program Construction, 1998

Reconfigurable Hardware - A Study in Codesign.
Proceedings of the Field-Programmable Logic and Applications, 1998

1997
Data Refinement and Remote Procedures.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Coordinating Action Systems.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Action Systems in Pipelined Processor Design.
Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1996
From Action Systems to Modular Systems.
Software - Concepts and Tools, 1996

Reverse Engineering Distributed Algorithms.
Journal of Software Maintenance, 1996

Specifying the Caltech Asynchronous Microprocessor.
Sci. Comput. Program., 1996

Procedures and Atomicity Refinement.
Inf. Process. Lett., 1996

Superposition Refinement of Reactive Systems.
Formal Asp. Comput., 1996

A Theory of Prioritizing Composition.
Comput. J., 1996

Refining Action Systems within B-Tool.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Integrating Action Systems and Z in a Medical System Specification.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Coordination in the ImpUNITY Framework.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995
An Action System Specification of the Caltech Asynchronous Microprocessor.
Proceedings of the Mathematics of Program Construction, 1995

Intelligent IS within business: bankruptcy predictions using neural networks.
Proceedings of the Third European Conference on Information Systems, 1995

An Action System Approach to the Steam Boiler Problem.
Proceedings of the Formal Methods for Industrial Applications, 1995

1994
Action Systems with Synchronous Communication.
Proceedings of the Programming Concepts, 1994

Verification of a Distributed Algorithm (Abstract).
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

From Action Systems to Modular Systems.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993
A Formalization of Superposition Refinement.
Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993

1991
Stepwise Refinement of Action Systems.
Structured Programming, 1991

Program Transformations and Refinements in HOL.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Stepwise Refinement of Reactive Processor Farms.
Proceedings of the Protocol Specification, 1991

Superposition Refinement of Parallel Algorithms.
Proceedings of the Formal Description Techniques, 1991

1989
Stepwise Refinement of Parallel Algorithms.
Sci. Comput. Program., 1989

Free text retrieval on transputer networks.
Microprocessors and Microsystems - Embedded Hardware Design, 1989

Stepwise Refinement of Action Systems.
Proceedings of the Mathematics of Program Construction, 1989

1987
Stepwise Removal of Virtual Channels in Distributed Algorithms.
Proceedings of the Distributed Algorithms, 1987


  Loading...