K. Sere

Available identifiers

zbMath Open sere.kaisaDBLPs/KaisaSereWikidataQ14239 ScholiaQ14239MaRDI QIDQ172356

List of research outcomes

Publication	Date of Publication	Type
Derivation of concurrent programs by stepwise scheduling of Event-B models	2016-08-05	Paper
Refinement of structured interactive systems	2015-01-13	Paper
Toward self-placing applications on 2D and 3D NoCs	2012-09-14	Paper
Refinement of parallel algorithms	2009-03-09	Paper
A Framework for Incorporating Trust into Formal Systems Development	2008-09-17	Paper
Asynchronous system synthesis	2005-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4471916	2004-07-30	Paper
Hybrid action systems	2003-01-21	Paper
Data refinement of remote procedures	2001-11-18	Paper
Structuring and verifying distributed algorithms	2001-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q4499209	2001-03-05	Paper
Coordinating action systems	2001-01-23	Paper
Coordination in the ImpUNITY framework	2000-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q4249575	2000-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4250668	1999-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4251097	1999-06-17	Paper
Procedures and atomicity refinement	1997-02-27	Paper
Superposition refinement of reactive systems	1996-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4028640	1993-03-28	Paper
Stepwise refinement of parallel algorithms	1990-01-01	Paper

Research outcomes over time

This page was built for person: K. Sere