Andrzej Tarlecki

Donald Sannella, Andrzej Tarlecki: Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs on theoretical computer science, Springer 2012, isbn 978-3-642-17335-6, pp. I-XVI, 1-581

Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki: Testing of Evolving Protocols. ICST 2012: 901-906

Andrzej Tarlecki: Some Nuances of Many-sorted Universal Algebra: A Review. Bulletin of the EATCS 104: 89-111 (2011)

Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm: Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos 1(1): 21-40 (2011)

Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki: What is a Logic Translation? Logica Universalis 3(1): 95-124 (2009)

Lars Arge, Christian Cachin, Andrzej Tarlecki: Preface. Theor. Comput. Sci. 410(18): 1617 (2009)

Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (Eds.): Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture Notes in Computer Science 5728, Springer 2009, isbn 978-3-642-03740-5

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Observational interpretation of Casl specifications. Mathematical Structures in Computer Science 18(2): 325-371 (2008)

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402

Donald Sannella, Andrzej Tarlecki: Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models 2008: 593-617

Till Mossakowski, Andrzej Tarlecki: Heterogeneous Logical Environments for Distributed Specifications. WADT 2008: 266-289

Andrzej Tarlecki: Toward Specifications for Reconfigurable Component Systems. ICATPN 2007: 24-28

Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki (Eds.): Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings. Lecture Notes in Computer Science 4596, Springer 2007, isbn 978-3-540-73419-2

Donald Sannella, Andrzej Tarlecki: Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen 2006: 296-316

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Amalgamation in the semantics of CASL. Theor. Comput. Sci. 331(1): 215-247 (2005)

John A. Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (Eds.): FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Lecture Notes in Computer Science 3582, Springer 2005, isbn 3-540-27882-6

Andrzej Tarlecki: Editorial. Inf. Process. Lett. 90(1): 1-2 (2004)

Till Mossakowski, Donald Sannella, Andrzej Tarlecki: A Simple Refinement Language for Casl. WADT 2004: 162-185

Jerzy Marcinkowski, Andrzej Tarlecki (Eds.): Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3210, Springer 2004, isbn 3-540-23024-6

Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki: Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Computers and Artificial Intelligence 22(3-4): 285-321 (2003)

José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki: Foreword. Inf. Process. Lett. 88(1-2): 1-2 (2003)

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. Formal Asp. Comput. 13(3-5): 252-273 (2002)

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki: CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286(2): 153-196 (2002)

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Global Development via Local Observational Construction Steps. MFCS 2002: 1-24

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90

Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL. FASE 2001: 253-268

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki: Amalgamation in CASL via Enriched Signatures. ICALP 2001: 993-1004

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463

Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki: First-Order Specifications of Programmable Data Types. SIAM J. Comput. 30(6): 2084-2096 (2000)

Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki: Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176

Donald Sannella, Andrzej Tarlecki: Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31(3es): 10 (1999)

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. AMAST 1998: 341-357

Donald Sannella, Andrzej Tarlecki: Essential Concepts of Algebraic Specification and Program Development. Formal Asp. Comput. 9(3): 229-269 (1997)

Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski: Foreword. Sci. Comput. Program. 28(2-3): 91 (1997)

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997)

Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski: Combining and Representing Logical Systems. Category Theory and Computer Science 1997: 177-196

Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski: Combining and representing logical systems using model-theoretic parchments. WADT 1997: 349-364

Michel Bidoit, Andrzej Tarlecki: Behavioural Satisfaction and Equivalence in Concrete Model Categories. CAAP 1996: 241-256

Donald Sannella, Andrzej Tarlecki: Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS 1996: 114-134

Andrzej Tarlecki: Moving Between Logical Systems. COMPASS/ADT 1995: 478-502

Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (Eds.): Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers. Lecture Notes in Computer Science 906, Springer 1995, isbn 3-540-59132-X

Robert Harper, Donald Sannella, Andrzej Tarlecki: Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Logic 67(1-3): 113-160 (1994)

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: Interfaces and Extended ML. Workshop on Interface Definition Languages 1994: 111-118

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages 1993: 186-215

Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Inf. 29(8): 689-736 (1992)

Andrzej Tarlecki: Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. ESOP 1992: 451-472

Donald Sannella, Andrzej Tarlecki: Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. ICALP 1992: 656-671

Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A three-valued logic for software specification and validation. Fundam. Inform. 14(4): 411-453 (1991)

Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup: On Conservative Extensions of Syntax in System Development. Theor. Comput. Sci. 90(1): 209-233 (1991)

Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen: Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. Theor. Comput. Sci. 91(2): 239-264 (1991)

Andrzej Tarlecki (Ed.): Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Lecture Notes in Computer Science 520, Springer 1991, isbn 3-540-54345-7

Donald Sannella, Andrzej Tarlecki: Algebraic specification and formal methods for program development: what are the real problems? Bulletin of the EATCS 41: 134-138 (1990)

Donald Sannella, Andrzej Tarlecki: A Kernel Specification Formalism with Higher-Order Parameterization. ADT 1990: 274-296

Donald Sannella, Andrzej Tarlecki: Extended ML: Past, Present, and Future. ADT 1990: 297-322

Andrzej Tarlecki, Morten Wieth: A Naive Domain Universe for VDM. VDM Europe 1990: 552-579

Robert Harper, Donald Sannella, Andrzej Tarlecki: Logic Representation in LF. Category Theory and Computer Science 1989: 250-272

Robert Harper, Donald Sannella, Andrzej Tarlecki: Structure and Representation in LF. LICS 1989: 226-237

Donald Sannella, Andrzej Tarlecki: Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). TAPSOFT, Vol.2 1989: 375-389

Donald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Inf. 25(3): 233-281 (1988)

Donald Sannella, Andrzej Tarlecki: Specifications in an Arbitrary Institution. Inf. Comput. 76(2/3): 165-210 (1988)

Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki: Existence, Uniqueness, and Construction of Rewrite Systems. SIAM J. Comput. 17(4): 629-639 (1988)

Donald Sannella, Andrzej Tarlecki: Formal Development of ML Programs: Methodological Aspects. ADT 1988

Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148

Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A Three-Valued Logic for Software Specification and Validation. VDM Europe 1988: 218-242

Donald Sannella, Andrzej Tarlecki: On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. 34(2/3): 150-178 (1987)

Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169

Donald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). TAPSOFT, Vol.1 1987: 96-110

Donald Sannella, Andrzej Tarlecki (Eds.): Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987

Andrzej Tarlecki: Quasi-varieties in Abstract Algebraic Institutions. J. Comput. Syst. Sci. 33(3): 333-360 (1986)

Donald Sannella, Andrzej Tarlecki: Extended ML: An Institution-Independent Framework for Formal Program Development. ADT 1986

Andrzej Tarlecki: Bits and Pieces of the Theory of Institutions. ADT 1986

Andrzej Tarlecki: Programming in the Large with Algebraic Module Specifications - Response. IFIP Congress 1986: 685-688

Manfred Broy, Andrzej Tarlecki: Algebraic specification of the abstract data type "Continuum". Bulletin of the EATCS 26: 32-35 (1985)

Andrzej Tarlecki: A Language of Specified Programs. Sci. Comput. Program. 5(1): 59-81 (1985)

Andrzej Tarlecki: On the Existence of Free Models in Abstract Algebraic Institutuons. Theor. Comput. Sci. 37: 269-304 (1985)

Andrzej Tarlecki: Bits and Pieces of the Theory of Institutions. CTCS 1985: 334-365

Donald Sannella, Andrzej Tarlecki: Extended ML: an Institution - Independent Framework for Formal Program Development. CTCS 1985: 364-389

Andrzej Tarlecki, Martin Wirsing: Continuous abstract data types: basic machinery and results. FCT 1985: 431-441

Donald Sannella, Andrzej Tarlecki: Program Specification and Development in Standard ML. POPL 1985: 67-77

Donald Sannella, Andrzej Tarlecki: On Observational Equivalence and Algebraic Specification. TAPSOFT, Vol.1 1985: 308-322

Donald Sannella, Andrzej Tarlecki: Some Thoughts on Algebraic Specification. ADT 1984: 31-38

Andrzej Tarlecki: Free Constructions in Algebraic Institutions. MFCS 1984: 526-534

Donald Sannella, Andrzej Tarlecki: Building Specifications in an Arbitrary Institution. Semantics of Data Types 1984: 337-356

Andrzej Blikle, Andrzej Tarlecki: Naive Denotational Semantics. IFIP Congress 1983: 345-355