Petre, Ion and Mizera, Andrzej and Hyder, Claire and Mikhailov, Andrey and Eriksson, John and Sistonen, Lea and Back, Ralph-Johan J. Kok (editors) A New Mathematical Model for the Heat Shock Response In Algorithmic Bioprocesses, chapter: 1, Springer, 2008
Truscan, Dragos and Sandström, Kim and Lilius, Johan and Porres, Ivan Villar, Eugenio (editors) SystemC-based Simulation of the MICAS Architecture In Embedded Systems Specification and Design Languages, Lecture Notes in Electrical Engineering, vol: 10, chapter: 7, Springer, May, 2008
Karlå, Mathias and Truscan, Dragos and Lilius, Johan and Porres, Ivan and Eriksson, Timo and Hurskainen, Mikko A Testing Framework for NOTA-Based Devices In Proceedings of 1st Workshop on Model-based Testing in Practice (MoTIP'08), Jun, 2008
Petre, Luigia Energy-Aware Middleware In 15th IEEE International Conference on Engineering of Computer-Based Systems, IEEE Computing Society, Belfast, Ireland, Apr, 2008
Truscan, Dragos and Lindqvist, Johan and Lilius, Johan and Porres, Ivan and Eriksson, Timo and Rakkola, Juha and Latva-Aho, Antti Testable Specifications of NoTA-based Modular Embedded Systems In Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), page(s): 375-383, Apr, 2008
Truscan, Dragos and Seceleanu, Tiberiu and Lilius, Johan and Tenhunen, Hannu A Model-Based Design Process for the SegBus Distributed Architecture In Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), page(s): 307-316, Apr, 2008
Tuominen, Johanna and Westerlund, Tomi and Plosila, Juha Power Aware System Refinement Electronic Notes in Theoretical Computer Science, vol: 201C, page(s): 223-253, Mar, 2008
Articles in Conference Proceedings
Back, Ralph-Johan and Petre, Ion Back, Ralph-Johan and Petre, Ion (editors) Proceedings of COMPMOD 2008 General Publications, num: 47, Turku Centre for Computer Science, May, 2008
Metsälä, Tomi and Westerlund, Tomi and Virtanen, Seppo and Plosila, Juha ActionC: An Action Systems Approach to System Design with SystemC Research Note, num: 865, TUCS, University of Turku - Department of Information Technology - Computer Systems Laboratory, Jan, 2008
Petre, Ion and Mizera, Andrzej and Hyder, Claire and Mikhailov, Andrey and Eriksson, John and Sistonen, Lea and Back, Ralph-Johan A New Mathematical Model for the Heat Shock Response num: 883, TUCS, Apr, 2008
Book Chapters
Truscan, Dragos and Virtanen, Seppo and Lilius, Johan Nurmi, Jari (editors) Protocol Processor Design Issues In Processor Design - System-On-Chip Computing for ASICs and FPGAs, chapter: 12, page(s): 528, Springer, 2007
Virtanen, Seppo and Truscan, Dragos and Määttä Nurmi, Jari (editors) System Level Simulations In Processor Design - System-On-Chip Computing for ASICs and FPGAs, chapter: 18, page(s): 528, Springer, 2007
Back, Ralph-Johan and Eriksson, Johannes and Myreen, Magnus Testing and Verifying Invariant Based Programs in the SOCOS Environment In Tests And Proofs (First International Conference, TAP 2007, Zurich, Switzerland), LNCS, vol: 4454, page(s): 61-78, Springer, Zürich, Switzerland, Feb, 2007
Boström, Pontus and Linjama, Matti and Morel, Lionel and Siivonen, Lauri and Waldén, Marina Vilenius, J. and Koskimies, K. T. and Uusi-Heikkilä, J. (editors) Design and Validation of Digital Controllers for Hydraulics Systems In Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07), vol: 1, page(s): 227-241, Tampere University of Technology, Tampere, Finaland, May, 2007
Boström, Pontus and Neovius, Mats and Oliver, Ian and Waldén, Marina Julliand, Jacques and Kouchnarenko, Olga (editors) Formal Transformation of Platform Independent Models into Platform Specific Models In B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings, Lecture Notes in Computer Science, vol: 4355, page(s): 186-200, Springer-Verlag, Jan, 2007
Degerlund, Fredrik Etalle, S. and Samarati, P. (editors) Trust Mass, Volume and Density - a Novel Approach to Reasoning about Trust In Proceedings of the 2nd International Workshop on Security and Trust Management (STM 2006), Electronic Notes in Theoretical Computer Science, vol: 179, page(s): 87-96, Elsevier, Jul, 2007
Degerlund, Fredrik and Neovius, Mats and Sere, Kaisa Einar Broch Johnsen, Olaf Owe and Gerardo Schneider (editors) A Framework for Formal Reasoning about Distributed Webs of Trust In Proceedings of the 19th Nordic Workshop on Programming Theory, Universitetet i Oslo - Institutt for informatikk Research Report, vol: 366, page(s): 78-80, University of Oslo, Oct, 2007
Degerlund, Fredrik and Sere, Kaisa Cliff B. Jones, Zhiming Liu and Jim Woodcock (editors) A Framework for Incorporating Trust into Formal Systems Development In Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Proceedings, Lecture Notes in Computer Science, vol: 4711, page(s): 154-168, Springer, 2007
Degerlund, Fredrik and Waldén, Marina and Sere, Kaisa Implementation Issues Concerning the Action Systems Formalism In Proceedings of the Eighth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'07), IEEE Computer Society, 2007
Iliasov, Alexei and Romanovsky, Alexander and Arief, Budi and Laibinis, Linas and Troubitsyna, Elena Rigorous Design and Implementation of Fault Tolerant Ambient Systems In Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC07). Santorini, Greece, page(s): 141-146, May, 2007
Iliasov, Alexei and Romanovsky, Alexander and Arief, Budi and Laibinis, Linas and Troubitsyna, Elena A Framework for Open Distributed System Design In In Proceedings of Computer Software & Applications Conference (COMPSAC 07), Volume II - Workshop Papers, Beijing, China., page(s): 658-668, IEEE Computer Society, Conference Publishing Services, Jul, 2007
Laibinis, Linas and Troubitsyna, Elena and Leppänen, Sari M.Butler, C.Jones, A.Romanovsky, E.Troubitsyna (editors) Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems In Proceedings of Workshop on Methods, Models and Tools for Fault Tolerance (MeMoT'07). Oxford, UK., page(s): 24-32, Newcatle University Press, UK, Jul, 2007
Lehtonen, Teijo and Liljeberg, Pasi and Plosila, Juha Self-Timed NoC Links Using Combinations of Fault Tolerance Methods In Design, Automation and Test in Europe DATE Conference 2007, Digest of the Workshop on Diagnostic Services in Network-on-Chips, page(s): 327-332, Apr, 2007
Lehtonen, Teijo and Liljeberg, Pasi and Plosila, Juha Fault Tolerance Analysis of NoC Architectures In Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS 2007), page(s): 361-364, May, 2007
Lister, Raymond and Berglund, Anders and Box, Ilona and Cope, Chris and Pears, Arnold and Avram, Chris and Bower, Matt and Carbone, Angela and Davey, Bill and de Raadt, Michael and Doyle, Bernard and Fitzgerald, Sue and Mannila, Linda and Kutay, Cat and P Differing Ways that Computing Academics Understand Teaching In Proceedings of the Ninth Australasian Conference on Computing Education, vol: 60, page(s): 97-106, 2007
Linjama, Matti and Huova, Mikko and Boström, Pontus and Laamanen, Arto and Siivonen, Lauri and Morel, Lionel and Waldén, Marina and Vilenius, Matti Vilenius, J. and Koskimies, K. T. and Uusi-Heikkilä, J. (editors) Design and Implementation of Energy Saving Digital Hydraulic Control System In Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07), vol: 2, page(s): 341-359, Tampere University of Technology, May, 2007
Lindqvist, Johan and Lundkvist, Torbjörn and Porres, Ivan Karsten, Ehrig and Holger, Giese (editors) A Query Language with the Star Operator In Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT) 2007, Electronic Communications of the EASST, num: 6(2007), EASST, Braga, Portugal, Mar, 2007
Lilius, Johan and Porres, Ivan and Sandström, Kim and Truscan, Dragos SystemC-based Simulation of the MICAS Architecture In Proceedings of the Forum on specification and Design Languages (FDL 2007), ECSI, Sep, 2007
Neovius, Mats and Degerlund, Fredrik Luigia Petre, Kaisa Sere, Elena Troubitsyna and Einar Broch Johnsen (editors) Extending Dependability to Include User-Specific Trust In NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security, Oslo, Norway, October 2007, Abstracts, Åbo Akademi Reports on Computer Science & Mathematics, vol: Ser. B. No. 37, Åbo Akademi University, 2007
Petre, Luigia L. Petre, K. Sere, E. Troubitsyna, E.B. Johnsen (editors) Modeling Energy-Awareness into a Middleware Language In NOrdic workshop and doctoral symposium on DEpendability and Security - Abstracts, Abo Akademi Reports on Computer Science and Mathematics, Ser. B, num: No 37, Åbo Akademi, Oslo, Norway, Oct, 2007
Plaska, Marta and Walden, Marina and Snook, Colin Butler, Michael and Jones, Cliff and Romanovsky, Alexander and Troubitsyna, Elena (editors) Documenting the Progress of the System Development In Workshop on Methods, Models and Tools for Fault Tolerance - Proceedings, page(s): 118-127, FP6 IST RODIN (Rigorous Open Development Environment for Complex Systems), Jul, 2007
Plaska, Marta and Walden, Marina and Snook, Colin Einar Broch Johnsen, Olaf Owe, Gerardo Schneider (editors) Visualising Program Transformations in a Stepwise Manner In Proceedings of the 19th Nordic Workshop on Programming Theory, page(s): 87-89, University of Oslo, PMA group at the Department of Informatics, University of Oslo, Oct, 2007
Rajala, Teemu and Laakso, Mikko-Jussi and Kaila, Erkki and Salakoski, Tapio Yanar, Anu \& Saarela-Kivimäki Kaisa (editors) VILLE - kieliriippumaton visualisointisovellus ohjelmoinnin opiskeluun In Reflektori 2007 - Tekniikan opetuksen symposium 3.-4.12.2007, page(s): 230, Opetuksen ja opiskelun tuki, Teknillinen korkeakoulu Teaching and Learning Development Unit, Dec, 2007
Rajala, Teemu and Laakso, Mikko-Jussi and Kaila, Erkki and Salakoski, Tapio Raymond Lister \& Simon (editors) VILLE – A Language-Independent Program Visualization Tool In Conferences in Research and Practice in Information Technology, vol: 88, Australian Computer Society, Inc, Dec, 2007
Saleemi, M. Mohsin and Björkqvist, Jerker and Lilius, Johan Software Platform for Mobile TV In Workshop on Interactive Applications for Mobile TV, May, 2007
Snook, Colin and Waldén, Marina Julliand, Jacques and Kouchnarenko, Olga (editors) Refinement of Statemachines Using Event B Semantics In B2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings, Lecture Notes in Computer Science, vol: 4355, page(s): 171-185, Springer Berlin / Heidelberg, Jan, 2007
Solin, Kim Daniel Leivant, Ruy J. G. B. de Queiroz (editors) A Sketch of a Dynamic Epistemic Semiring In Logic, Language, Information and Computation, 14th International Workshop, LNCS, vol: 4576, page(s): 337-350, Springer, Jun, 2007
Truscan, Dragos and Seceleanu, Tiberiu and Tenhunen, Hannu and Lilius, Johan Towards a Design Methodology for Multiprocessor Platforms In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol: 1, page(s): 575-578, IEEE Computer Society, Jul, 2007
Tuominen, Johanna and Westerlund, Tomi and Plosila, Juha Formal Power Analysis of On-Chip Communication In Brasilian Symposium on Formal Methods (SBMF 2007), page(s): 87-102, Ouro Preto, Brazil, Aug, 2007
Pears, Arnold and Seidman, Stephen and Malmi, Lauri and Mannila, Linda and Adams, Elizabeth and Bennedsen, Jens and Devlin, Marie and Paterson, James A Survey of Literature on the Teaching of Introductory Programming SIGCSE Bulletin: Inroads, vol: 39, num: 4, page(s): 204-224, Dec, 2007
Ilic, Dubravka and Troubitsyna, Elena and Laibinis, Linas and Snook, Colin Formal Development of Mechanisms for Tolerating Transient Faults In Rigorous Development of Complex Fault-Tolerant Systems, Lecture Notes in Computer Science, vol: 4157, chapter: 10, page(s): 189-209, Springer Berlin / Heidelberg, Nov, 2006
Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E. (editors) Rigorous Development of Fault-Tolerant Agent Systems In Rigorous Development of Complex Fault-Tolerant Systems, Lecture Notes in Computer Science, vol: 4157, chapter: 13, page(s): 241-260, Springer Berlin / Heidelberg, Nov, 2006
Laibinis, Linas and Troubitsyna, Elena and Leppänen, Sari and Lilius, Johan and Malik, Qaisar Formal Service-Oriented Development of Fault Tolerant Communicating Systems In Rigorous Development of Complex Fault-Tolerant Systems, Lecture Notes in Computer Science, vol: 4157, chapter: 14, page(s): 261-187, Springer Berlin / Heidelberg, Nov, 2006
Alanen, Marcus and Lilius, Johan and Porres, Ivan and Truscan, Dragos and Oliver, Ian and Sandström, Kim Design Method Support for Domain Specific SoC design In Proceedings of the 3rd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2006), page(s): 25-32, IEEE, Potsdam, Germany, Mar, 2006
Alanen, Marcus and Lundkvist, Torbjörn and Porres, Ivan Reconciling Diagrams After Executing Model Transformations In Proceedings of the 21st Annual ACM Symposium on Applied Computing, Track on Model Transformation, Dijon, France, Apr, 2006
Alanen, Marcus and Lundkvist, Torbjörn and Porres, Ivan Oscar Nierstrasz, Jon Whittle, David Harel and Gianna Reggio (editors) A Mapping Language from Models to DI Diagrams In Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Lecture Notes in Computer Science, vol: 4199, page(s): 454-468, Springer Berlin / Heidelberg, Genova, Italy, Oct, 2006
Alanen, Marcus and Porres, Ivan Oscar Nierstrasz, Jon Whittle, David Harel and Gianna Reggio (editors) Basic Operations Over Models Containing Subset and Union Properties In Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Lecture Notes in Computer Science, vol: 4199, page(s): 469-483, Springer Berlin / Heidelberg, Genova, Italy, Oct, 2006
Auvinen, Jussi and Back, Rasmus and Heidenberg, Jeanette and Hirkman, Piia and Milovanov, Luka Münch, Jürgen and Vierimaa, Matias (editors) Software Process Improvement with Agile Practices in a Large Telecom Company In Proceedings of the 7th International Conference on Product-Focused Software Process Improvement - PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Lecture Notes in Computer Science, vol: 4034, page(s): 79-93, Springer Berlin / Heidelberg, Jun, 2006
Back, Ralph-Johan Donatelli, S. and Thiagarajan, P.S. (editors) Invariant Based Programming Revisited In Petri Nets 2006, 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science, vol: 4024, page(s): 1 - 18, Springer Verlag, Jun, 2006
Back, Ralph-Johan Peter Holmberg (editors) Hur Man Konstruerar Felfria Program In Sphinx årsbok2005 - 2006, Finska Vetenskaps-Societeten, 2006
Back, Ralph-Johan and Eriksson, Johannes and Milovanov, Luka Guelfi, Nicolas (editors) Using Stepwise Feature Introduction in Practice: An Experience Report In Rapid Integration of Software Engineering Techniques: Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, LNCS, vol: 3943, Springer-Verlag, May, 2006
Back, Ralph-Johan and Eriksson, Johannes and Myreen, Magnus Boca, P. and Bowen, J. P. and Duce, D. A. (editors) Verifying Invariant Based Programs in the SOCOS Environment In Teaching Formal Methods: Practice and Experience, Electronic Workshops in Computing (eWiC), BCS, Dec, 2006
Grandell, Linda and Peltomäki, Mia and Back, Ralph-Johan and Salakoski, Tapio Why Complicate Things? Introducing Programming in High School Using Python In Proceedings of the Eighth Australasian Computing Education Conference (ACE2006), vol: 52, page(s): 71-80, Australian Computer Society Inc, Hobart, Australia, Jan, 2006
Jussila, Toni and Dubrovin, Jori and Junttila, Tommi and Latvala, Timo Latvala and Porres, Ivan Model Checking Dynamic and Hierarchical UML State Machines In Proceedings of the 3rd Workshop on Model Design and Validation (MoDeVa 2006), 2006
Lafond, Sebastien and Lilius, Johan Grass, Werner and Sick, Bernhard and Waldschmidt, Klaus (editors) An Energy Consumption Model for an Embedded Java Virtual Machine In Architecture of Computing Systems - ARCS 2006: 19th International Conference, page(s): 311-325, Frankfurt/Main, Germany, Mar, 2006
Meinicke, Larissa and Hayes, Ian J. Zhiming Liu and Jifeng He (editors) Reasoning Algebraically About Probabilistic Loops In ICFEM, Lecture Notes in Computer Science, vol: 4260, page(s): 380-399, Springer-Verlag, 2006
Meinicke, Larissa and Hayes, Ian J. Tarmo Uustalu (editors) Continuous Action System Refinement In Mathematics of Program Construction, Lecture Notes in Computer Science, vol: 4014, page(s): 316-337, Springer-Verlag, 2006
Neovius, Mats and Sere, Kaisa and Yan, Lu and Satpathy, Manoranjan Dang, Van Hung and Paritosh, Pandya (editors) A Formal Model of Context-Awareness and Context-Dependency In Proceedings of the fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006., page(s): 177 - 185, IEEE Computer Society Press, Sep, 2006
Paganus, Annu and Mikkonen, Vesa-Petteri and Mäntylä Salakoski et al. (editors) The Vowel Game: Contrinuous Real-Time Visualization for Pronunciation Learning with Vowel Charts In Advances in Natural Language Processing, 5th International Conference, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings, Lecture Notes in Computer Science, vol: 4139, page(s): 696-703, Springer Berlin / Heidelberg, Aug, 2006
Petre, Luigia and Sere, Kaisa and Waldén, Marina Liu, Zhiming and He, Jifeng (editors) A Language for Modeling Network Availability In Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings, Lecture Notes in Computer Science, vol: 4260, page(s): 639-659, Springer Berlin / Heidelberg, Nov, 2006
Preoteasa, Viorel J. Misra; T. Nipkow; E. Sekerinski (editors) Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic In FM 2006: Formal Methods, 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings, Lecture Notes in Computer Science, vol: 4085, page(s): 508 - 523, Springer Berlin / Heidelberg, Aug, 2006
Satpathy, Manoranjan and Malik, Qaisar A. and Lilius, Johan Havelund, Klaus and N\'u\unez, Manuel and Rosu, Grigore and Wolff, Burkhart (editors) Synthesis of Scenario Based Test Cases from B Models In Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers, Lecture Notes in Computer Science, vol: 4262, page(s): 133-147, Springer, Aug, 2006
Saarni, Tuomo and Paakkulainen, Jyri and Mäkilä Salakoski et al. (editors) Implementing a Rule-Based Speech Synthesizer on a Mobile Platform In Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings, Lecture Notes in Computer Science, vol: 4139/2006, page(s): 349-355, Springer Berlin / Heidelberg, Aug, 2006
Sere, Kaisa and Yan, Lu and Neovius, Mats Dependability Challenge in Ubiquitous Computing In Proceedings of the International Workshop on Software Engineering Challenges for Ubiquitous Computing (SEUC 2006), June 1-2, 2006 - Lancaster, UK, Jun, 2006
Westerlund, Tomi and Plosila, Juha Liu, Zhiming and He, Jifeng (editors) Time Aware Modelling and Analysis of Multiclocked VLSI Systems In Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Lecture Notes in Computer Science, vol: 4260, page(s): 737-756, Springer Berlin / Heidelberg, Nov, 2006
Westerlund, Tomi and Plosila, Juha Nurmi, Jari and Takala, Jarmo (editors) Formal Modelling of Multiclocked VLSI Systems In Proceedings of the International Symposium on System-on-Chip (SoC) 2006, Tampere, Finland, November 13-16, 2006, page(s): 141-144, Nov, 2006
Fuller, Ursula and Pears, Arnold and Amillo, June and Avram, Chris and Mannila, Linda A Computing Perspective on the Bologna Process ACM SIGCSE Bulletin, vol: 38, num: 4, page(s): 142-158, Dec, 2006
Björklund, Dag and Lilius, Johan and Porres, Ivan Gérard, Sébastien and Babau, Jean-Philippe and Champeau, Joel (editors) Code Generation for Embedded Systems In Model Driven Engineering for Distributed Real-time Embedded Systems, chapter: 11, Hermes Science, Aug, 2005
Alanen, Marcus and Porres, Ivan Hongji Yang (editors) Version Control of Software Models In Advances in UML and XML-Based Software Evolution, chapter: III, Idea Group Publishing, Apr, 2005
Back, Ralph-Johan Broy, Gunbauer, Harel and Hoare (editors) Incremental Software Construction with Refinement Diagrams In Engineering Theories of Software Intensive Systems, NATO Science Series II: Mathematics, Physics and Chemistry, page(s): 3-46, Springer, Marktoberdorf, Germany, 2005
Articles in Conference Proceedings
Alanen, Marcus and Lundkvist, Torbjörn and Porres, Ivan Kai Koskimies, Ludwik Kuzniarz, Jyrki Nummenmaa, Zheying Zhang (editors) GXL and MOF: a Comparison of XML Applications for Information Interchange In Proceedings of NWUML'2005: The 3rd Nordic Workshop on UML and Software Modeling, num: Report A-2005-3, page(s): 123-136, University of Tampere, Finland, Tampere, Finland, Aug, 2005
Alanen, Marcus and Porres, Ivan Bob Werner (editors) Model Interchange Using OMG Standards In Proceedings of the 31st Euromicro Conference on Software Engineering and Advanced Applications, page(s): 450-458, IEEE Computer Society, Porto, Portugal, Aug, 2005
Boström, Pontus and Waldén, Marina H. Treharne, S. King, M. Henson and S. Schneider (editors) An Extension of Event B for Developing Grid Systems In Proceedings of the 4th International Conference of B and Z Users - ZB2005 Formal Specification and Development in Z and B., Lecture Notes in Computer Science, vol: 3455, page(s): 142-161, Springer-Verlag, Guildford, UK, Apr, 2005
Boström, Pontus and Waldén, Marina Judi M.T. Romijn, Graeme P. Smith, Jaco Pol (editors) Development of Fault Tolerant Grid Applications Using Distributed B In Integrated Formal Methods: 5th International Conference, IFM 2005, page(s): 167-186, Eindhoven, The Netherlands, Nov, 2005
Celiku, Orieta Joe Hurd, Edward Smith, Ashish Darbari (editors) Quantitative Temporal Logic Mechanized in HOL In Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, Research Report, num: PRG-RR-05-02, page(s): 14-29, Oxford University Computing Laboratory, Aug, 2005
Celiku, Orieta Dang Hung, Martin Wirsing (editors) Quantitative Temporal Logic Mechanized in HOL In Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, page(s): 439-453, Springer-Verlag GmbH, Hanoi, Vietnam, Oct, 2005
Cerschi Seceleanu, Cristina Jerzy Rozenblit, Tim O'Neill and Jianfeng Peng (editors) Formal Development of Real-Time Priority-Based Schedulers In Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), Greenbelt, Maryland, USA, page(s): 263-270, IEEE Computer Society Press, Apr, 2005
Degerlund, Fredrik and Waldén, Marina and Sere, Kaisa Implementation Issues Concerning the Action Systems Formalism In 17th Nordic Workshop on Programming Theory, Presentation Abstracts, page(s): 59-61, DIKU, University of Copenhagen, Copenhagen, Denmark, Oct, 2005
Iliasov, Alexey and Laibinis, Linas and Romanovsky, Alexander and Troubitsyna, Elena Towards Formal Development of Mobile Location-Based Systems In Proceedings of REFT 2005 - the Workshop of on Rigorous Engineering of Fault Tolerant Systems, page(s): 53-64, Newcastle, UK, Jul, 2005
Ilic, Dubravka and Troubitsyna, Elena Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (editors) Modelling Fault Tolerance of Transient Faults In Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), page(s): 84-92, Jul, 2005
Laibinis, Linas and Troubitsyna, Elena Fault Tolerance in Use-Case Modeling In Proceedings of RHAS 2005 - the Workshop on Requirements for High Assurance Systems, Sep, 2005
Laibinis, Linas and Troubitsyna, Elena and Leppänen, Sari and Lilius, Johan and Malik, Qaisar Formal Service-Oriented Development of Fault Tolerant Communicating Systems In Proceedings of REFT 2005 - the Workshop of on Rigorous Engineering of Fault Tolerant Systems, page(s): 2-11, Newcastle, UK, Jul, 2005
Laibinis, Linas and Troubitsyna, Elena and Leppänen, Sari and Lilius, Johan and Malik, Qaisar Lau, Kung-Kiu and Banach, Richard (editors) Formal Model-Driven Development of Communicating Systems In Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Lecture Notes in Computer Science, vol: 3785, page(s): 188-203, Springer, Nov, 2005
Leppänen, Sari and Ilic, Dubravka and Malik, Qaisar and Systä, Tarja and Troubitsyna, Elena Ludwik Kuzniarz, Gianna Reggio, Jean Louis Sourrouille, Miroslaw Staron (editors) Specifying UML Profile for Distributed Communicating Systems and Communication Protocols In Proceedings of the Workshop on Consistency in Model Driven Engineering - C@MODE’05, page(s): 31-46, Nuremberg, Germany, Nov, 2005
Lilius, Johan and Lillqvist, Tomas and Lundkvist, Torbjörn and Oliver, Ian and Porres, Ivan and Sandström, Kim and Sveholm, Glenn and Zaka, Asim Pervez Kai Koskimies, Ludwik Kuzniarz, Jyrki Nummenmaa, Zheying Zhang (editors) The MICAS Tool In Proceedings of the NWUML'2005: The 3rd Nordic Workshop on UML and Software Modeling, num: Report A-2005-3, page(s): 180-192, University of Tampere, Finland, Tampere, Finland, Aug, 2005
Liang, Zheng and Plosila, Juha and Yan, Lu and Sere, Kaisa On-chip Debug for an Asynchronous Java Accelerator In Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), page(s): 312-315, IEEE Computer Society Press, Dec, 2005
Mäntylä, Tomi and Laakso, Mikko and Innola, Erkki and Salakoski, Tapio Salakoski, T. and Mäntylä, T. and Laakso, M. (editors) Student Counselling with the SOPS-tool In Koli Calling 2005 - Proceedings of the Fifth Koli Calling Conference on Computer Science Education, TUCS General Publication, num: 41, Turku Centre for Computer Science, University of Turku, Department of Information Technology, Turku, Finland, Dec, 2005
Neovius, Mats Enokido, Tomoya and Yan, Lu and Xiao, Bin and Kim, Daeyoung and Dai, Yuanshun and Yang, Laurence T. (editors) An Abstract Model for Incentive-Enhanced Trust in P2P Networks In Embedded and Ubiquitous Computing: EUC 2005, page(s): 602-611, Nagasaki, Japan, Dec, 2005
Paakkulainen, Jani and Virtanen, Seppo and Isoaho, Jouni T. D. Hämäläinen et al. (editors) Tuning a Protocol Processor Architecture Towards DSP Operations In Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Lecture Notes in Computer Science (LNCS), num: 3553, page(s): 132-141, Springer-Verlag, Berlin, Germany, Jul, 2005
Cerschi Seceleanu, Cristina Designing Controllers for Reachability In Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), IEEE Computer Society, Edinburgh, Scotland, Jul, 2005
Seceleanu, Tiberiu and Garlan, David Synchronized Architectures for Adaptive Systems In Proceedings of the 2nd International Workshop on Software Cybernetics in Conjunction with COMPSAC 2005, Edinburgh, UK, Jul, 2005
Virtanen, Seppo and Truscan, Dragos and Paakkulainen, Jani and Isoaho, Jouni and Lilius, Johan Highly Automated FPGA Synthesis of Application-Specific Protocol Processors In Proceedings of the 15th International Conference on Field Programmable Logic and Applications (FPL 2005), IEEE Circuits and Systems Society, Tampere, Finland, Aug, 2005
Westerlund, Tomi and Plosila, Juha Hämäläinen, Timo D. and Pimentel, Andy D. and Takala, Jarmo and Vassiliadis, Stamatis (editors) Formal Specification of a Protocol Processor In Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Lecture Notes in Computer Science, vol: 3553, page(s): 122-131, Springer-Verlag GmbH, Samos, Greece, Jul, 2005
Yan, Lu and Liang, Zheng Reconfigurable Computing in Ubiquitous Computers: A Roadmap In Proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), page(s): 302-305, IEEE Computer Society, Dec, 2005
Yan, Lu Wu, Zhaohui and Guo, Minyi and Chen, Chun and Bu, Jiajun (editors) Formal Verification of a Ubiquitous Hardware Component In Proceedings of the First International Conference on Embedded Software and System (ICESS 2004), Lecture Notes in Computer Science, vol: 3605, page(s): 536, Springer-Verlag, Hangzhou, China, Dec, 2005
Yan, Lu Performance Modeling of Mobile P2P Systems In Proceedings of the 3rd International Conference on Networking and Mobile Computing (ICCNMC 2005), Lecture Notes in Computer Science, vol: 3619, Springer-Verlag, Zhangjiajie, China, Aug, 2005
Yan, Lu Jia, Xiaohua; Wu, Jie; He, Yanxiang (editors) Can P2P Benefit from MANET? Performance Evaluation from Users' Perspective In Proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks (MSN 2005), Lecture Notes in Computer Science, vol: 3794, page(s): 1026-1035, Springer-Verlag, Wuhan, China, Dec, 2005
Lilius, Johan and Lillqvist, Tomas and Lundkvist, Torbjörn and Oliver, Ian and Porres, Ivan and Sandström, Kim and Sveholm, Glenn and Zaka, Asim Pervez An Architecture Exploration Environment for System on Chip Design Nordic Journal of Computing, vol: 12, num: 4, page(s): 361-378, Winter, 2005
Alanen, Marcus and Porres, Ivan Model Interchange Using OMG Standards the 31st Euromicro conference on Software Engineering and Advanced Applications, Porto, Portugal, Sep, 2005
Tsiopolus, Leonidas and Waldén, Marina Formal Development of NoC Systems in B The 17th Nordic Workshop in Programming Theory NWPT'05, Copenhagen, Denmark, Oct, 2005
Back, Ralph-Johan and Sere, Kaisa and Petre, Luigia CREST Progress Report 2004-2005 General Publications, num: 2005, Turku Centre for Computer Science, Nov, 2005
Tuominen, Johanna and Säntti, Tero and Plosila, Juha Towards a Formal Power Estimation Framework num: 672, TUCS - Turku Centre for Computer Science, Turku, Finland, Mar, 2005
von Wright, Joakim Towards a Refinement Algebra Science of Computer Programming, vol: 51, num: 1-2, page(s): 23-45, Elsevier North-Holland, Turku, Finland, May, 2004
Plosila, Juha and Seceleanu, Tiberiu and Sere, Kaisa Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, Axel Jantsch (editors) Formal Communication Modeling and Refinement In Interconnect-Centric Design for Advanced SoC and NoC, chapter: 12, page(s): 315-340, Kluwer Academic Publishers, Mar, 2004
Ahonen, Tapani and Virtanen, Seppo and Kylliäinen, Juha and Truscan, Dragos and Sigüenza-Tortosa, David and Paakkulainen, Jani and Ristimäki, Tapio and Kasanko, Tuukka and Nurmi, Tero and Isännäinen, Hannu and Saastamoinen, Ilkka and Lilius, Johan and Nurmi, Jari and Isoaho, Jouni Nurmi, J and Tenhunen, H. and Isoaho, J and Jantsch, A (editors) A Brunch from the Coffee Table - Case Study in NoC Platform Designs In Interconnect-centric Design for Advanced SoC and NoC, chapter: 16, page(s): 425-453, Kluwer Academic Publishers, Apr, 2004
Björklund, Dag and Lilius, Johan and Porres, Ivan Cristoph Grimm (editors) A Unified Approach to Code Generation from Behavioral Diagrams In Languages for System Specification, The ChDL series, chapter: I, page(s): 21-34, Kluwer Academic Publishers, 2004
Articles in Conference Proceedings
Alanen, Marcus and Lilius, Johan and Porres, Ivan and Truscan, Dragos Uw Assmann (editors) MDE Support in a Protocol Processing Design Method In Proceedings of Model-Driven Architecture: Foundations and Applications 2004, page(s): 234-247, Reseach Center for Intergrational Software Engineering, Department of Computer and Information Science, Linköping, Sweden, Jun, 2004
Alanen, Marcus and Lilius, Johan and Porres, Ivan and Truscan, Dragos Fernandes, Joao M. and Lilius, Johan and Machado, Ricardo J. and Porres, Ivan (editors) Model Driven Engineering: A Position Paper In Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software MOMPES'04, General Publications, num: 29, page(s): 25-29, Turku Centre for Computer Science, Jun, 2004
Alanen, Marcus and Porres, Ivan Koskimies, Kai and Kuzniarz, Ludwik and Lilius, Johan and Porres, Ivan (editors) The Coral Modelling Framework In Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language NWUML'2004, General Publications, num: 35, Turku Centre for Computer Science, Jul, 2004
Alanen, Marcus and Porres, Ivan D. H. Akerhurst (editors) Coral: A Metamodel Kernel for Transformation Engines In Proceedings of the Second Europena Workshop on Model Driven Architecture (MDA), num: 17, page(s): 165-170, University of Kent, Canterbury, Kent CT2 7NF, United Kingdom, Sep, 2004
Back, Ralph-Johan and Cerschi Seceleanu, Cristina Vaclav Dvorak, Miroslav Sveda (editors) Contracts and Games in Controller Synthesis for Discrete Systems In Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems, page(s): 307-314, IEEE Computer Society Press, Brno, Czech Republic, May, 2004
Back, Ralph-Johan and Hirkman, Piia and Milovanov, Luka Steinmetz, Ralf and Mauthe, Andreas (editors) Evaluating the XP Customer Model and Design by Contract In Proceedings of the 30th EUROMICRO Conference, page(s): 318-325, IEEE, Rennes, France, Aug, 2004
Back, Ralph-Johan and Peltomäki, Mia and Salakoski, Tapio and von Wright, Joakim Laine, A. and Lavonen, J. and Meisalo, V. (editors) Structured Derivations Supporting High-School Mathematics In Proceedings of the 20th Annual Symposium of the Finnish Mathematics and Science Education Research Association, Research Report 253, page(s): 104-122, University of Helsinki, Department of Applied Sciences of Education, Helsinki, Finland, 2004
Björklund, Dag Efficient Code Synthesis from Synchronous Dataflow Graphs In Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design, page(s): 83-92, IEEE Computer Society Press, ACM and IEEE, Jun, 2004
Boström, Pontus and Waldén, Marina P. Petterson and W. Yi (editors) Extensions of Event Based B for Development of Grid Systems In Proceedings of the 16th Nordic Workshop on Programming Theory, page(s): 110-112, Uppsala University, Uppsala, Sweden, Oct, 2004
Cerschi Seceleanu, Cristina and Seceleanu, Tiberiu Modular Design of Reactive Systems In Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), page(s): 265-271, IEEE Computer Society, Hong Kong, China, Sep, 2004
Fernandes, Joao M. and Lilius, Johan Functional and Object-Oriented Views in Embedded Software Modeling In Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2004), page(s): 378-387, IEEE Computer Society Press, Brno, Czech Republic, May, 2004
Ilic, Dubravka and Troubitsyna, Elena P. Petterson and W. Yi (editors) A Formal Approach to Model-driven Engineering In Proceedings of the 16th Nordic Workshop on Programming Theory, page(s): 25-26, Uppsala University, Sweden, Oct, 2004
Isaksson, Joakim and Lilius, Johan and Truscan, Dragos Guelfi, Nicolas and Reggio, Gianna, and Romanovsky, Alexander (editors) A MOF-Based Metamodel for SA/RT In Proceedings of Rapid Integration of Software Engineering Techniques (RISE'04), LNCS, num: 3475, page(s): 102-111, Springer-Verlag GmbH, Nov, 2004
Laibinis, Linas and Troubitsyna, Elena M.Heisel, P.Liggesmeyer, S.Wittmann (editors) Refinement of Fault Tolerant Control Systems in B In Computer Safety, Reliability, and Security - Proceedings of SAFECOMP 2004, Lecture Notes in Computer Science, num: 3219, page(s): 254-268, Springer-Verlag, Sep, 2004
Truscan, Dragos and Fernandes, Joao Miguel and Lilius, Johan Vaclav Dvorak, Miroslav Sveda (editors) Tool Support for DFD to UML Model-Based Transformations In Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems, page(s): 388-397, IEEE Computer Society Press, Brno, Czech Republic, May, 2004
Troubitsyna, Elena Linking Safety Analysis and Use Cases In International Conference on Software Engineering, Research, Management and Applications, Los Angeles, USA, May, 2004
Yan, Lu and Ferrer Serra, Moises and Niu, Guangcheng and Zhou, Xinrong and Sere, Kaisa SkyMin: A Massive Peer-to-Peer Storage System In Proceedings of Grid and Cooperative Computing - GCC 2004, Lecture Notes in Computer Science, num: 3251, Springer-Verlag, Oct, 2004
Yan, Lu and Liang, Zheng Accelerating Java for Ubiquitous Devices In Proceedings of the Fourth International Conference on Computer and Information Technology (CIT 04), IEEE Computer Society Press, Sep, 2004
Yan, Lu Via Firewalls In Proceedings of Grid and Cooperative Computing - GCC 2004, Lecture Notes in Computer Science, num: 3252, Springer-Verlag, Oct, 2004
Yan, Lu and Ni, Jincheng Building a Formal Framework for Mobile Ad Hoc Computing In Proceedings of the International Conference on Computational Science (ICCS 2004), Lecture Notes in Computer Science, vol: 3036, Springer-Verlag, Jun, 2004
Yan, Lu and Xue, Fei A Performance Model For Peer-to-Peer Downloading In Proceedings of the International Conference on Pervasive Computing and Communications (PCC 2004), CSREA Press, Jun, 2004
Pakarinen, Teemu and Hagström, Niklas and Koistila, Petri and Björkqvist, Jerker and Nykänen, Pekka and Saikamäki, Arto A Guide to the OpenMHP environment Oct, 2004
Lilius, Johan Modelling Behavior in UML Third Workshop on Modelling of Objects, Components and Agents MOCA'04, Aarhus, Denmark, Oct, 2004
Waldén, Marina The B Method Guest lecture within the course "Formal System Specification and Design", Åbo Akademi University, Turku, Finland, Apr, 2004
Back, Ralph-Johan and Sere, Kaisa CREST Progress Report 2002-2003 General Publications, num: 37, TUCS - Turku Centre for Computer Science, Turku, Finland, 2004
Back, Ralph-Johan and von Wright, Joakim McIver, Annabelle and Morgan, Carroll (editors) Enforcing Behavior with Contracts In Monographs in Computer Science, chapter: 2, page(s): 17-52, Springer-Verlag, 2003
Articles in Conference Proceedings
Alanen, Marcus and Porres, Ivan Perdita Stevens and Jon Whittle and Grady Booch (editors) Difference and Union of Models In UML 2003 - The Unified Modeling Language, Lecture Notes in Computer Science, vol: 2863, page(s): 2-17, Springer-Verlag, Oct, 2003
Back, Ralph-Johan and Björklund, Dag and Lilius, Johan and Milovanov, Luka and Porres, Ivan Perdita Stevens and Jon Whittle and Grady Booch (editors) A Workbench to Experiment on New Model Engineering Applications In UML 2003 - The Unified Modeling Language, Lecture Notes in Computer Science, vol: 2863, Springer-Verlag, San Francisco, USA, Oct, 2003
Back, Ralph-Johan and Fan, Xiaocong and Preoteasa, Viorel Reasoning about Pointers in Refinement Calculus In Proceedings of the Tenth Asia-Pacific Software Engineering Conference (APSEC'03), Dec, 2003
Back, Ralph-Johan and Preoteasa, Viorel Reasoning about Recursive Procedures with Parameters In Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding, ACM Press, New York, NY, USA, Aug, 2003
Björklund, Dag and Lilius, Johan and Porres, Ivan Rialto Profile in the SMW Toolkit In Proceedings of the Third International Conference on Application of Concurrency to System Design ACSD 2003, IEEE Computer Society Press, Jun, 2003
Boström, Pontus and Waldén, Marina Sere, Kaisa and Waldén, Marina (editors) A Case Study: Implementation of Control Systems Using B-Action Systems In Proceedings of the 15th Nordic Workshop on Programming Theory , Ser. B,, num: 34, page(s): 51-53, Åbo Akademi University, Oct, 2003
Celiku, Orieta and von Wright, Joakim Implementing Angelic Nondeterminism In Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), IEEE Computer Society Press, Chiang Mai, Thailand, Dec, 2003
Mantere, Timo and Alander, Jarmo T. Generating and Testing Halftoning Filters Co-Evolutionarily In Proceedings of 2002 WSEAS International Conference on Electronics, Control and Signal Processing, page(s): CD Proceedings, 6 pages, WSEAS, WORLD SCIENTIFIC AND ENGINEERING ACADEMY AND SOCIETY (WSEAS), Singapore, 2003
Plosila, Juha and Sere, Kaisa and Waldén, Marina de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem-Paul (editors) Design with Asynchronously Communicating Components In Proceedings of FMCO 2002: First International Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science, num: 2852, page(s): 424-442, Springer-Verlag, 2003
Porres, Ivan Perdita Stevens and Jon Whittle and Grady Booch (editors) Model Refactorings as Rule-Based Update Transformations In Proceedings of UML 2003 - The Unified Modeling Language, 6th International Conference, Lecture Notes in Computer Science, vol: 2863, page(s): 159-174, Springer-Verlag, San Francisco , CA, USA, Oct, 2003
Seceleanu, Tiberiu and Westerlund, Tomi Segment Arbiter as Action Systems In Proceedings of IEEE International Symposium on Signals, Circuits and System, SCS, vol: 1, page(s): 249-252, IEEE Computer Society Press, Jul, 2003
Snook, Colin and Tsiopoulos, Leonidas and Waldén, Marina Muntean, Traian and Sere, Kaisa (editors) A Case Study in Requirement Analysis of Control Systems Using UML and B In Proceedings of RCS'03 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience, Jun, 2003
Solin, Kim and von Wright, Joakim K. Sere and M. Waldén (editors) Demonic Refinement Algebra with Domain In Proceedings of the 15th Nordic Workshop on Programming Theory, Reports on Computer Science and Mathematics, Ser. B, num: 34, Åbo Akademi, Oct, 2003
Troubitsyna, Elena N.C. Debnath and G. A. Montejano and D.E. Riesco (editors) Developing Fault Tolerant Software Using Statecharts and FMEA In Proceedings of the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, page(s): 27-33, Rio de Janeiro, Brazil, Jun, 2003
Virtanen, Seppo and Paakkulainen, Jani and Nurmi, Tero and Isoaho, Jouni NoC Interface for a Protocol Processor In Proceedings of the 21st IEEE NORCHIP Conference, page(s): 31-34, Riga, Latvia, Nov, 2003
Yan, Lu and Ni, Jincheng and Sere, Kaisa Sere, Kaisa and Waldén, Marina (editors) Towards a Systematic Design for Ad Hoc Network Applications In Proceedings of the 15th Nordic Workshop on Programming Theory, Ser. B, num: 34, Åbo Akademi University, Oct, 2003
Yan, Lu and Sere, Kaisa Stepwise Development of Peer-to-Peer Systems In Proceedings of the 6th International Workshop in Formal Methods (IWFM'03), Electronic Workshops in Computing (eWiC), British Computer Society (BCS), Jul, 2003
Yan, Lu and Sere, Kaisa Traian Muntean and Kaisa Sere (editors) Developing Peer-to-Peer Systems with Formal and Informal Methods In Proceedings of RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Jun, 2003
Bert, Didier and Bowen, Jonathan and King, Steve and Waldén, Marina (editors) ZB2003: Formal Specification and Development in Z and B Lecture Notes in Computer Science, num: 2651, Springer-Verlag, Åbo Akademi University, Heidelberg, Germany, Jun, 2003
Alanen, Marcus and Lilius, Johan and Porres, Ivan and Truscan, Dragos Realizing a Model Driven Engineering Process num: 565, TUCS - Turku Centre for Computer Science, Turku, Finland, Nov, 2003
Alanen, Marcus and Porres, Ivan Difference and Union of Models num: 527, TUCS - Turku Centre for Computer Science, Turku, Finland, Apr, 2003
Back, Ralph-Johan and Cerschi Seceleanu, Cristina and Westerholm, Jan Symbolic Simulation of Hybrid Systems num: 503, TUCS - Turku Centre for Computer Science, Turku, Finland, Jan, 2003
Boström, Pontus and Jansson, Micaela and Waldén, Marina A Healthcare Case Study: Fillwell num: 569, TUCS - Turku Centre for Computer Science, Turku, Finland, Dec, 2003
Cerschi Seceleanu, Cristina and Seceleanu, Tiberiu On Designing for Modularity num: 534, TUCS - Turku Centre for Computer Science, Turku, Finland, Oct, 2003
Isaksson, Joakim and Truscan, Dragos and Lilius, Johan A MOF-Based Metamodel for SA/RT num: 555, TUCS - Turku Centre for Computer Science, Turku, Finland, Sep, 2003
Westerlund, Tomi and Seceleanu, Tiberiu An UML Profile for Action Systems num: 581, TUCS - Turku Centre for Computer Science, Turku, Finland, Dec, 2003
Yan, Lu and Sere, Kaisa and Zhou, Xinrong Peer-to-Peer Networking with Firewalls num: 554, TUCS - Turku Centre for Computer Science, Turku, Finland, Sep, 2003
Rönkkö, Mauno and Ravn, Anders P. and Sere, Kaisa Hybrid Action Systems Theoretical Computer Science, vol: 1, num: 290, page(s): 937-973, Dec, 2002
Articles in Conference Proceedings
Back, Ralph-Johan Goos, G and Hartmanis, J and von Leeuween, J (editors) SFI: A refinement Based Layered Software Architecture In Proceedings of the 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, vol: 2495, page(s): 1-2, Springer-Verlag, Shanghai, China, Oct, 2002
Back, Ralph-Johan and Cerschi Seceleanu, Cristina and Westerholm, Jan Paul Strooper and Pornsiri Muenchaisri (editors) Symbolic Simulation of Hybrid Systems In Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), num: 1530, page(s): 147-155, IEEE Computer Society Press, Gold Coast, Queensland, Australia, Dec, 2002
Back, Ralph-Johan D. Bert and J. P. Bowen and M. C. Henson and K. Robinson (editors) Software Construction by Stepwise Feature Introduction In ZB 2002: Formal Specification and Development in Z and B, proceedings of 2nd International Conference of B and Z Users, Lecture Notes in Computer Science, num: 2272, page(s): 162-183, Springer-Verlag, Grenoble, France, Jan, 2002
Back, Ralph-Johan and Kavander, Tanja and Nylund, Martin and Peltomäki, Mia and Salakoski, Tapio and von Wright, Joakim Teaching High-School Mathematics with Structured Derivations in Hypertext Format In Proceedings of International Conference on Computer Systems and Technologies - CompSysTech'2002, Sofia, Bulgaria, Jun, 2002
Björklund, Dag and Lilius, Johan Carlos Delgado Kloos and Jose da Franca (editors) Towards a Kernel Language for Heterogenous Computing In Design Automation and Test in Europe 2002, page(s): 1136, IEEE Computer Society Press, Mar, 2002
Bos, Victor and Kleijn, Jeroen Luettgen, Gerald and Mendler, Michael and Maraninchi, Florence (editors) Redesign of a Systems Engineering Language In Semantic Foundations of Engineering Design Languages (SFEDL '02), page(s): 100-118, ETAPS, Grenoble, France, Apr, 2002
Celiku, Orieta and von Wright, Joakim Chris George and Huaikou Miao (editors) Theorem Prover Support for Precondition and Correctness Calculation In Proceedings of the 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, vol: 2495, page(s): 299-310, Springer-Verlag, Oct, 2002
Enqvist, Henrik and Lilius, Johan Österbye Kasper (editors) Region Based Allocation in Java In Proceedings of the Nordic workshop on Software Development Tools and Techniques NWPER 2002, Aug, 2002
Kavander, Tanja and Nylund, Martin and Peltomäk, Mia and Salakoski, Tapio and von Wright, Joakim Teaching High-School Mathematics with Structured Derivations in Hypertext Format In Proceedings of the 1st Nordic - Baltic Sea Conference on Computer Science Education, page(s): 46-52, University of Joensuu, Department of Computer Science, Koli, Finland, Oct, 2002
Petre, Luigia Jan Jurjens and Maria Victoria Cengarle and Eduardo B. Fernandez and Bernhard Rumpe and Robert Sandner (editors) Control Systems Development - A Case Study In Critical Systems Development with UML - Proceedings of the UML'02 Workshop, page(s): 171-180, Technische Universitat Munchen, Sep, 2002
Petre, Luigia and Troubitsyna, Elena and Waldén, Marina Butler, Michael and Muntean, T. (editors) A Healthcare Case Study In Proceedings of RCS - International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, Jan, 2002
Plosila, Juha and Seceleanu, Tiberiu Chris George and Huaikou Miao (editors) Specification of an Asynchronous On-Chip Bus In Formal Methods and Software Engineering, Lecture Notes in Computer Science, vol: 2495, page(s): 383-395, Springer-Verlag, Oct, 2002
Seceleanu, Tiberiu and Plosila, Juha and Liljeberg, Pasi P.R. Mukund and J. Chickanosky and R.K. Krishnamurthy (editors) On-Chip Segmented Bus: A Self Timed Approach In Proceedings of the 15th Annual IEEE International ASIC/SOC Conference, page(s): 216-221, Sep, 2002
Snook, Colin and Waldén, Marina Butler, Michael and Muntean, T. (editors) Use of U2B for Specifying B Action Systems In Proceedings of RCS - International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, Jan, 2002
Virtanen, Seppo and Lilius, Johan and Nurmi, Tero and Westerlund, Tomi TACO: Rapid Design Space Exploration for Protocol Processors In Proceedings of the 9th IEEE/DATC Electronic Design Processes Workshop Notes, IEEE Computer Society DATC, ACM SIGDA, Monterey, California, USA, Apr, 2002
von Wright, Joakim E. Boiten and B. Möller (editors) From Kleene Algebra to Refinement Algebra In Mathematics of Program Construction (MPC'02), Lecture Notes in Computer Science, vol: 2386, page(s): 233-262, Springer-Verlag, 2002
Greer, Brian and Hakonen, Henri and Lahdelma, Risto and Miikkulainen, Risto D. Fogel (editors) Numerical Optimization with Neuroevolution In Proceedings of the 2002 Congress on Evolutionary Computation (CEC'02), page(s): 361-401, IEEE Press, Piscataway, NJ, 2002
Back, Ralph-Johan and von Wright, Joakim Compositional Action System Refinement num: 464, TUCS - Turku Centre for Computer Science, Turku, Finland, Jun, 2002
Björklund, Dag and Lilius, Johan and Porres, Ivan Andy Evans and Robert France and Ana Moreira and Bernhard Rumpe (editors) Towards Efficient Code Synthesis from Statecharts In Workshop of the pUML-Group held together with the UML 2001, Lecture Notes in Informatics, page(s): 29-41, GI, Oct, 2001
Celiku, Orieta and von Wright, Joakim Richard J. Boulton and Paul B. Jackson (editors) Transformational reasoning with incomplete information In TPHOLs 2001: Supplemental Proceedings, Informatics Report Series, University of Edinburgh, Division of Informatics, Sep, 2001
Miettinen, Kaisa and Salminen, Pekka and Lahdelma, Risto M. Köksalan and S. Zionts (editors) Treating Ordinal Criteria in Stochastic Weight Space Analysis In Multiple Criteria Decision Making in the New Millennium, Proceedings of the 15th International Conference on Multiple Criteria Decision Making (MCDM), Lecture Notes in Economics and Mathematical Systems, vol: 507, page(s): 285-293, Springer-Verlag, 2001
Seceleanu, Tiberiu and Plosila, Juha T. Margaria and T. Melham (editors) Formal Pipeline Design In Correct Hardware Design and Verification Methods, Lecture Notes in Computer Science, vol: 2144, page(s): 167-173, Springer-Verlag, Sep, 2001
Seceleanu, Tiberiu and Plosila, Juha Pipelined Hardware in Synchronous Action Systems In Proceedings of SCS'01 The International symposium on Signal, Circuits and Systems, page(s): 157-161, Jul, 2001
Virtanen, Seppo and Truscan, Dragos and Lilius, Johan SystemC Based Object Oriented System Design In Proceedings of the 4th International Forum on Design Languages (FDL'01), ECSI, Lyon, France, Sep, 2001
von Wright, Joakim Algebraic Reasoning about Guarded Loops In Dagstuhl Seminar 10810: Applications of Kleene Algebra, page(s): , Schloss Dagstuhl, Dagstuhl, Germany, 2001
Technical Reports
Back, Ralph-Johan and Järvi, Timo and Kivinen, Nina and Palmulaakso-Nylund, Leena and Sund, Thomas Turku Centre for Computer Science, Annual Report 1999 General Publication, num: 18, TUCS - Turku Centre for Computer Science, 2000
Bruel, Jean-Michel and Lilius, Johan and Moreira, Ana and France, Robert B. Defining precise semantics for UML In ECOOP'2000 Workshop Reader, Lecture Notes in Computer Science, vol: 1964, page(s): 113-122, Springer-Verlag, 2000
Back, Ralph-Johan and Petre, Luigia and Porres Paltor, Ivan Mathai Joseph (editors) Generalizing Action Systems to Hybrid Systems In Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, num: 1926, page(s): 202-213, Springer-Verlag, Sep, 2000
Jansson, Micaela and Waldén, Marina Magne Haveraaen (editors) Case study: A microprocessor development in B In Proceedings of the 12th Nordic Workshop on Programming Theory - NWPT'00, Institute of Informatics, University of Bergen, Bergen, Norway, Oct, 2000
Kok, Joost N. and Sere, Kaisa Porto, A. and Roman, G.-C. (editors) Coordination-Based Design of Distributed Systems In Proceedings of Coordination Languages and Models: Fourth International Conference, COORDINATION 2000, Lecture Notes in Computer Science, page(s): 347-352, Springer-Verlag, Lymasol, Cyprus, Sep, 2000
Lahdelma, Risto and Hokkanen, Joonas and Salminen, Pekka A.C. Matias, C.M.A. Filmer, E.A. Zamora (editors) Threshold model versus stochastic criteria in multiobjective acceptability analysis In Operations Research in Development, Proceedings of the 2nd International Conference on Operations Research/Management Science and 3rd International Conference on Operations Research in D, page(s): 140-149, Operations Research Society of the Philippines, 2000
Laibinis, Linas and von Wright, Joakim J. Harrison and M. Aagaard (editors) Functional Procedures in Higher-Order Logic In Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Lecture Notes in Computer Science, vol: 1869, page(s): 372-386, Springer-Verlag, Aug, 2000
Petre, Luigia and Sere, Kaisa Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (editors) Developing Control Systems Components In Proceedings of the 2nd International Conference on Integrated Formal Methods, IFM'2000, Lecture Notes in Computer Science, vol: 1945, page(s): 156-175, Springer-Verlag, Nov, 2000
Petre, Luigia Magne Haveraaen, Olaf Owe, Michal Walicki (editors) Components vs. Objects In Proceedings of the 12th Nordic Workshop on Programming Theory, NWPT'2000, Oct, 2000
Plosila, Juha and Seceleanu, Tiberiu Design of Synchronous Action Systems In Proceedings of the 13th International Conference on VLSI Design, page(s): 578-583, Jan, 2000
Salminen, Pekka and Lahdelma, Risto and Kuula, Markku A.C. Matias, C.M.A. Filmer, E.A. Zamora (editors) Testing the efficiency of pairwise comparison methods in discrete multiple criteria problems In Operations Research in Development, Proceedings of the 2nd International Conference on Operations Research/Management Science and 3rd International Conference on Operations Research in D, page(s): 150-160, Operations Research Society of the Philippines, 2000
Seceleanu, Tiberiu and Plosila, Juha Formal Representation of Gated Clock Designs In IEEE ASIC/SOC Conference, 2000. Proceedings. 13th Annual IEEE International , 2000, page(s): 352-356, Sep, 2000
Back, Ralph-Johan and von Wright, Joakim Enforcing Behavior with Contracts num: 373, TUCS - Turku Centre for Computer Science, Turku, Finland, Nov, 2000
von Wright, Joakim Distance Tutorials in a Systems Design Course In Proceedings of 5th ITiCSE - Innovation and Technology in Computer Science Education, page(s): 105-107, ACM, Helsinki, Finland, Jul, 2000
Technical Reports
Aspnäs, Mats and Back, Ralph-Johan and Järvi, Timo and Kuutti, Martti and Lehto, Tiina Turku Centre for Computer Science, Annual Report 1998 General Publication, num: 14, TUCS - Turku Centre for Computer Science, 1999
Articles in Conference Proceedings
Back, Ralph-Johan and Büchi, Martin Wing, J. and Woodstock, J. and Davies, J. (editors) Compositional Symmetric Sharing in B In Proceedings of Formal methods 99, Lecutre Notes in Computer Science, vol: 1, num: 1708, page(s): 431-451, Toulouse, France, Sep, 1999
Back, Ralph-Johan and von Wright, Joakim Products in the Refinement Calculus TUCS Technical Report, num: 235, TUCS - Turku Centre for Computer Science, Turku, Finland, Feb, 1999
Back, Ralph-Johan and von Wright, Joakim Encoding, Decoding and Data Refinement TUCS Technical Report, num: 236, TUCS - Turku Centre for Computer Science, Feb, 1999
Back, Ralph-Johan and Petre, Luigia and Porres Paltor, Ivan Formalising UML Usecases in the Refinenemnt Calculus TUCS Technical Report, num: 279, TUCS - Turku Centre for Computer Science, Turku, Finland, May, 1999
Back, Ralph-Johan and Petre, Luigia and Porres Paltor, Ivan Generalizing Action Systems to Hybrid Systems TUCS Technical Report, num: 307, TUCS - Turku Centre for Computer Science, Turku, Finland, Dec, 1999
Hedman, Eric and Kok, Joost N. and Sere, Kaisa Coordinating Action Systems Theoretical Computer Science, 1999
Petre, Ion and Petre, Luigia Mobile Ambients and P-Systems Journal of Universal Computer Science, Springer-Verlag, vol: 5, num: 9, page(s): 588-598, Sep, 1999
Back, Ralph-Johan and Petre, Luigia and Porres Paltor, Ivan Björn Victor and Wang Yi (editors) General Hybrid Action Systems In Proceedings of the 11th Nordic Workshop on Programming Theory - NWPT'99, Technical reports, page(s): 45, Oct, 1999
Bonsangue, Marcello M. and Kok, Joost N. and Sere, Kaisa Developing Object-based Distributed Systems In Proceedings of Formal Methods for Open Object-based Distributed Systems (FMOODS'99), Kluwer, IFIP TC6/WG6, Feb, 1999
Büchi, Martin and Back, Ralph-Johan Jeanette M. Wing and Jim Woodcock and Jim Davies (editors) Compositional Symmetric Sharing in B In Proceedings of FM'99: World Congress on Formal Methods, Lecture Notes in Computer Science, vol: 1708, page(s): 431-451, Springer-Verlag, Sep, 1999
Holmström, Samuel P. Lysaght, J. Irvine, R. Hartenstein (editors) SL - A Structural Hardware Design Language In Proceedings of the 9th International Workshop on Field-Programmable Logic and Applications, Lecture Notes in Computer Science, vol: 1673, page(s): 371-376, Springer-Verlag, Glasgow, UK, Sep, 1999
Li, Xuandong and Lilius, Johan Manuel Silva and Peter Bucholz (editors) Checking Time Petri Nets for Linear Duration Properties In Proceedings of Petri Nets and Performance Models (PNPM'99), page(s): 218-226, IEEE Computer Society Press, Sep, 1999
Li, Xuandong and Lilius, Johan Timing analysis of UML sequence diagrams In Proceedings of UML'99, Lecture Notes in Computer Science, vol: 1723, page(s): 661-674, Springer-Verlag, Berlin, Germany, 1999
Lilius, Johan and Porres, Ivan Robert France and Bernhard Rumpe (editors) Formalising UML State Machines for Model Checking In Proceedings of UML'99 The Unified Modeling Language, Lecture Notes in Computer Science, page(s): 430-445, Springer-Verlag, 1999
Lilius, Johan and Porres Paltor, Ivan vUML: A Tool for Verifying UML Models In Proceedings of the 14th IEEE International Conference on Automated Software Engineering, page(s): 255-, IEEE Computer Society Press, Cocoa Beach, Florida, Oct, 1999
Mikhajlova, Anna Specifying Java Frameworks Using Abstract Programs In Technology of Object-Oriented Languages and Systems (TOOLS 30), page(s): 136-145, IEEE Computer Society Press, Santa-Barbara, USA, Aug, 1999
Petre, Luigia and Sere, Kaisa Paolo Ciancarini and Alexander Wolf (editors) Coordination Among Mobile Objects In Proceedings of COORDINATION '99 - Third International Conference on Coordination Models and Languages, Lectures Notes in Computer Science, vol: 1594, page(s): 227-242, Springer-Verlag, Apr, 1999
Petre, Luigia and Sere, Kaisa and Waldén, Marina Gheorghe Stefanescu (editors) A Topological Approach to Distributed Computing In FCT'99 Workshop on Distributed Systems, Electronic Notes in Theoretical Computer Science, vol: 28, Elsevier Science, Sep, 1999
Petre, Luigia and Waldén, Marina Björn Victor and Wang Yi (editors) Mobile Components as Topological Action Systems In Proceedings of the 11th Nordic Workshop on Programming Theory - NWPT'99, Technical reports, page(s): 62, Department of Information Technology, Uppsala University, Oct, 1999
Plosila, Juha and Seceleanu, Tiberiu Modeling Synchronous Action Systems In Proceedings of the 17th NORCHIP Conference, page(s): 242-248, Nov, 1999
Rönkkö, Mauno and Li, Xuandong Linear Hybrid Action Systems In Proceedings of the 11th Nordic Workshop on Programming Theory, Oct, 1999
Rönkkö, Mauno and Ravn, Anders P. P. J. Antsaklis and W. Kohn and M. Lemmon and A. Nerode and S. Sastry (editors) Action Systems with Continuous Behaviour In Proceedings of the Hybrid Systems V, Lecture Notes in Computer Science, vol: 1567, page(s): 304-323, Springer-Verlag, 1999
Rönkkö, Mauno and Sere, Kaisa Jan H. van Schuppen and Frits W. Vaandrager (editors) Refinement and Continuous Behaviour In Hybrid Systems: Computation and Control, Second International Workshop HSCC'99, Lecture Notes in Computer Science, vol: 1569, page(s): 223-237, Springer-Verlag, 1999
Seceleanu, Tiberiu The Printing House, USA (editors) VHDL for Synchronous Action Systems In Proceedings of the 8th Annual International HDL Conference & Exhibition, page(s): 119-126, Apr, 1999
Seceleanu, Tiberiu and Plosila, Juha Synchronization of Action Systems In Proceedings of SCS'99 The International symposium on Signal, Circuits and Systems, page(s): 135-138, Sep, 1999
Sere, Kaisa and Troubitsyna, Elena M. Felici and K. Kanoun and A. Pasquini (editors) Hazard Analysis in Formal Specification In Computer Safety, Reliability and Security. Proceedings of the 18th International Conference, SAFECOMP'99, Lecture Notes in Computer Science, vol: 1698, page(s): 350-360, Springer-Verlag, Toulouse, France, Sep, 1999
Sere, Kaisa and Troubitsyna, Elena J. Wing and J. Woodcock and J. Davies (editors) Safety Analysis in Formal Specification In Proceedings of FM'99 - Formal Methods. Proceedings of World Congress on Formal Methods in the Development of Computing Systems, Lecture Notes in Computer Science, vol: 1709, page(s): 1564-1583, Springer-Verlag, Toulouse, France, Sep, 1999
Troubitsyna, Elena Enhancing Dependability via Parameterized Refinement In Proceedings of 1999 Pacific Rim International Symposium on Dependable Computing, page(s): 120-127, IEEE Computer Society Press, Hong Kong, Dec, 1999
Troubitsyna, Elena Specifying Safety Related Hazards Formally In Proceedings of the 17th International System Safety Conference, page(s): 353-363, System Safety Society, Orlando, FL USA, Aug, 1999
von Wright, Joakim Learning Mathematics with a Theorem Prover In Proceedings of the International Conference on Technology in Mathematics Teaching (ICTMT4), University of Plymouth, Aug, 1999
Back, Ralph-Johan and Mikhailova, Anna and von Wright, Joakim Wing, J. and Woodcock, J. and Davies, J. (editors) Reasoning about Interactive Systems In Proceedings of the World Conference on Formal Methods (FM´99), Lecture Notes in Computer Science, vol: 2, num: 1709, page(s): 1460-1476, Springer-Verlag, Toulouse, France, Sep, 1999
Back, Ralph-Johan and Petre, Luigia and Porres Paltor, Ivan R. Franse and B. Rumpe (editors) Analyzing UML Use Case as Contracts In Proceedings of UML '99-Second International Conference on the Unified Modeling Language, Lecture Notes in Computer Science, num: 1723, page(s): 518-533, Springer-Verlag, Oct, 1999
Technical Reports
Büchi, Martin and Sekerinski, Emil Refining Concurrent Objects num: 298, TUCS - Turku Centre for Computer Science, Turku, Finland, Aug, 1999
Lilius, Johan and Porres Paltor, Ivan vUML: a Tool for Verifying UML Models num: 272, TUCS - Turku Centre for Computer Science, Turku, Finland, May, 1999
Lilius, Johan and Porres Paltor, Ivan The Semantics of UML State Machines num: 273, TUCS - Turku Centre for Computer Science, Turku, Finland, Jun, 1999
Petre, Ion and Petre, Luigia Mobile Ambients and P-Systems num: 293, TUCS - Turku Centre for Computer Science, Turku, Finland, Jul, 1999
Petre, Luigia and Qvist, Milla and Sere, Kaisa Distributed Object-Based Control Systems num: 241, TUCS - Turku Centre for Computer Science, Turku, Finland, Feb, 1999
Plosila, Juha and Seceleanu, Tiberiu Synchronization of Action Systems num: 271, TUCS - Turku Centre for Computer Science, Turku, Finland, May, 1999
Büchi, Martin Emil Sekerinski and Kaisa Sere (editors) The B Bank In Program Development by Refinement: Case Studies Using the B Method, FACIT, chapter: 4, page(s): 115-180, Springer-Verlag, 1998
Butler, Michael and Waldén, Marina Emil Sekerinski and Kaisa Sere (editors) Parallel Programming with the B Method In Program Development by Refinement: Case Studies Using the B Method, chapter: 5, page(s): 183-195, Springer-Verlag, 1998
Troubitsyna, Elena Sekerinski, Emil and Sere, Kaisa (editors) Container Station In Program Development by Refinement - Case Studies Using the B Method, FACIT, chapter: 2, page(s): 39-78, Springer-Verlag, 1998
Waldén, Marina Sekerinski, Emil and Sere, Kaisa (editors) Distributed Load Balancing In Program Development by Refinement: Case Studies Using the B Method, chapter: 7, page(s): 255-300, Springer-Verlag, 1998
Bengtsson, Johan and Jonsson, Bengt and Lilius, Johan and Yi, Wang Sangiorgi, Davide and de Simone, Robert (editors) Partial Order Reductions for Timed Systems In Proceedings of the 9th International Conference on Concurrency Theory (Concur'98), Lecture Notes in Computer Science, vol: 1466, page(s): 485-500, Springer Verlag, Berlin, Germany, 1998
Bonsangue, Marcello B. and Kok, Joost N. and Sere, Kaisa An Approach to Object-orientation in Action System In Mathematics of Program Construction, Lecture Notes in Computer Science, Springer-Verlag, Gothenburg, Sweden, Jun, 1998
Büchi, Martin John Staples and Michael G. Hinchey and Shaoying Liu (editors) The B Bank: A Complete Case Study In Proceedings of the 2nd Internation Conference on Formal Engineering Methods 1998, page(s): 190-199, IEEE Computer Society Press, Dec, 1998
Büchi, Martin and Weck, Wolfgang Compound Types for Java In Proceedings of OOPSLA'98, SIGPLAN Notices, vol: 33, page(s): 362-373, ACM Press, Oct, 1998
Hekanaho, Jukka and Back, Barbro and Sere, Kaisa and Laitinen, Teija F. Esposito, R.S. Michalski, L. Saitta (editors) Analysing Backruptcy Data with Multiple Methods In Proceedings of the 4th International Workshop on Multistrategy Learning (MSL-98), page(s): 75-81, Desenzano del Garda, Italy, Jun, 1998
Holmström, Samuel and Sere, Kaisa Reiner W. Hartenstein, Andres Keevallik (editors) Reconfigurable Hardware - A Study in Codesign In Proceedings of the 8th International Workshop on Field-Programmable Logic and Applications, Lecture Notes in Computer Science, vol: 1482, page(s): 451-455, Springer-Verlag, Tallinn, Estonia, Sep, 1998
Laibinis, Linas and von Wright, Joakim Jim Grundy, Martin Schwenke, Trevor Vickers (editors) What's in a Specification In Proceedings of the International Refinement Workshop and Formal Methods Pacific (IRW/FMP'98), Discrete Mathematics and Theoretical Computer Science, page(s): 180-192, Springer-Verlag, Canberra, Australia, Sep, 1998
Malioukov, Alexander Didier Bert (editors) An Object-Based Approach to the B Formal Method In B'98: Recent Advances in the Development and Use of the B Method. Second International B Conference, Montpellier, France, April 1998, Lecture Notes in Computer Science, vol: 1393, page(s): 162-182, Springer-Verlag, Apr, 1998
McIver, Annabelle and Morgan, Carroll and Troubitsyna, Elena J.Grundy, M.Schwenke, T.Vickers (editors) The Probabilistic Steam Boiler: A Case Study in Probabilistic Data Refinement In Proceedings of IRW/FMP'98, 29 September - 2 October, Canberra, Australia, Springer Series in Discrete Mathematics and Theoretical Computer Science, page(s): 250-265, Springer-Verlag, Sep, 1998
Mikhajlova, Anna Wolfgang Weck, Jan Bosch, Clemens Szyperski (editors) Consistent Extension of Components in Presence of Explicit Invariants In Proceedings of the 3rd International Workshop on Component-Oriented Programming (in conjunction with ECOOP'98), Brussels, Belgium, Jul, 1998
Mikhajlova, Anna Jim Grundy, Martin Schwenke, Trevor Vickers (editors) Refinement of Generic Classes as Semantics of Correct Polymorphic Reuse In International Refinement Workshop, and Formal Methods Pacific (IRW/FMP'98), Springer Series in Discrete Mathematics and Theoretical Computer Science, page(s): 266-285, Springer-Verlag, Canberra, Australia, Jul, 1998
Mikhajlov, Leonid and Sekerinski, Emil Eric Jul (editors) A Study of The Fragile Base Class Problem In Proceedings of ECOOP'98 - Object Oriented Programming, Lecture Notes in Computer Science, vol: 1445, page(s): 355-382, Springer-Verlag, 12th European Conference, Brussels, Belgium, Jul, 1998
Mikhajlova, Anna and von Wright, Joakim Jim Grundy, Malcolm Newey (editors) Proving Isomorphism of First-Order Logic Proof Systems in HOL In Theorem Proving in Higher-Order Logics (TPHOLs'98), Lecture Notes in Computer Science, vol: 1479, page(s): 295-314, Springer-Verlag, Canberra, Australia, Jul, 1998
Petre, Luigia and Sere, Kaisa Kaisa Sere and Marina Waldén and Monica Lahtinen (editors) Mobile Objects as Action Systems In The 10th Nordic Workshop on Programming Theory - NWPT '98-Abstracts, General Publications, page(s): 40, Turku Centre for Computer Science, Oct, 1998
Plosila, Juha and Ruksenas, Rimvydas and Sere, Kaisa Jim Grundy, Martin Schwenke and Trevor Vickers (editors) Action Systems Synthesis of Delay-Insensitive Circuits In Proceedings of International Refinement Workshop & Formal Methods Pacific'98, page(s): 286-305, Springer-Verlag, 1998
Articles in Journals
Rönkkö, Mauno and Ravn, Anders P. Switches and Jumps in Hybrid Action Systems Proceedings of the Estonian Academy of Sciences. Engineering, vol: 4, page(s): 106-118, Jun, 1998
Ruksenas, Rimvydas and von Wright, Joakim Jim Grundy and Malcolm Newey (editors) A Tool for Data Refinement In Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science, vol: 1479, page(s): 423-441, Springer-Verlag, 1998
Troubitsyna, Elena and Sere, Kaisa Kaisa Sere, Marina Waldén, Monica Lahtinen (editors) Refining for Safety In 10th Nordic Workshop on Porgramming Theory. Abstracts., General Publications, num: 11, page(s): 52, Turku Centre for Computer Science, Oct, 1998
Waldén, Marina Didier Bert (editors) Layering Distributed Algorithms within the B-Method In Proceedings of the 2nd International B Conference, Lecture Notes in Computer Science, vol: 1393, page(s): 243-260, Springer-Verlag, Montpellier, France, Apr, 1998
Weck, Wolfgang and Büchi, Martin Jan Bosch and Görel Hedin and Kai Koskimies and Bent Bruun Kristensen (editors) Compound Types: Strong Typing for Architectural Composition In Proceedings of NOSA'98, Proceedings of the First Nordic Workshop on Software Architecture, Research Report, vol: 14/98, Department of Computer Science and Business Administration, Univ. of Karlskrona/Ronneby, Sweden, Aug, 1998
von Wright, Joakim Jim Grundy, Malcolm Newey (editors) Extending Window Inference In Theorem Proving in Higher-Order Logics (TPHOLs'98), Lecture Notes in Computer Science, vol: 1479, page(s): 17-32, Springer-Verlag, Canberra, Australia, Sep, 1998
Technical Reports
Bonsangue, Marcello M. and Kok, Joost N. and Sere, Kaisa Developing Object-basedDistributed Systems num: 193, TUCS - Turku Centre for Computer Science, Turku, Finland, Aug, 1998
Büchi, Martin and Weck, Wolfgang Java Needs Compound Types num: 182, TUCS - Turku Centre for Computer Science, Turku, Finland, Jun, 1998
Back, Ralph-Johan and von Wright, Joakim Palamidessi, C. and Parrow, J. (editors) Contracts, Games and Refinement In Proceedings of the 4th Workshop on Expressiveness in Concurrency, Electronic Notes of Theoretical Computer Science, Elsevier, 1997
Aura, Tuomas and Lilius, Johan Pierre Azma and Gianfranco Balbo (editors) Time Processes for Time Nets In Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science, vol: 1248, page(s): 138-155, Springer-Verlag, 1997
Back, Ralph-Johan and Büchi, Martin and Sekerinski, Emil Action-Based Concurrency and Synchronization for Objects In Proceedings of the 4th AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software, Lecture Notes in Computer Science, page(s): 248-262, Springer-Verlag, May, 1997
Butler, Michael and Grundy, Jim and Långbacka, Thomas and Ruksenas, Rimvydas and von Wright, Joakim Lindsay Groves and Steve Reeves (editors) The Refinement Calculator: Proof Support for Program Refinement In Formal Methods Pacific'97: Proceedings of FMP'97, Discrete Mathematics and Theoretical Computer Science, page(s): 40-61, Springer-Verlag, Victoria University of Wellington, Wellington, New Zealand, Jul, 1997
Büchi, Martin and Sekerinski, Emil Wolfgang Weck and Jan Bosch and Clemens Szyperski (editors) Formal Methods for Component Software: The Refinement Calculus Perspective In Proceedings of the 2nd Workshop on Componen-Oriented Programming (WCOP), General Publication, vol: 5, page(s): 23-32, Turku Centre for Computer Science, Jun, 1997
Hekanaho, Jukka-Pekka David Heckerman and Heikki Mannila and Daryl Pregibon and Ramasamy Uthurusamy (editors) GA-based Rule Enhancement in Concept Learning In Proceedings of the 3rd International Conference on Knowledge Discovery and Data Mining, page(s): 183-186, AAAI Press, Newport Beach, California, USA, Aug, 1997
Hedman, Eric and Kok, Joost N. and Sere, Kaisa D. Garlan and D. Le Metayer (editors) Coordinating Action Systems In Coordination Languages and Models, Lecture Notes in Computer Science, page(s): 302-319, Springer-Verlag, 1997
Heuberger, Philipp Jukka Paakki (editors) Oberon and Refinement Calculus In Proceedings of the 5th Symposium on Programming Languages and Software Tools, page(s): 49-60, University of Helsinki, 1997
Långbacka, Thomas and von Wright, Joakim E. L. Gunter and A. Felty (editors) Refining Reactive Systems in HOL Using Action Systems In Proceedings of TPHOLs'97 - Theorem Proving in Higher Order Logics: 10th International Conference, Lecture Notes in Computer Science, vol: 1275, page(s): 183-197, Springer-Verlag, Murray Hill, N.J., U.S.A., Aug, 1997
Laibinis, Linas and von Wright, Joakim M. Haveraaen and O. Owe (editors) Context handling in the Refinement Calculus framework In Selected papers from the 8th Nordic Workshop on Programming Theory, Research Reports of Department of Informatics, page(s): 139-149, University of Oslo, Norway, May, 1997
Mikhajlov, Leonid and Sekerinski, Emil Wolfgang Weck and Jan Bosch and Clemens Szyperski (editors) The Fragile Base Class Problem and Its Solution In Proceedings of the 2nd International Workshop on Component-Oriented Programming (WCOP '97), General Publication also Lecture Notes in Computer Science, page(s): 59-67, Turku Centre for Computer Science, Sep, 1997
Mikhajlova, Anna and Sekerinski, Emil John Fitzgerald and Cliff B. Jones and Peter Lucas (editors) Class Refinement and Interface Refinement in Object-Oriented Programs In Proceedings of FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, Lecture Notes in Computer Science, vol: 1313, page(s): 82-101, Springer-Verlag, 1997
Plosila, Juha and Sere, Kaisa Action Systems in Pipelined Processor Design In Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), page(s): 156, IEEE Computer Society Press, 1997
Rönkkö, Mauno and Ravn, Anders P. Differential Equations as Actions In Hybrid Systems V, Fifth International Hybrid Systems Workshop, page(s): 145-150, 1997
Rönkkö, Mauno and Ravn, Anders P. Hybrid Action Systems In Proceedings of the 9th Nordic Workshop on Programming Theory, 1997
Sere, Kaisa and Waldén, Marina M. Abadi and T. Ito (editors) Data Refinement of Remote Procedures In Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, vol: 1281, page(s): 267-294, Springer-Verlag, Sep, 1997
Weck, Wolfgang H. Mössenböck (editors) An Abstract Data Type for Freezable Lists and DAGs In Modular Programming Languages, Proceedings of the Joint Modular Languages Conference, JMLC'97, Lecture Notes in Computer Science, vol: 1204, page(s): 112-124, Springer-Verlag, Linz, Austria, Mar, 1997
Weck, Wolfgang Wolfgang Weck and Jan Bosch and Clemens Szyperski (editors) Inheritance Using Contracts and Object Composition In Proceedings of the 2nd International Workshop on Component-Oriented Programming (WCOP '97), General Publications Series, page(s): 105-112, Turku Centre for Computer Science, Sep, 1997
Technical Reports
Back, Ralph-Johan and Mikhajlova, Anna and von Wright, Joakim Class Refinement as Semantics of Correct Subclassing TUCS Technical Report, num: 147, TUCS - Turku Centre for Computer Science, Turku, Finland, May, 1997
Back, Ralph-Johan and von Wright, Joakim Doing High School Mathematics Carefully TUCS Technical Report, num: 140, TUCS - Turku Centre for Computer Science, 1997
Back, Ralph-Johan and von Wright, Joakim Contracts, Games and Refinement TUCS Technical Report, num: 138, TUCS - Turku Centre for Computer Science, Oct, 1997
Back, Ralph-Johan and von Wright, Joakim Reasoning Algebraically About Loops TUCS Technical Report, num: 144, TUCS - Turku Centre for Computer Science, Nov, 1997
Back, Ralph-Johan and von Wright, Joakim Programs on Product Spaces TUCS Technical Report, num: 143, TUCS - Turku Centre for Computer Science, Nov, 1997
Hedman, Eric and Kok, Joost N. and Sere, Kaisa Coordinating Action Systems num: 92, TUCS - Turku Centre for Computer Science, Turku, Finland, Jan, 1997
Back, Ralph-Johan and Grundy, Jim and von Wright, Joakim Structured Calculation Proof TUCS Technical Report, num: 65, TUCS - Turku Centre for Computer Science, Turku, Finland, Nov, 1996
Back, Ralph-Johan and Grundy, Jim and von Wright, Joakim Structured Calculation Proof Report, num: TR-CS-96-09, Department of Computer Science, The Australian National University, 1996
Butler, Michael and Sekerinski, Emil and Sere, Kaisa Abrial, J-R. and Börger, E. and Langmaack, H. (editors) An Action System Approach to the Steam Boiler Problem In Formal Methods for Industrial Applications (Specifying and Programming the Steam Boiler Control), Lecture Notes in Computer Science, vol: 1165, page(s): 129-148, Springer-Verlag, 1996
Sere, Kaisa and Waldén, Marina Reverse engineering distributed algorithms Journal of Software Maintenance: Research and Practice, vol: 8, num: 2, page(s): 117-144, Mar, 1996
Butler, Michael and Långbacka, Thomas Joakim von Wright and J. Grundy and J. Harrison (editors) Program Derivation Using the Refinement Calculator In Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96., Lecture Notes in Computer Science, vol: 1125, page(s): 93-108, Springer-Verlag, Turku, Finland., Aug, 1996
Butler, Michael and Waldén, Marina H. Habrias (editors) Distributed System Development in B In Proceedings of the First B Conference, page(s): 155-168, IRIN, Nantes, France, Nov, 1996
Goeman, H. and Kok, Joost N. and Sere, Kaisa and Udink, Rob T. Coordination in the ImpUnity Framework In Proceedings of Coordination'96, Lecture Notes in Computer Science, vol: 1061, Springer-Verlag, Cesena, Italy, Apr, 1996
Grundy, Jim Gefwert and others (editors) A Browsable Format for Proof Presentation In Logic, Mathematics and the Computer - Foundations: History, Philosophy and Applications, Symposium Series, vol: 14, page(s): 171-178, Finnish Artificial Intelligence Society, Helsinki, Finland, Jun, 1996
Harrison, John Mandayam Srivas and Albert Camilleri (editors) HOL Light: A Tutorial Introduction In Proceedings of the 1st International Conference on Formal Methods in Computer-Aided Design, FMCAD'96, Lecture Notes in Computer Science, vol: 1166, page(s): 265-269, Springer-Verlag, 1996
Harrison, John Gefwert and others (editors) Pure Mathematics in a Mechanized Logic In Proceedings of the Finnish Artificial Intelligence Society (FAIS) symposium Logic, Mathematics and the Computer: History, Foundations and Applications, Symposium Series, vol: 14, page(s): 153-169, Finnish Artificial Intelligence Society, Helsinki, Finland, Jun, 1996
Harrison, John Joakim von Wright and Jim Grundy and John Harrison (editors) A Mizar Mode for HOL In Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'96, Lecture Notes in Computer Science, vol: 1125, page(s): 203-220, Springer-Verlag, 1996
Harrison, John Joakim von Wright and Jim Grundy and John Harrison (editors) Stålmarck's algorithm as a HOL Derived Rule In Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'96, Lecture Notes in Computer Science, vol: 1125, page(s): 221-234, Springer-Verlag, 1996
Harrison, John Finding Proofs and Checking Proofs In Proceedings of the ECAI-96 Workshop on Representation of mathematical knowledge, Budapest, Hungary, Aug, 1996
Harrison, John M. A. McRobbie and J. K. Slaney (editors) Optimizing Proof Search in Model Elimination In Proceedings of the 13th International Conference on Automated Deduction, CADE-13, Lecture Notes in Computer Science, vol: 1104, page(s): 313-327, 1996
Hekanaho, Jukka-Pekka Morgan Kaufmann (editors) Background Knowledge in GA-based Concept Learning In Proceedings of the 13th International Conference of Machine Learning, page(s): 234-242, Bari, Italy, Jul, 1996
Laibinis, Linas Joakim von Wright and J. Grundy and J. Harrison (editors) Using Lattice Theory in Higher Order Logic In Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science, page(s): 315-330, Springer-Verlag, Turku, Finland, Aug, 1996
Långbacka, Thomas C. Gefwert and P. Orponen and J. Seppänen (editors) Developing a Graphic Theorem Proving Tool In Logic, Mathematics and the Computer - Foundations: History, Philosophy and Applications, Symposium Series, Finnish Artificial Intelligence Society, vol: 14, page(s): 179-188, Jun, 1996
Rönkkö, Mauno and Sekerinski, Emil and Sere, Kaisa Control Systems as Action Systems In Proceedings of Workshop on Discrete Event Systems (WODES'96), Edinburgh, UK, Aug, 1996
Sere, Kaisa and Troubitsyna, Elena Probabilities in action system In Proceedings of the 8th Nordic Workshop on Programming Theory, Oslo, Norway, Dec, 1996
Sere, Kaisa and Zhao, Yi B. Bjerner and M. Larsson and B. Nordström (editors) Derivation of Systolic Convolution Arrays In Proceedings of the 7th Nordic Workshop on Programming Theory, page(s): 543-562, Göteborg Univ. and Chalmers Univ. of Technology, Gothenburg, Sweden, Jan, 1996
Shen, Hong Generalized Parallel Selection in Sorted Matrices In Proceedings of the 8th IEEE Symposium on Parallel and Distributed Processing (SPDP '96), page(s): 281-, Louisiana, New Orleans, Oct, 1996
Waldén, Marina B. Bjerner and M. Larsson and B. Nordström (editors) Formal Derivation of a Distributed Load Balancing Algorithm In Proceedings of the 7th Nordic Workshop on Programming Theory (NWPT'95), page(s): 508-527, Göteborg Univ. and Chalmers Univ. of Technology, Göteborg, Sweden, Jan, 1996
Weck, Wolfgang J. Calmet and C. Limongelli (editors) Document-Centered Presentation Of Computing Software: Compound Documents Are Better Workspaces In Proceedings of the 4th International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO'96, Lecture Notes in Computer Science, vol: 1128, page(s): 198-199, Springer-Verlag, Karlsruhe, Germany, Sep, 1996
Waldén, Marina and Sere, Kaisa M.-C. Gaudel and J. Woodcock (editors) Refining Action System within B-tool In Proceedings of Formal Methods Europe (FME'96): Symposium on Industrial Benefit and Advances in Formal Methods, Lecture Notes in Computer Science, vol: 1051, page(s): 85-104, Springer-Verlag, Oxford, England, Mar, 1996
Back, Ralph-Johan and Büchi, Martin and Sekerinski, Emil Adding Type-bound Actions to Action-Oberon TUCS Technical Report, num: 66, TUCS - Turku Centre for Computer Science, Turku, Finland, Nov, 1996
Goeman, H. J. M. and Kok, Joost N. and Sere, Kaisa and Udink, Rob T. Coordination in the ImpUnity Framework num: 50, TUCS - Turku Centre for Computer Science, Turku, Finland, Dec, 1996
Aspnäs, Mats and Långbacka, Thomas and Porres, Ivan P. Fritzon and L. Finmo (editors) Developing a Customisable Programming Environment for Message Passing based Systems In Proceedings of the 4th Nordic Transputer Conference (NTUG'95), Parallel Programming and Applications, page(s): 370-380, IOS Press, Linköping, Sweden, May, 1995
Back, Ralph-Johan and Butler, Michael Exploring Summation and Product Operations in the Refinement Calculus In Proceedings of the 3rd International Conference on Mathematics of Program Construction, Lecture Notes in Computer Science, vol: 947, page(s): 128-158, Springer-Verlag, Kloster Irsee, Germany, Jul, 1995
Back, Ralph-Johan and Xu, Qiwen Fairness in Action Systems Reports on Computer Science and Mathematics, num: 159, Åbo Akademi, Turku, Finland, Mar, 1995
Articles in Journals
Back, Ralph-Johan and von Wright, Joakim Games and Winning Strategies Information Processing Letters, vol: 53, num: 3, page(s): 165-172, Feb, 1995
Gordon, M.J.C. and Herbert, J.M.J. and Hale, R.W.S. and Harrison, J. and Wong, W. and von Wright, J. Self-checking prover study -- final report Internal Report, SRI, 1995
Hekanaho, Jukka-Pekka Morgan Kaufmann (editors) Symbiosis in Multimodal Concept Learning In Proceedings of the 12th International Conference of Machine Learning, page(s): 278-285, Tahoe City, CA, Jul, 1995
Heuberger, Philipp and Hofman, David The Refinement Tool: RefStep In Proceedings of the 7th Nordic Workshop on Programming Theory, Göteborg, Sweden, 1995
Långbacka, Thomas and Ruksenas, Rimvydas and von Wright, Joakim E. T. Schubert and P. J. Windley and J. Alves-Foss (editors) TkWinHOL: A Tool for Window Inference in HOL In Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Lecture Notes in Computer Science, vol: 971, page(s): 245-260, Springer-Verlag, Aspen Grove, Utah, U.S.A., Sep, 1995
Back, Ralph-Johan and Martin, Alain and Sere, Kaisa Möller, B. (editors) An Action System Specification of the Caltech Asynchronous Microprocessor In Proceedings of the 3rd International Conference on Mathematics of Program Construction, Lecture Notes in Computer Science, vol: 947, page(s): 159-179, Springer-Verlag, Kloster Irsee, Germany, Jul, 1995
Långbacka, Thomas and Ruksenas, Rimvydas and von Wright, Joakim TkWinHOL: A Tool for Doing Window Inference in HOL Reports on Mathematics and Computer Science, Åbo Akademi University, Department of Computer Science, Turku, Finland, Apr, 1995
Back, Ralph-Johan and Sere, Kaisa Olderog, E. R. (editors) Action Systems with Synchronous Communication In Programming Concepts, Methods and Calculi, IFIP Transaction A-56, page(s): 107-126, North-Holland, 1994
Back, Ralph-Johan and Sere, Kaisa From Action Systems to Modular Systems In Formal Methods Europe ´94: Industrial Benefit of Formal Methods, Lecture Notes in Computer Science, vol: 873, page(s): 1-25, Barcelona, Spain, Oct, 1994
Back, Ralph-Johan and von Wright, Joakim Jonsson, B and Parrow, J. (editors) Trace Refinement of Action Systems In CONCUR-94:Concurrency Theory, Lecture Notes in Computer Science, vol: 836, page(s): 367-384, Springer-Verlag, Uppsala, Sweden, Aug, 1994
Cau, A. and Collette, P. and Xu, Qiwen W. B. Jonsson and J. Parrow (editors) On Unifying Assumption-commitment Style Proof Rules for Concurrency In Proceedings of the 5th International Conference on Concurrency Theory (Concur 94), Lecture Notes in Computer Science, vol: 836, page(s): 267-282, Springer-Verlag, Uppsala, Sweden, 1994
Janssen, Wil and Poel, M. and Xu, Qiwen W. and Zwiers, Job Layering of Real-time Distributed Processes In Proceedings of the 3rd International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Lecture Notes in Computer Science, vol: 863, Springer-Verlag, Germany, 1994
Långbacka, Thomas T. F. Melham and J. Camilleri (editors) A HOL Formalisation of the Temporal Logic of Actions In Higher Order Logic Theorem Proving and its Applications, 7th International Workshop, Lecture Notes in Computer Science, vol: 859, page(s): 332-345, Springer-Verlag, Valletta, Malta, Sep, 1994
Ruksenas, Rimvydas and Sere, Kaisa and Zhao, Yi U. H. Engberg and K. G. Larsen and P. D. Mosses (editors) On the Formal Derivation of a FEAL Microprocessor In Proceedings of the 6th Nordic Workshop on Programming Theory, BRICS Notes Series, page(s): 332-345, Aarhus, Denmark, Dec, 1994
Sere, Kaisa and Waldén, Marina Verification of a Distributed Algorithm In Proceedings of the 13th Annual Symposium on Principles of Distributed Computing, page(s): 391, Los Angeles, California, USA, 1994
Sere, Kaisa and Waldén, Marina U. H. Engberg and K. G. Larsen and P. D. Mosses (editors) Backward Refinement for Verifying Distributed Algorithms In Proceedings of the 6th Nordic Workshop on Programming Theory, BRICS Notes Series, page(s): 347, Aarhus, Denmark, Dec, 1994
von Wright, Joakim Representing Higher Order Logic Proofs in HOL In Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Lecture Notes in Computer Science, vol: 859, Springer-Verlag, Malta, Sep, 1994
Technical Reports
Back, Ralph-Johan and Martin, Alain and Sere, Kaisa Specification of a Microprocessor Reports on Computer Science and Mathematics, num: 148, Åbo Akademi, 1994
Back, Ralph-Johan and von Wright, Joakim Trace Refinement of Action Systems Reports on Computer Science and Mathematics, num: 153, Åbo Akademi, 1994
Butler, Michael and Hedman, Eric and Nilsson, Patrik and Ruksenas, Rimvydas and Waldén, Marina and Zhao, Yi Specification of a Program Derivation Editor Åbo Akademi University, Department of Computer Science, Turku, Finland, Dec, 1994
von Wright, Joakim Program Refinement by Theorem Prover Reports on Mathematics and Computer Science, num: 146, Åbo Akademi University, Department of Computer Science, 1994
Back, Ralph-Johan Broy, M. (editors) Refinement of Parallel and Reactive Programs In Lecture Notes For the Summer School on Program Design Calculi, page(s): 73-92, Springer-Verlag, 1993
Back, Ralph-Johan and Sere, Kaisa. K.R. Parker and G.A. Rose (editors) Superposition Refinement of Parallel Algorithms In Proceedings of the 4th International Conference on Formal Description Techniques (FORTE 91), page(s): 475-493, North-Holland, Sydney, Australia, Nov, 1992
Back, Ralph-Johan and von Wright, Joakim Predicate Transformers and Higher Order Logic Research Report, num: Caltech-CS-TR-92-24, Computer Science Department, California Institute of Technology, 1992
Back, Ralph-Johan and Hekanaho, Jukka and Sere, Kaisa Centipede - A Program Refinement Environment Reports on Computer Science and Mathematics, num: 139, Åbo Akademi, Sep, 1992
Back, Ralph-Johan and von Wright, Joakim deBakker, J. W. and de Roever, W-P and Rozenberg, G. (editors) Predicate Transformers and Higher Order Logic In REX Workshop on Semantics: Foundations and Applications, Lecture Notes in Computer Science, vol: 666, page(s): 1-20, Springer-Verlag, Beekbergen, The Netherlands, Jun, 1992
von Wright, Joakim and Hekanaho, Jukka-Pekka and Långbacka, Thomas and Luostarinen, P Mechanising some Advanced Refinement Concepts In Proceedings of 1992 International Workshop on Higher Order Logic Theorem Proving and its Applications, North-Holland, Leuven, Belgium, Sep, 1992
Back, Ralph-Johan and Törn, Aimo Annual Report 1989, 1990 Reports on Computer Science and Mathematics, num: Serie B. No. 10, Åbo Akademi, Mar, 1991
Articles in Conference Proceedings
Back, Ralph-Johan Morris, J. M. and Shaw, R. C. (editors) Refinement Diagrams In Proceedings of the 4th Refinement Workshop, page(s): 125-137, Springer-Verlag, Camebridge, UK, Jan, 1991
von Wright, Joakim Mechanising the Temporal Logic of Actions in HOL In Proceedings of 1991 International Workshop on Higher Order Logic Theorem Proving and its Applications, ACM, Davis, USA, Aug, 1991
von Wright, Joakim and Sere, Kaisa Program Transformations and Refinements in HOL In Proceedings of 1991 International Workshop on Higher Order Logic Theorem Proving and its Applications, IEEE/ACM, Davis, USA, Aug, 1991
Articles in Journals
Aspnäs, Mats and Back, Ralph-Johan and Malén, Thor-Erik The Hathi-2 Multiprocessor System Microprocessors and Microsystems, vol: 14, num: 7, page(s): 457-466, Sep, 1990
Back, Ralph-Johan and Sere, Kaisa Deriving an Occam Implementation of Action Systems In Proceedings of the 3rd BCS Refinement Workshop, Lecture Notes in Computer Science, page(s): 9-30, Springer-Verlag, Hursley Park, UK, Jan, 1990
Back, Ralph-Johan and von Wright, Joakim J. W. deBakker and W. P. deRoever and G. Rozenberg (editors) Refinement Calculus I: Sequential Nondeterministic Programs In Stepwise Refinement of Distributed Systems, Lecture Notes in Computer Science, vol: 430, page(s): 42-66, Springer-Verlag, Mook, The Netherlands, May, 1990
Aspnäs, Mats and Back, Ralph-Johan and Malén, Thor-Erik The Hathi-2 Multiprocessor System Reports on Computer Science and Mathematics, num: 80, Åbo Akademi, 1989
Aspnäs, Mats and Back, Ralph-Johan Multiprocessor Applications in the Hathi Project Reports on Computer Science and Mathematics, num: 96, Åbo Akademi, Åbo Akademi University, Turku, Finland, Nov, 1989
Back, Ralph-Johan A Method for Refining Atomicity in Parallel Algorithms In PARLE´89 Conference on Parallel Architectures and Languages Europe, Lecture Notes in Computer Science, vol: 366, page(s): 199-216, Springer-Verlag, Eindhoven, the Netherlands, Jun, 1989
Back, Ralph-Johan J. W. deBakker and W. P. deRoever and G. Rozenberg (editors) Refinement Calculus II: Parallel and Reactive Programs In Stepwise Refinement of Distributed Systems, Lecture Notes in Computer Science, vol: 430, page(s): 67-93, Springer-Verlag, Mook, The Netherlands, May, 1989
Back, Ralph-Johan and Sere, Kaisa Stepwise Refinement of Action Systems In Mathematics of Program Construction, Lecture Notes in Computer Science, vol: 375, page(s): 115-138, Springer-Verlag, Groningen, The Netherlands, Jun, 1989
Back, Ralph-Johan and von Wright, Joakim A Lattice-theoretical Basis for a Specification Language In Mathematics of Program Construction, Lecture Notes in Computer Science, vol: 375, page(s): 139-156, Springer-Verlag, Groningen, The Netherlands, Jun, 1989
Back, Ralph-Johan and Kurki-Suonio, Reino Distributed Co-operation with Action Systems ACM Transactions on Programming Languages and Systems, vol: 10, num: 4, page(s): 513-554, Oct, 1988
Articles in Conference Proceedings
Back, Ralph-Johan and Kurki-Suonio, Reino Serializability in Distributed Systems with Handshaking In Proceedings of the 15th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol: 317, page(s): 52-66, Springer-Verlag, Tampere, Finland, Jul, 1988
Back, Ralph-Johan and Hietala, Pentti I3V: A Program Proof Management System Report, num: A136, University of Tampere, Department of Mathematical Sciences, 1986
Salminen, Ari and Back, Ralph-Johan A Calculus for Document Handling Computer Science Reports, num: WP-9, University of Jyväskylä, University of Jyväskylä, Finland, Mar, 1986
Salminen, Ari and Back, Ralph-Johan A Relational Model for Documents In International Symposium on New Directions on Computing, page(s): 50-59, IEEE Computer Society Press, Trondheim, Norway, Aug, 1985
Back, Ralph-Johan and Hietala, Pentti B. Schakel (editors) A Simple User Interface for Interactive Program Verification In Human Computer Interaction - INTERACT ´84: First IFIP Conference of Human-Computer Interaction, page(s): 391-395, North-Holland, Amsterdam, The Netherlands, 1984
Back, Ralph-Johan and Kurki-Suonio, Reino Back, Ralph-Johan and Mannila, Heikki and Räihä, Kari-Joukko and Ukkonen, E. (editors) A Case Study in Constructing Distributed Algorithms: Distributed Exchange Sort In Proceedings of Winter School on Theoretical Computer Science, page(s): 1-33, Finnish Society of Information Processing Science, Lammi, Finland, Jan, 1984
Back, Ralph-Johan and Rantanen, Anssi Back, Ralph-Johan and Mannila, Heikki and Räihä, Kari-Joukko and Ukkonen, E. (editors) A Case Study in Program Modification: Generalizing Lindström's Tree Marking Algorithm In Proceedings of Winter School on Theoretical Computer Science, page(s): 34-64, Finnish Society of Information Processing Science, Lammi, Finland, Jan, 1984
Back, Ralph-Johan Biermann, W. and Guiho, G and Kodratoff, Y (editors) Invariant Based Programs and Their Correctness In Automatic Program Construction Techniques , num: 223-242, MacMillan Publishing Company, 1983
Back, Ralph-Johan and Kurki-Suonio, Reino Decentralization of Process Nets with Centralized Control In Proceedings of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, page(s): 131-142, ACM, Montreal, Quebec, Canada, 1983
Back, Ralph-Johan and Mannila, Heikki and Räihä, Kari-Joukko Derivation of Efficient DAG-marking Algorithms In Proceedings of the 10th Annual ACM Symposium on Principles of Programming Languages, page(s): 20-27, ACM, Austin, Texas, Jan, 1983
Back, Ralph-Johan and Mannila, Heikki A Refinement of Kahn's Semantics to Handle Nondeterminism and Communication In Proceedings of the 9th International Colloqium on Automata, Languages and Programming, ACM Symposium on Principles of Distributed Computing, vol: 1, page(s): 111-120, ACM, Ottawa, Canada, Aug, 1982
Back, Ralph-Johan and Mannila, Heikki Nielsen, M and Schmidt, E. M. (editors) Locality in Modular Systems In Proceedings of the 9th International Colloqium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol: 140, page(s): 1-13, Springer-Verlag, Aarhus, Denmark, Jul, 1982
Technical Reports
Back, Ralph-Johan and Mannila, Heikki A Semantic Approach to Program Modularity Report, num: C-1982-102, Computer Science Department, University of Helsinki , Helsinki, Finland, Dec, 1982
Articles in Journals
Back, Ralph-Johan On Correct Refinement of Programs Journal of Computer and System Sciences, vol: 23, num: 1, page(s): 49-68, Aug, 1981
Back, Ralph-Johan deBakker, J. W and van Leeuwen, J. (editors) Semantics of Unbounded Nondeterminism In Proceedings of the 7th International Colloqium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol: 85, page(s): 51-63, Springer-Verlag, Noordwijkerhout, 1980
Back, Ralph-Johan P. Dybjer and al. (editors) A Calculus of Refinements for Program Derivations In Proceedings of the Workshop on Programming Logic, Lecture Notes in Computer Science, vol: 87, page(s): 271-299, Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden, 1980
Technical Reports