K. Sere

MaRDI QIDQ172356zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Derivation of concurrent programs by stepwise scheduling of Event-B models Formal Aspects of Computing	2016-08-05	Paper
Refinement of structured interactive systems Theoretical Aspects of Computing – ICTAC 2014	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 Theoretical Aspects of Computing – ICTAC 2007	2008-09-17	Paper
Asynchronous system synthesis Science of Computer Programming	2005-05-12	Paper
scientific article; zbMATH DE number 2079814 (Why is no real title available?)	2004-07-30	Paper
Hybrid action systems Theoretical Computer Science	2003-01-21	Paper
Data refinement of remote procedures Formal Aspects of Computing	2001-11-18	Paper
Structuring and verifying distributed algorithms Nordic Journal of Computing	2001-10-14	Paper
scientific article; zbMATH DE number 1497791 (Why is no real title available?)	2001-03-05	Paper
Coordinating action systems Theoretical Computer Science	2001-01-23	Paper
Coordination in the ImpUNITY framework Science of Computer Programming	2000-02-15	Paper
scientific article; zbMATH DE number 1303073 (Why is no real title available?)	2000-02-09	Paper
scientific article; zbMATH DE number 1303999 (Why is no real title available?)	1999-07-11	Paper
scientific article; zbMATH DE number 1304365 (Why is no real title available?)	1999-06-17	Paper
Procedures and atomicity refinement Information Processing Letters	1997-02-27	Paper
Superposition refinement of reactive systems Formal Aspects of Computing	1996-07-23	Paper
scientific article; zbMATH DE number 140256 (Why is no real title available?)	1993-03-28	Paper
Stepwise refinement of parallel algorithms Science of Computer Programming	1990-01-01	Paper

Research outcomes over time

This page was built for person: K. Sere