Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.