Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Andrzej Tarlecki
2015
- Donald Sannella and Andrzej Tarlecki, The Foundational Legacy of ASL., in: Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering., Springer, 2015, p. 253–272.see in PBN
- Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella and Andrzej Tarlecki, Modularity of Ontologies in an Arbitrary Institution., in: Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday., Springer, 2015, p. 361–379.see in PBN
- Grzegorz Marczyński, Donald Sannella and Andrzej Tarlecki, Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation, International Journal Of Software And Informatics 9 (2) 2015, p. 117–139.see in PBN
2014
- Till Mossawkoski and Andrzej Tarlecki, A Relatively Complete Calculus for Structured Heterogeneous Specifications, in: Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Springer, 2014, p. 441––456.see in PBN
- Andrzej Tarlecki, Władysław Marek Turski (1938 - 2013), Formal Aspects Of Computing 26 (5) 2014, p. 863––864.see in PBN
- Andrzej Tarlecki, Władysław Marek Turski (1938-2013), Information Processing Letters 114 (8) 2014, p. 397–398.see in PBN
- Razvan Diaconescu, Till Mossakowski and Andrzej Tarlecki, The Institution-Theoretic Scope of Logic Theorems, Logica Universalis 8 (3-4) 2014, p. 393–406.see in PBN
- Donald Sannella and Andrzej Tarlecki, Property-oriented semantics of structured specifications, Mathematical Structures In Computer Science 24 (2) 2014.see in PBN
- Andrzej Tarlecki, R\uazvan Diaconescu, Institution-independent Model Theory, Studia Logica 102 (1) 2014, p. 225–229.see in PBN
- Till Mossakowski, Wiesław Pawłowski, Donald Sannella and Andrzej Tarlecki, Parchments for CafeOBJ Logics, in: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, Springer, 2014, p. 66––91.see in PBN
2011
- Alexander Kurz and Andrzej Tarlecki (eds.), Special issue on Algebra and Coalgebra in Computer Science (CALCO 2009), Braunschweig 2011.see in PBN
- Andrzej Tarlecki, Some Nuances of Many-sorted Universal Algebra: A Review, in: Bulletin of the EATCS, Amsterdam 2011, p. 89–111.see in PBN
- Joerg Kreiker, Andrzej Tarlecki, Moshe Vardi and Reinhard Wilhelm, Modeling, Analysis, and Verification: The Formal Methods Manifesto 2010, in: Dagstuhl Manifestos, Dagstuhl Publishing, Dagstuhl 2011, p. 21–40.see in PBN
2009
- Till Mossakowski and Andrzej Tarlecki, Heterogeneous Logical Environments for Distributed Specifications, Lecture Notes In Computer Science 5486 2009, p. 266–289.see in PBN
- R. Diaconescu, T. Mossakowski and Andrzej Tarlecki, What is a Logic Translation?, Logica Universalis 3 2009, p. 95–124.see in PBN
- Alexander Kurz, Marina Lenisa and Andrzej Tarlecki (eds.), Third International Conference on Algebra and Coalgebra in Computer Science, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2009.see in PBN
- Lars Arge, Christian Cachin and Andrzej Tarlecki, Preface, Theoretical Computer Science 410 (18) 2009.see in PBN
- L. Arge, Ch. Cachin and Andrzej Tarlecki (eds.), Special issue on Automata, Languages and Programming (ICALP 2007), Elsevier, Amsterdam 2009.see in PBN
2008
- Donald Sannella and Andrzej Tarlecki, Observability Concepts in Abstract Data Type Specification, 30 Years Later, in: Concurrency, Graphs and Models, 2008.see in PBN
- María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki and Martin Wirsing, A Heterogeneous Approach to UML Semantics, in: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2008.see in PBN
- Michel Bidoit, Donald Sannella and Andrzej Tarlecki, Observational interpretation of Casl specifications, Mathematical Structures In Computer Science 18 (2) 2008, p. 325–371.see in PBN
- Andrzej Tarlecki, T. Mossakowski, A. Haxthausen and D. Sannella, CASL --- The Common Algebraic Specification Language, in: Logics of Specification Languages, Springer, 2008.see in PBN
2007
- Lars Arge, Christian Cachin, Tomasz Jurdziński and Andrzej Tarlecki (eds.), Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings., Springer, 2007.see in PBN
- Andrzej Tarlecki, Toward specifications for reconfigurable component systems, Lecture Notes In Computer Science 4546 2007, p. 24–28.see in PBN
2005
- R. Diaconescu, J. Goguen, T. Mossakowski and A. Tarlecki, What is a logics?, Brkhauser, 2005.see in PBN
- Lutz Schroeder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman and Bartosz Klin, Amalgamation in the semantics of CASL, Theoretical Computer Science 331 (1) 2005, p. 215–247.see in PBN
- Razvan Diaconescu, Joseph Goguen, Till Mossakowski and Andrzej Tarlecki, What is a logic?, in: Logica Universalis, Birkhauser, Basel 2005.see in PBN
- Ian Hayes, John Fitzgerald and Andrzej Tarlecki (eds.), FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Springer-Verlag, Berlin 2005.see in PBN
- Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin and Piotr Hoffman, Amalgamation in the semantics of CASL, Theoretical Computer Science 331 2005, p. 215–247.see in PBN
- Till Mossakowski, Don Sannella and Andrzej Tarlecki, A Simple Refinement Language for CASL, Lecture Notes In Computer Science 3423 2005, p. 162–185.see in PBN
2004
- Don Sannella and Andrzej Tarlecki, Foundations. In: CASL User Manual, Lecture Notes In Computer Science 2900 2004, p. 125–129.see in PBN
- Andrzej Tarlecki, Software Specification and Development in Heterogeneous Environments, in: Proceedings 1st International Workshop on Combination of Logics: Theoryand Applications CombLog'04, Instituto Superior Tecnico, Lisboa, Lisbon 2004.see in PBN
- Andrzej Tarlecki, Editorial, Information Processing Letters 90 2004, p. 1–2.see in PBN
- Jerzy Marcinkowski and Andrzej Tarlecki (eds.), Computer Science Logic. 18th International Workshop, Springer, Berlin 2004.see in PBN
- Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter Mosses, Don Sannella and Andrzej Tarlecki, CASL Semantics, Lecture Notes In Computer Science 2960 2004, p. 115–273.see in PBN
- Michel Bidoit, Don Sannella and Andrzej Tarlecki, Toward component-oriented formal software development: an algebraic approach, Lecture Notes In Computer Science 2941 2004, p. 75–90.see in PBN
2003
- Luis Filippe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicolo, Jose Luis Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antonia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristovao Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing and Artur Zawłocki, AGILE: Software Architecture for Mobility., in: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers., Springer, 2003, p. 1–33.see in PBN
- Andrzej Tarlecki, Abstract specification theory: an overview, in: Models, Algebras, and Logics of Engineering Software, IOS Press, Washington 2003.see in PBN
- Jan Madey, Jose Fiadeiro and Andrzej Tarlecki (eds.), Special Issue to Honour Professor W.M. Turski, Elsevier, Amsterdam 2003.see in PBN
- Till Mossakowski, Anne Haxthausen, Donald Sannella and Andrzej Tarlecki, CASL --- The Common Algebraic Specification Language: semantics and proof theory, Computing And Informatics 22 2003, p. 285–321.see in PBN
2002
- Andrzej Tarlecki, Michel Bidoit and Don Sannella, Architectural Specifications in CASL, Formal Aspects Of Computing 13 2002, p. 252–273.see in PBN
- Andrzej Tarlecki, E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brueckner, P. Mosses and D. Sannella, CASL: The Common Algebraic Specification Language, Theoretical Computer Science 286 (2) 2002, p. 153–196.see in PBN
- M. Bidoit, D. Sannella and Andrzej Tarlecki, Global Development via Local Observational Construction Steps, Lecture Notes In Computer Science 2420 2002, p. 1–24.see in PBN
- M. Bidoit, D. Sannella and Andrzej Tarlecki, Toward Component-Oriented Formal Software Development: an Algebraic Approach, in: Proc. 9th Monterey Software Engineering Workshop 2002"Radical Innovations of Software and System Engineering in the Future", Universita Ca Foscari di Venezia, Venice 2002.see in PBN
- Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella and Andrzej Tarlecki, CASL: the Common Algebraic Specification Language, Theoretical Computer Science 286 2002, p. 153–196.see in PBN
2001
- Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder and T. Mossakowski, Checking amalgamability conditions for CASL architectural specifications, Lecture Notes In Computer Science (2136) 2001, p. 451–463.see in PBN
- Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder and T. Mossakowski, Semantics of architectural specifications in CASL, Lecture Notes In Computer Science (2029) 2001, p. 253–266.see in PBN
- Andrzej Tarlecki, T. Mossakowski and L. Schroeder, Amalgamation in CASL via enriched signatures, Lecture Notes In Computer Science (2076) 2001, p. 993–1004.see in PBN
- Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny and Andrzej Tarlecki, First order specifications of programmable data types, Siam Journal On Computing 30 2001, p. 2084–2096.see in PBN
1999
- Donald Sannella and Andrzej Tarlecki, Algebraic Methods for Specification and Formal Development of Programs, Acm Computing Surveys 31 (3es) 1999, p. 10.see in PBN
- Donald Sannella and Andrzej Tarlecki, Algebraic Preliminaries, in: Algebraic Foundations of Systems Specification, Springer, 1999, p. 13–30.see in PBN
- Andrzej Tarlecki, Institutions: An Abstract Framework for Formal Specifications, in: Algebraic Foundations of Systems Specification, Springer, 1999, p. 105–130.see in PBN
You are not logged in | log in
