Kaisa Sere - RankMe

84 papers A* 1B 12C 14Journal 26Unranked 31

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	A Theory of Service Dependency. Refine@FM Mats Neovius, Luigia Petre, Kaisa Sere
2014	J	`jnl`	Derivation of concurrent programs by stepwise scheduling of Event-B models. Formal Aspects Comput. Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
2014	J	`jnl`	Formal development of wireless sensor-actor networks. Sci. Comput. Program. Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
2014	C	`conf`	Refinement of Structured Interactive Systems. ICTAC Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
2013	J	`jnl`	A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
2013	J	`jnl`	A formal approach to H.264 video decoding on multicore systems. Int. J. Crit. Comput. Based Syst. Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
2013	—	`conf`	Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. PECCS Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
2013	J	`jnl`	Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip. J. Syst. Archit. Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
2013	C	`conf`	Generation of Structural VHDL Code with Library Components from Formal Event-B Models. DSD Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
2013	—	`conf`	Location-aware resource availability. HPCS Luigia Petre, Kaisa Sere
2012	C	`conf`	Node Coordination in Peer-to-Peer Networks. COORDINATION Luigia Petre, Petter Sandvik, Kaisa Sere
2012	B	`conf`	Refinement-Based Development of Timed Systems. IFM Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
2012	B	`conf`	Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
2011	—	`conf`	Concurrent Scheduling of Event-B Models Refine@FM Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
2011	—	`conf`	CorreComm: A formal hierarchical framework for communication designs. NESEA Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2011	C	`conf`	Formal Modeling of Multicast Communication in 3D NoCs. DSD Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2011	—	`conf`	Refinement-Based Modeling of 3D NoCs. FSEN Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2010	—	`conf`	Model-Based Analysis Tools for Component Synthesis. FMCO Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos
2010	J	`jnl`	Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors. Int. J. Embed. Real Time Commun. Syst. Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
2010	—	`conf`	Self-Recovering Sensor-Actor Networks FOCLASA Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
2010	J	`jnl`	Towards Sustainable Development of Energy-Aware Systems. Int. J. Embed. Real Time Commun. Syst. Luigia Petre, Kaisa Sere
2008	B	`ed.`	FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings FM Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere
2008	—	`conf`	Formal Modular Modelling of Context-Awareness. FMCO Mats Neovius, Kaisa Sere
2007	C	`conf`	A Framework for Incorporating Trust into Formal Systems Development. ICTAC Fredrik Degerlund, Kaisa Sere
2007	B	`conf`	Dependability Aspects of Ubiquitous Computing. ARES Lu Yan, Kaisa Sere
2007	C	`conf`	Implementation Issues Concerning the Action Systems Formalism. PDCAT Fredrik Degerlund, Marina Waldén, Kaisa Sere
2006	B	`conf`	A Formal Model of Context-Awareness and Context-Dependency. SEFM Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy
2006	C	`conf`	A Language for Modeling Network Availability. ICFEM Luigia Petre, Kaisa Sere, Marina Waldén
2006	C	`conf`	Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications. PDCAT Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere
2005	J	`jnl`	Asynchronous system synthesis. Sci. Comput. Program. Juha Plosila, Kaisa Sere, Marina Waldén
2005	C	`conf`	On-chip Debug for an Asynchronous Java Accelerator. PDCAT Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere
2004	—	`conf`	A Formalism for Context-Aware Mobile Computing. ISPDC/HeteroPar Lu Yan, Kaisa Sere
2004	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Kaisa Sere, Marina Waldén
2004	—	`conf`	SkyMin: A Massive Peer-to-Peer Storage System. GCC Lu Yan, Moisés Ferrer Serra, Guangcheng Niu, Xinrong Zhou, Kaisa Sere
2004	—	`conf`	Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications. FTDCS Lu Yan, Kaisa Sere, Xinrong Zhou, Jun Pang
2003	J	`jnl`	Hybrid action systems. Theor. Comput. Sci. Mauno Rönkkö, Anders P. Ravn, Kaisa Sere
2003	—	`conf`	Stepwise Development of Peer-to-Peer Systems. IWFM Lu Yan, Kaisa Sere
2002	—	`conf`	Design with Asynchronously Communicating Components. FMCO Juha Plosila, Kaisa Sere, Marina Waldén
2002	B	`ed.`	Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings IFM Michael J. Butler, Luigia Petre, Kaisa Sere
2001	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Kaisa Sere, Wang Li
2001	J	`jnl`	Structuring and Verifying Distributed Algorithms. Nord. J. Comput. Kaisa Sere, Marina Waldén
2000	J	`jnl`	Coordinating action systems. Theor. Comput. Sci. Eric J. Hedman, Joost N. Kok, Kaisa Sere
2000	C	`conf`	Coordination-Based Design of Distributed Systems. COORDINATION Joost N. Kok, Kaisa Sere
2000	J	`jnl`	Data Refinement of Remote Procedures. Formal Aspects Comput. Kaisa Sere, Marina Waldén
2000	B	`conf`	Developing Control Systems Components. IFM Luigia Petre, Kaisa Sere
1999	—	`conf`	A topological approach to distributed computing. WDS@FCT Luigia Petre, Kaisa Sere, Marina Waldén
1999	C	`conf`	Coordination Among Mobile Objects. COORDINATION Luigia Petre, Kaisa Sere
1999	—	`conf`	Developing Object-based Distributed Systems. FMOODS Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
1999	J	`jnl`	Guest Editor's Foreword. Nord. J. Comput. Kaisa Sere
1999	B	`conf`	Hazard Analysis in Formal Specification. SAFECOMP Kaisa Sere, Elena Troubitsyna
1999	—	`conf`	Refinement and Continuous Behaviour. HSCC Mauno Rönkkö, Kaisa Sere
1999	—	`conf`	Safety Analysis in Formal Specification. World Congress on Formal Methods Kaisa Sere, Elena Troubitsyna
1998	B	`conf`	An Approach to Object-Orientation in Action Systems. MPC Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
1998	J	`jnl`	Coordination in the ImpUNITY Framework. Sci. Comput. Program. Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
1998	J	`jnl`	Reasoning about Action Systems using the B-Method. Formal Methods Syst. Des. Marina Waldén, Kaisa Sere
1998	B	`conf`	Reconfigurable Hardware - A Study in Codesign. FPL Samuel Holmström, Kaisa Sere
1997	—	`conf`	Action Systems in Pipelined Processor Design. ASYNC Juha Plosila, Kaisa Sere
1997	C	`conf`	Coordinating Action Systems. COORDINATION Eric J. Hedman, Joost N. Kok, Kaisa Sere
1997	—	`conf`	Data Refinement and Remote Procedures. TACS Kaisa Sere, Marina Waldén
1996	J	`jnl`	A Theory of Prioritizing Composition. Comput. J. Emil Sekerinski, Kaisa Sere
1996	C	`conf`	Coordination in the ImpUNITY Framework. COORDINATION Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
1996	—	`conf`	Determining the number of dimensions underlying customer-choices with a competitive neural network. ICNN Michiel C. van Wezel, Joost N. Kok, Kaisa Sere
1996	J	`jnl`	From Action Systems to Modular Systems. Softw. Concepts Tools Ralph-Johan Back, Kaisa Sere
1996	—	`conf`	Integrating Action Systems and Z in a Medical System Specification. FME V. Kasurinen, Kaisa Sere
1996	J	`jnl`	Procedures and Atomicity Refinement. Inf. Process. Lett. Kaisa Sere
1996	—	`conf`	Refining Action Systems within B-Tool. FME Marina Waldén, Kaisa Sere
1996	J	`jnl`	Reverse Engineering Distributed Algorithms. J. Softw. Maintenance Res. Pract. Kaisa Sere, Marina Waldén
1996	J	`jnl`	Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. Ralph-Johan Back, Alain J. Martin, Kaisa Sere
1996	J	`jnl`	Superposition Refinement of Reactive Systems. Formal Aspects Comput. Ralph-Johan Back, Kaisa Sere
1995	—	`conf`	An Action System Approach to the Steam Boiler Problem. Formal Methods for Industrial Applications Michael J. Butler, Emil Sekerinski, Kaisa Sere
1995	B	`conf`	An Action System Specification of the Caltech Asynchronous Microprocessor. MPC Ralph-Johan Back, Alain J. Martin, Kaisa Sere
1995	—	`conf`	Intelligent IS within business: bankruptcy predictions using neural networks. ECIS Barbro Back, Guido Osteroom, Kaisa Sere, Michiel C. van Wezel
1994	—	`conf`	Action Systems with Synchronous Communication. PROCOMET Ralph-Johan Back, Kaisa Sere
1994	—	`conf`	From Action Systems to Modular Systems. FME Ralph-Johan Back, Kaisa Sere
1994	A*	`conf`	Verification of a Distributed Algorithm (Abstract). PODC Kaisa Sere, Marina Waldén
1993	—	`conf`	A Formalization of Superposition Refinement. ISTCS Kaisa Sere
1991	—	`conf`	Program Transformations and Refinements in HOL. TPHOLs Joakim von Wright, Kaisa Sere
1991	J	`jnl`	Stepwise Refinement of Action Systems. Struct. Program. Ralph-Johan Back, Kaisa Sere
1991	—	`conf`	Stepwise Refinement of Reactive Processor Farms. PSTV Kaisa Sere
1991	C	`conf`	Superposition Refinement of Parallel Algorithms. FORTE Ralph-Johan Back, Kaisa Sere
1989	J	`jnl`	Free text retrieval on transputer networks. Microprocess. Microsystems Marina Waldén, Kaisa Sere
1989	B	`conf`	Stepwise Refinement of Action Systems. MPC Ralph-Johan Back, Kaisa Sere
1989	J	`jnl`	Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. Ralph-Johan Back, Kaisa Sere
1987	—	`conf`	Stepwise Removal of Virtual Channels in Distributed Algorithms. WDAG Kaisa Sere