Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kaisa Sere
@inproceedings{DBLP:journals/corr/NeoviusPS16,
author = {Mats Neovius and
Luigia Petre and
Kaisa Sere},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {A Theory of Service Dependency},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {112--128},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.9},
doi = {10.4204/EPTCS.209.9},
timestamp = {Sun, 25 Jul 2021 11:39:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/NeoviusPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BostromDSW14,
author = {Pontus Bostr{\"{o}}m and
Fredrik Degerlund and
Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Derivation of concurrent programs by stepwise scheduling of Event-B
models},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {281--303},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0260-5},
doi = {10.1007/S00165-012-0260-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BostromDSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KamaliLPS14,
author = {Maryam Kamali and
Linas Laibinis and
Luigia Petre and
Kaisa Sere},
title = {Formal development of wireless sensor-actor networks},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {25--49},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2012.03.002},
doi = {10.1016/J.SCICO.2012.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KamaliLPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DiaconescuPSS14,
author = {Denisa Diaconescu and
Luigia Petre and
Kaisa Sere and
Gheorghe Stefanescu},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {Refinement of Structured Interactive Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {133--150},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_9},
doi = {10.1007/978-3-319-10882-7\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/DiaconescuPSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/LummePSS13,
author = {Kristian Lumme and
Luigia Petre and
Petter Sandvik and
Kaisa Sere},
title = {A formal approach to {H.264} video decoding on multicore systems},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {4},
number = {1},
pages = {3--26},
year = {2013},
url = {https://doi.org/10.1504/IJCCBS.2013.053740},
doi = {10.1504/IJCCBS.2013.053740},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/LummePSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/KamaliLPS13,
author = {Maryam Kamali and
Linas Laibinis and
Luigia Petre and
Kaisa Sere},
title = {A distributed design of a network recovery algorithm},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {4},
number = {1},
pages = {45--68},
year = {2013},
url = {https://doi.org/10.1504/IJCCBS.2013.053742},
doi = {10.1504/IJCCBS.2013.053742},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/KamaliLPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/OstroumovTPS13,
author = {Sergey Ostroumov and
Leonidas Tsiopoulos and
Juha Plosila and
Kaisa Sere},
title = {Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip},
journal = {J. Syst. Archit.},
volume = {59},
number = {9},
pages = {709--728},
year = {2013},
url = {https://doi.org/10.1016/j.sysarc.2013.06.001},
doi = {10.1016/J.SYSARC.2013.06.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/OstroumovTPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/OstroumovTSP13,
author = {Sergey Ostroumov and
Leonidas Tsiopoulos and
Kaisa Sere and
Juha Plosila},
title = {Generation of Structural {VHDL} Code with Library Components from
Formal Event-B Models},
booktitle = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
Alamitos, CA, USA, September 4-6, 2013},
pages = {111--118},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSD.2013.20},
doi = {10.1109/DSD.2013.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/OstroumovTSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/PetreS13,
author = {Luigia Petre and
Kaisa Sere},
title = {Location-aware resource availability},
booktitle = {International Conference on High Performance Computing {\&} Simulation,
{HPCS} 2013, Helsinki, Finland, July 1-5, 2013},
pages = {626},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/HPCSim.2013.6641480},
doi = {10.1109/HPCSIM.2013.6641480},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/PetreS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/AlexeevBWHLS13,
author = {Petr Alexeev and
Pontus Bostr{\"{o}}m and
Marina Wald{\'{e}}n and
Mikko Huova and
Matti Linjama and
Kaisa Sere},
editor = {C{\'{e}}sar Benavente{-}Peces and
Joaquim Filipe},
title = {Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time
Systems},
booktitle = {{PECCS} 2013 - Proceedings of the 3rd International Conference on
Pervasive Embedded Computing and Communication Systems, Barcelona,
Spain, 19-21 February, 2013},
pages = {189--194},
publisher = {SciTePress},
year = {2013},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/AlexeevBWHLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PetreSS12,
author = {Luigia Petre and
Petter Sandvik and
Kaisa Sere},
editor = {Marjan Sirjani},
title = {Node Coordination in Peer-to-Peer Networks},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {196--211},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_14},
doi = {10.1007/978-3-642-30829-1\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PetreSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BerthingBSTV12,
author = {Jesper Berthing and
Pontus Bostr{\"{o}}m and
Kaisa Sere and
Leonidas Tsiopoulos and
J{\"{u}}ri Vain},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Refinement-Based Development of Timed Systems},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {69--83},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_6},
doi = {10.1007/978-3-642-30729-4\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BerthingBSTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DiaconescuLPSS12,
author = {Denisa Diaconescu and
Ioana Leustean and
Luigia Petre and
Kaisa Sere and
Gheorghe Stefanescu},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Refinement-Preserving Translation from Event-B to Register-Voice Interactive
Systems},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {221--236},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_16},
doi = {10.1007/978-3-642-30729-4\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DiaconescuLPSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/KamaliPSD11,
author = {Maryam Kamali and
Luigia Petre and
Kaisa Sere and
Masoud Daneshtalab},
title = {Formal Modeling of Multicast Communication in 3D NoCs},
booktitle = {14th Euromicro Conference on Digital System Design, Architectures,
Methods and Tools, {DSD} 2011, August 31 - September 2, 2011, Oulu,
Finland},
pages = {634--642},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSD.2011.86},
doi = {10.1109/DSD.2011.86},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/KamaliPSD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/KamaliPSD11,
author = {Maryam Kamali and
Luigia Petre and
Kaisa Sere and
Masoud Daneshtalab},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Refinement-Based Modeling of 3D NoCs},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {236--252},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_16},
doi = {10.1007/978-3-642-29320-7\_16},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/KamaliPSD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesea/KamaliPSD11,
author = {Maryam Kamali and
Luigia Petre and
Kaisa Sere and
Masoud Daneshtalab},
title = {CorreComm: {A} formal hierarchical framework for communication designs},
booktitle = {Proceedings of the 2nd {IEEE} International Conference on Networked
Embedded Systems for Enterprise Applications, {NESEA} 2011, Perth,
Australia, December 8-9, 2011},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/NESEA.2011.6144950},
doi = {10.1109/NESEA.2011.6144950},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nesea/KamaliPSD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4100,
author = {Pontus Bostr{\"{o}}m and
Fredrik Degerlund and
Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Concurrent Scheduling of Event-B Models},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {166--182},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.11},
doi = {10.4204/EPTCS.55.11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijertcs/TsiopoulosSP10,
author = {Leonidas Tsiopoulos and
Kaisa Sere and
Juha Plosila},
title = {Modeling Communication in Multi-Processor Systems-on-Chip Using Modular
Connectors},
journal = {Int. J. Embed. Real Time Commun. Syst.},
volume = {1},
number = {2},
pages = {23--44},
year = {2010},
url = {https://doi.org/10.4018/jertcs.2010040102},
doi = {10.4018/JERTCS.2010040102},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijertcs/TsiopoulosSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijertcs/PetreS10,
author = {Luigia Petre and
Kaisa Sere},
title = {Towards Sustainable Development of Energy-Aware Systems},
journal = {Int. J. Embed. Real Time Commun. Syst.},
volume = {1},
number = {2},
pages = {45--60},
year = {2010},
url = {https://doi.org/10.4018/jertcs.2010040103},
doi = {10.4018/JERTCS.2010040103},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijertcs/PetreS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PetreST10,
author = {Luigia Petre and
Kaisa Sere and
Leonidas Tsiopoulos},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Model-Based Analysis Tools for Component Synthesis},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {102--121},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_6},
doi = {10.1007/978-3-642-25271-6\_6},
timestamp = {Thu, 14 Oct 2021 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/PetreST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5091,
author = {Maryam Kamali and
Linas Laibinis and
Luigia Petre and
Kaisa Sere},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {Self-Recovering Sensor-Actor Networks},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {47--61},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.4},
doi = {10.4204/EPTCS.30.4},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NeoviusS08,
author = {Mats Neovius and
Kaisa Sere},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Formal Modular Modelling of Context-Awareness},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {102--118},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_6},
doi = {10.1007/978-3-642-04167-9\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NeoviusS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2008,
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0},
doi = {10.1007/978-3-540-68237-0},
isbn = {978-3-540-68235-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/YanS07,
author = {Lu Yan and
Kaisa Sere},
title = {Dependability Aspects of Ubiquitous Computing},
booktitle = {Proceedings of the The Second International Conference on Availability,
Reliability and Security, {ARES} 2007, The International Dependability
Conference - Bridging Theory and Practice, April 10-13 2007, Vienna,
Austria},
pages = {451--453},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ARES.2007.66},
doi = {10.1109/ARES.2007.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/YanS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DegerlundS07,
author = {Fredrik Degerlund and
Kaisa Sere},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {A Framework for Incorporating Trust into Formal Systems Development},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {154--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_11},
doi = {10.1007/978-3-540-75292-9\_11},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DegerlundS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/DegerlundWS07,
author = {Fredrik Degerlund and
Marina Wald{\'{e}}n and
Kaisa Sere},
editor = {David S. Munro and
Hong Shen and
Quan Z. Sheng and
Henry Detmold and
Katrina Falkner and
Cruz Izu and
Paul D. Coddington and
Bradley Alexander and
Si{-}Qing Zheng},
title = {Implementation Issues Concerning the Action Systems Formalism},
booktitle = {Eighth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2007), 3-6 December 2007, Adelaide,
Australia},
pages = {471--479},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PDCAT.2007.63},
doi = {10.1109/PDCAT.2007.63},
timestamp = {Mon, 17 Jul 2023 13:04:30 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/DegerlundWS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PetreSW06,
author = {Luigia Petre and
Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {Zhiming Liu and
Jifeng He},
title = {A Language for Modeling Network Availability},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {639--659},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_35},
doi = {10.1007/11901433\_35},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/PetreSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/LiangPYS06,
author = {Zheng Liang and
Juha Plosila and
Lu Yan and
Kaisa Sere},
title = {Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip
Applications},
booktitle = {Seventh International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2006), 4-7 December 2006, Taipei,
Taiwan},
pages = {344--347},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/PDCAT.2006.72},
doi = {10.1109/PDCAT.2006.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/LiangPYS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NeoviusSYS06,
author = {Mats Neovius and
Kaisa Sere and
Lu Yan and
M. Satpathy},
title = {A Formal Model of Context-Awareness and Context-Dependency},
booktitle = {Fourth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
pages = {177--185},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEFM.2006.2},
doi = {10.1109/SEFM.2006.2},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/NeoviusSYS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PlosilaSW05,
author = {Juha Plosila and
Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Asynchronous system synthesis},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {259--288},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.018},
doi = {10.1016/J.SCICO.2004.05.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PlosilaSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/LiangPYS05,
author = {Zheng Liang and
Juha Plosila and
Lu Yan and
Kaisa Sere},
title = {On-chip Debug for an Asynchronous Java Accelerator},
booktitle = {Sixth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian,
China},
pages = {312--315},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PDCAT.2005.175},
doi = {10.1109/PDCAT.2005.175},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/LiangPYS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SereW04,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {73--74},
year = {2004},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SereW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdcs/YanSZP04,
author = {Lu Yan and
Kaisa Sere and
Xinrong Zhou and
Jun Pang},
title = {Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay
Network Applications},
booktitle = {10th {IEEE} International Workshop on Future Trends of Distributed
Computing Systems {(FTDCS} 2004), 26-28 May 2004, Suzhou, China},
pages = {312--318},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/FTDCS.2004.1316632},
doi = {10.1109/FTDCS.2004.1316632},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftdcs/YanSZP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/YanSNZS04,
author = {Lu Yan and
Mois{\'{e}}s Ferrer Serra and
Guangcheng Niu and
Xinrong Zhou and
Kaisa Sere},
editor = {Hai Jin and
Yi Pan and
Nong Xiao and
Jianhua Sun},
title = {SkyMin: {A} Massive Peer-to-Peer Storage System},
booktitle = {Grid and Cooperative Computing - {GCC} 2004: Third International Conference,
Wuhan, China, October 21-24, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3251},
pages = {527--534},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30208-7\_72},
doi = {10.1007/978-3-540-30208-7\_72},
timestamp = {Fri, 26 Feb 2021 08:55:11 +0100},
biburl = {https://dblp.org/rec/conf/gcc/YanSNZS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/YanS04,
author = {Lu Yan and
Kaisa Sere},
title = {A Formalism for Context-Aware Mobile Computing},
booktitle = {3rd International Symposium on Parallel and Distributed Computing
{(ISPDC} 2004), 3rd International Workshop on Algorithms, Models and
Tools for Parallel Computing on Heterogenous Networks (HeteroPar 2004),
5-7 July 2004, Cork, Ireland},
pages = {14--21},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISPDC.2004.1},
doi = {10.1109/ISPDC.2004.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/YanS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RonkkoRS03,
author = {Mauno R{\"{o}}nkk{\"{o}} and
Anders P. Ravn and
Kaisa Sere},
title = {Hybrid action systems},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {937--973},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00547-9},
doi = {10.1016/S0304-3975(02)00547-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RonkkoRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/YanS03,
author = {Lu Yan and
Kaisa Sere},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {Stepwise Development of Peer-to-Peer Systems},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4023},
timestamp = {Tue, 19 Jun 2018 08:05:11 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/YanS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PlosilaSW02,
author = {Juha Plosila and
Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Design with Asynchronously Communicating Components},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {424--442},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_18},
doi = {10.1007/978-3-540-39656-7\_18},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/PlosilaSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2002,
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1},
doi = {10.1007/3-540-47884-1},
isbn = {3-540-43703-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SereL01,
author = {Kaisa Sere and
Wang Li},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {1},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SereL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SereW01,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Structuring and Verifying Distributed Algorithms},
journal = {Nord. J. Comput.},
volume = {8},
number = {2},
pages = {193--218},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/serew:193.html},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SereW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SereW00,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Data Refinement of Remote Procedures},
journal = {Formal Aspects Comput.},
volume = {12},
number = {4},
pages = {278--297},
year = {2000},
url = {https://doi.org/10.1007/PL00003935},
doi = {10.1007/PL00003935},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SereW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HedmanKS00,
author = {Eric J. Hedman and
Joost N. Kok and
Kaisa Sere},
title = {Coordinating action systems},
journal = {Theor. Comput. Sci.},
volume = {240},
number = {1},
pages = {91--115},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00228-5},
doi = {10.1016/S0304-3975(99)00228-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HedmanKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KokS00,
author = {Joost N. Kok and
Kaisa Sere},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {Coordination-Based Design of Distributed Systems},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {347--352},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_27},
doi = {10.1007/3-540-45263-X\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/KokS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PetreS00,
author = {Luigia Petre and
Kaisa Sere},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Developing Control Systems Components},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {156--175},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_10},
doi = {10.1007/3-540-40911-4\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PetreS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Sere99,
author = {Kaisa Sere},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {213--214},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Sere99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PetreS99,
author = {Luigia Petre and
Kaisa Sere},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {Coordination Among Mobile Objects},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {227--242},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_17},
doi = {10.1007/3-540-48919-3\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PetreS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SereT99,
author = {Kaisa Sere and
Elena Troubitsyna},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Safety Analysis in Formal Specification},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1564--1583},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_33},
doi = {10.1007/3-540-48118-4\_33},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SereT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BonsangueKS99,
author = {Marcello M. Bonsangue and
Joost N. Kok and
Kaisa Sere},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Developing Object-based Distributed Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/BonsangueKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RonkkoS99,
author = {Mauno R{\"{o}}nkk{\"{o}} and
Kaisa Sere},
editor = {Frits W. Vaandrager and
Jan H. van Schuppen},
title = {Refinement and Continuous Behaviour},
booktitle = {Hybrid Systems: Computation and Control, Second International Workshop,
HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1569},
pages = {223--237},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48983-5\_21},
doi = {10.1007/3-540-48983-5\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RonkkoS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SereT99,
author = {Kaisa Sere and
Elena Troubitsyna},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Hazard Analysis in Formal Specification},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {350--360},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_30},
doi = {10.1007/3-540-48249-0\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SereT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PetreSW99,
author = {Luigia Petre and
Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {Gheorghe Stefanescu},
title = {A topological approach to distributed computing},
booktitle = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {28},
pages = {59--80},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80630-9},
doi = {10.1016/S1571-0661(05)80630-9},
timestamp = {Wed, 23 Nov 2022 16:22:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PetreSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WaldenS98,
author = {Marina Wald{\'{e}}n and
Kaisa Sere},
title = {Reasoning about Action Systems using the B-Method},
journal = {Formal Methods Syst. Des.},
volume = {13},
number = {1},
pages = {5--35},
year = {1998},
url = {https://doi.org/10.1023/A:1008688421367},
doi = {10.1023/A:1008688421367},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/WaldenS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GoemanKSU98,
author = {Henk Goeman and
Joost N. Kok and
Kaisa Sere and
Rob T. Udink},
title = {Coordination in the ImpUNITY Framework},
journal = {Sci. Comput. Program.},
volume = {31},
number = {2-3},
pages = {313--334},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(97)00025-7},
doi = {10.1016/S0167-6423(97)00025-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GoemanKSU98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/HolmstromS98,
author = {Samuel Holmstr{\"{o}}m and
Kaisa Sere},
editor = {Reiner W. Hartenstein and
Andres Keevallik},
title = {Reconfigurable Hardware - {A} Study in Codesign},
booktitle = {Field-Programmable Logic and Applications, From FPGAs to Computing
Paradigm, 8th International Workshop, FPL'98, Tallinn, Estonia, August
31 - September 3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1482},
pages = {451--455},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055279},
doi = {10.1007/BFB0055279},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/fpl/HolmstromS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BonsangueKS98,
author = {Marcello M. Bonsangue and
Joost N. Kok and
Kaisa Sere},
editor = {Johan Jeuring},
title = {An Approach to Object-Orientation in Action Systems},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {68--95},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054286},
doi = {10.1007/BFB0054286},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BonsangueKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/PlosilaS97,
author = {Juha Plosila and
Kaisa Sere},
title = {Action Systems in Pipelined Processor Design},
booktitle = {3rd International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '97), 7-10 April 1997, Eindhoven, The Netherlands},
pages = {156--166},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASYNC.1997.587171},
doi = {10.1109/ASYNC.1997.587171},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/PlosilaS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/HedmanKS97,
author = {Eric J. Hedman and
Joost N. Kok and
Kaisa Sere},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Coordinating Action Systems},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {302--319},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_88},
doi = {10.1007/3-540-63383-9\_88},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/HedmanKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/SereW97,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Data Refinement and Remote Procedures},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {267--294},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014556},
doi = {10.1007/BFB0014556},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/SereW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SekerinskiS96,
author = {Emil Sekerinski and
Kaisa Sere},
title = {A Theory of Prioritizing Composition},
journal = {Comput. J.},
volume = {39},
number = {8},
pages = {701--712},
year = {1996},
url = {https://doi.org/10.1093/comjnl/39.8.701},
doi = {10.1093/COMJNL/39.8.701},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/SekerinskiS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BackS96,
author = {Ralph{-}Johan Back and
Kaisa Sere},
title = {Superposition Refinement of Reactive Systems},
journal = {Formal Aspects Comput.},
volume = {8},
number = {3},
pages = {324--346},
year = {1996},
url = {https://doi.org/10.1007/BF01214918},
doi = {10.1007/BF01214918},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BackS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Sere96,
author = {Kaisa Sere},
title = {Procedures and Atomicity Refinement},
journal = {Inf. Process. Lett.},
volume = {60},
number = {2},
pages = {67--74},
year = {1996},
url = {https://doi.org/10.1016/S0020-0190(96)00142-1},
doi = {10.1016/S0020-0190(96)00142-1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Sere96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BackMS96,
author = {Ralph{-}Johan Back and
Alain J. Martin and
Kaisa Sere},
title = {Specifying the Caltech Asynchronous Microprocessor},
journal = {Sci. Comput. Program.},
volume = {26},
number = {1-3},
pages = {79--97},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(95)00023-2},
doi = {10.1016/0167-6423(95)00023-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BackMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/SereW96,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Reverse Engineering Distributed Algorithms},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {8},
number = {2},
pages = {117--144},
year = {1996},
url = {https://doi.org/10.1002/(SICI)1096-908X(199603)8:2\&\#60;117::AID-SMR126\&\#62;3.0.CO;2-I},
doi = {10.1002/(SICI)1096-908X(199603)8:2\&\#60;117::AID-SMR126\&\#62;3.0.CO;2-I},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/SereW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BackS96,
author = {Ralph{-}Johan Back and
Kaisa Sere},
title = {From Action Systems to Modular Systems},
journal = {Softw. Concepts Tools},
volume = {17},
number = {1},
pages = {26--39},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/BackS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GoemanKSU96,
author = {Henk Goeman and
Joost N. Kok and
Kaisa Sere and
Rob T. Udink},
editor = {Paolo Ciancarini and
Chris Hankin},
title = {Coordination in the ImpUNITY Framework},
booktitle = {Coordination Languages and Models, First International Conference,
{COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1061},
pages = {215--230},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61052-9\_48},
doi = {10.1007/3-540-61052-9\_48},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GoemanKSU96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WaldenS96,
author = {Marina Wald{\'{e}}n and
Kaisa Sere},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Refining Action Systems within B-Tool},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {85--104},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_82},
doi = {10.1007/3-540-60973-3\_82},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/WaldenS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KasurinenS96,
author = {V. Kasurinen and
Kaisa Sere},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Integrating Action Systems and {Z} in a Medical System Specification},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {105--119},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_83},
doi = {10.1007/3-540-60973-3\_83},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KasurinenS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnn/WezelKS96,
author = {Michiel C. van Wezel and
Joost N. Kok and
Kaisa Sere},
title = {Determining the number of dimensions underlying customer-choices with
a competitive neural network},
booktitle = {Proceedings of International Conference on Neural Networks (ICNN'96),
Washington, DC, USA, June 3-6, 1996},
pages = {484--489},
publisher = {{IEEE}},
year = {1996},
url = {https://doi.org/10.1109/ICNN.1996.548941},
doi = {10.1109/ICNN.1996.548941},
timestamp = {Fri, 23 Aug 2019 13:25:16 +0200},
biburl = {https://dblp.org/rec/conf/icnn/WezelKS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ButlerSS95,
author = {Michael J. Butler and
Emil Sekerinski and
Kaisa Sere},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {An Action System Approach to the Steam Boiler Problem},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {129--148},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027234},
doi = {10.1007/BFB0027234},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ButlerSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/BackOSW95,
author = {Barbro Back and
Guido Osteroom and
Kaisa Sere and
Michiel C. van Wezel},
editor = {Georgios I. Doukidis and
Robert D. Galliers and
Tawfik Jelassi and
Helmut Krcmar and
Frank Land},
title = {Intelligent {IS} within business: bankruptcy predictions using neural
networks},
booktitle = {Proceedings of the Third European Conference on Information Systems,
{ECIS} 1995, Athens, Greece, 1995},
pages = {99--112},
year = {1995},
timestamp = {Mon, 05 Dec 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecis/BackOSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackMS95,
author = {Ralph{-}Johan Back and
Alain J. Martin and
Kaisa Sere},
editor = {Bernhard M{\"{o}}ller},
title = {An Action System Specification of the Caltech Asynchronous Microprocessor},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {159--179},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_9},
doi = {10.1007/3-540-60117-1\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BackS94,
author = {Ralph{-}Johan Back and
Kaisa Sere},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {From Action Systems to Modular Systems},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {1--25},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_83},
doi = {10.1007/3-540-58555-9\_83},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BackS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SereW94,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Verification of a Distributed Algorithm (Abstract)},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {391},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.198170},
doi = {10.1145/197917.198170},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/SereW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BackS94,
author = {Ralph{-}Johan Back and
Kaisa Sere},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Action Systems with Synchronous Communication},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {107--126},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/BackS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Sere93,
author = {Kaisa Sere},
title = {A Formalization of Superposition Refinement},
booktitle = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
Natanya, Israel, June 7-9, 1993, Proceedings},
pages = {222--230},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISTCS.1993.253467},
doi = {10.1109/ISTCS.1993.253467},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Sere93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BackS91,
author = {Ralph{-}Johan Back and
Kaisa Sere},
title = {Stepwise Refinement of Action Systems},
journal = {Struct. Program.},
volume = {12},
number = {1},
pages = {17--30},
year = {1991},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stp/BackS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BackS91,
author = {Ralph{-}Johan Back and
Kaisa Sere},
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Superposition Refinement of Parallel Algorithms},
booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
Fourth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
Australia, 19-22 November 1991},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {475--493},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BackS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Sere91,
author = {Kaisa Sere},
editor = {Bengt Jonsson and
Joachim Parrow and
Bj{\"{o}}rn Pehrson},
title = {Stepwise Refinement of Reactive Processor Farms},
booktitle = {Protocol Specification, Testing and Verification XI, Proceedings of
the {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
pages = {109--124},
publisher = {North-Holland},
year = {1991},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/pstv/Sere91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/WrightS91,
author = {Joakim von Wright and
Kaisa Sere},
editor = {Myla Archer and
Jeffrey J. Joyce and
Karl N. Levitt and
Phillip J. Windley},
title = {Program Transformations and Refinements in {HOL}},
booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
Proving System and its Applications, August 1991, Davis, California,
{USA}},
pages = {231--239},
publisher = {{IEEE} Computer Society},
year = {1991},
timestamp = {Wed, 17 Apr 2002 08:13:51 +0200},
biburl = {https://dblp.org/rec/conf/tphol/WrightS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/WaldenS89,
author = {Marina Wald{\'{e}}n and
Kaisa Sere},
title = {Free text retrieval on transputer networks},
journal = {Microprocess. Microsystems},
volume = {13},
number = {3},
pages = {179--187},
year = {1989},
url = {https://doi.org/10.1016/0141-9331(89)90124-5},
doi = {10.1016/0141-9331(89)90124-5},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/WaldenS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BackS89,
author = {Ralph{-}Johan Back and
Kaisa Sere},
title = {Stepwise Refinement of Parallel Algorithms},
journal = {Sci. Comput. Program.},
volume = {13},
number = {1},
pages = {133--180},
year = {1989},
url = {https://doi.org/10.1016/0167-6423(90)90069-P},
doi = {10.1016/0167-6423(90)90069-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BackS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackS89,
author = {Ralph{-}Johan Back and
Kaisa Sere},
editor = {Jan L. A. van de Snepscheut},
title = {Stepwise Refinement of Action Systems},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {115--138},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_7},
doi = {10.1007/3-540-51305-1\_7},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Sere87,
author = {Kaisa Sere},
editor = {Jan van Leeuwen},
title = {Stepwise Removal of Virtual Channels in Distributed Algorithms},
booktitle = {Distributed Algorithms, 2nd International Workshop, Amsterdam, The
Netherlands, July 8-10, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {312},
pages = {408--428},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0019819},
doi = {10.1007/BFB0019819},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Sere87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 02:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
