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 Aspects 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.
J. Syst. Archit., 2013
A formal approach to H.264 video decoding on multicore systems.
Int. J. Crit. Comput. Based Syst., 2013
A distributed design of a network recovery algorithm.
Int. J. Crit. Comput. Based Syst., 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.
Int. J. Embed. Real Time Commun. Syst., 2010
Towards Sustainable Development of Energy-Aware Systems.
Int. J. Embed. Real Time Commun. Syst., 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
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
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
2000
Coordinating action systems.
Theor. Comput. Sci., 2000
Data Refinement of Remote Procedures.
Formal Aspects 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
A topological approach to distributed computing.
Proceedings of the Workshop on Distributed Systems, 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 Syst. Des., 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
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.
Softw. Concepts Tools, 1996
Reverse Engineering Distributed Algorithms.
J. Softw. Maintenance Res. Pract., 1996
Specifying the Caltech Asynchronous Microprocessor.
Sci. Comput. Program., 1996
Procedures and Atomicity Refinement.
Inf. Process. Lett., 1996
Superposition Refinement of Reactive Systems.
Formal Aspects Comput., 1996
A Theory of Prioritizing Composition.
Comput. J., 1996
Determining the number of dimensions underlying customer-choices with a competitive neural network.
Proceedings of International Conference on Neural Networks (ICNN'96), 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
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
1993
A Formalization of Superposition Refinement.
Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993
1991
Stepwise Refinement of Action Systems.
Struct. Program., 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.
Microprocess. Microsystems, 1989
1987
Stepwise Removal of Virtual Channels in Distributed Algorithms.
Proceedings of the Distributed Algorithms, 1987