Publications

Andrzej Tarlecki

Number of publications: 62

2023

• Andrzej Tarlecki , Interpolation Is (Not Always) Easy to Spoil, 10th Conference on Algebra and Coalgebra in Computer Science, Bloomington, the United States of America, 19 June 2023 - 23 June 2023. See in PBN

2017

• Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , Specification refinements: Calculi, tools, and applications, Science of Computer Programming, 144 2017, p. 1-49. See in PBN

2015

• Grzegorz Marczyński, Donald Sannella, 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
• Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , Modularity of Ontologies in an Arbitrary Institution., Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday., 2015. See in PBN
• Donald Sannella, Andrzej Tarlecki , The Foundational Legacy of ASL., Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering., 2015. See in PBN

2014

• Till Mossakowski, Andrzej Tarlecki , A relatively complete calculus for structured heterogeneous specifications, 2014. See in PBN
• Till Mossakowski, Wiesław Pawłowski, Donald Sannella, Andrzej Tarlecki , Parchments for CafeOBJ Logics, 2014. See in PBN
• Donald Sannella, Andrzej Tarlecki , Property-oriented semantics of structured specifications, Mathematical Structures in Computer Science, 2014. See in PBN
• Andrzej Tarlecki , R\uazvan Diaconescu, Institution-independent Model Theory, Studia Logica, 2014. See in PBN
• Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki , The Institution-Theoretic Scope of Logic Theorems, Logica Universalis, 2014. See in PBN
• Andrzej Tarlecki , Władysław Marek Turski (1938 - 2013), Formal Aspects of Computing, 2014. See in PBN
• Andrzej Tarlecki , Władysław Marek Turski (1938-2013), Formal Aspects of Computing, 2014. See in PBN

2012

• Donald Sannella, Andrzej Tarlecki , Foundations of Algebraic Specification and Formal Software Development, 2012. See in PBN
• Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert , Andrzej Tarlecki , Testing of Evolving Protocols, IEEE Sixth International ConferIEEE Sixth International Conference on Software Testing, Verification and Validation 2012, Montreal, Canada, 2012. See in PBN

2011

• Joerg Kreiker, Andrzej Tarlecki , Moshe Vardi, Reinhard Wilhelm, Modeling, Analysis, and Verification: The Formal Methods Manifesto 2010, 2011. See in PBN
• Alexander Kurz, Andrzej Tarlecki , Special issue on Algebra and Coalgebra in Computer Science (CALCO 2009), 2011. See in PBN

2009

• Till Mossakowski, Andrzej Tarlecki , Heterogeneous Logical Environments for Distributed Specifications, Lecture Notes in Computer Science, 2009. See in PBN
• Lars Arge, Christian Cachin, Andrzej Tarlecki , Preface, Theoretical Computer Science, 2009. See in PBN
• L. Arge, Ch. Cachin, Andrzej Tarlecki , Special issue on Automata, Languages and Programming (ICALP 2007), 2009. See in PBN
• Alexander Kurz, Marina Lenisa, Andrzej Tarlecki , Third International Conference on Algebra and Coalgebra in Computer Science, 2009. See in PBN
• R. Diaconescu, T. Mossakowski, Andrzej Tarlecki , What is a Logic Translation?, Logica Universalis, 2009. See in PBN

2008

• María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki , Martin Wirsing, A Heterogeneous Approach to UML Semantics, 2008. See in PBN
• A. Haxthausen, T. Mossakowski, D. Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language, Logics of Specification Languages, 2008. See in PBN
• Donald Sannella, Andrzej Tarlecki , Observability Concepts in Abstract Data Type Specification, 30 Years Later, 2008. See in PBN
• Michel Bidoit, Donald Sannella, Andrzej Tarlecki , Observational interpretation of Casl specifications, Mathematical Structures in Computer Science, 2008. See in PBN

2007

• Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki , Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings., 2007. See in PBN
• Andrzej Tarlecki , Toward specifications for reconfigurable component systems, Lecture Notes in Computer Science, 2007. See in PBN

2006

• Don Sannella, Andrzej Tarlecki , Horizontal composability revisited, Lecture Notes in Computer Science, 2006. See in PBN

2005

• Till Mossakowski, Don Sannella, Andrzej Tarlecki , A Simple Refinement Language for CASL, Lecture Notes in Computer Science, 2005. See in PBN
• Piotr Hoffman, Bartosz Klin , Till Mossakowski, Lutz Schroeder, Andrzej Tarlecki , Amalgamation in the semantics of CASL, Theoretical Computer Science, 2005. See in PBN
• John Fitzgerald, Ian Hayes, Andrzej Tarlecki , FM 2005: Formal Methods, International Symposium of Formal Methods Europe, 2005. See in PBN
• Razvan Diaconescu, Joseph Goguen, Till Mossakowski, Andrzej Tarlecki , What is a logic?, 2005. See in PBN
• R. Diaconescu, J. Goguen, T. Mossakowski, Andrzej Tarlecki , What is a logics?, 2005. See in PBN

2004

• Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter Mosses, Don Sannella, Andrzej Tarlecki , CASL Semantics, Lecture Notes in Computer Science, 2004. See in PBN
• Jerzy Marcinkowski, Andrzej Tarlecki , Computer Science Logic. 18th International Workshop, 2004. See in PBN
• Andrzej Tarlecki , Editorial, Information Processing Letters, 2004. See in PBN
• Don Sannella, Andrzej Tarlecki , Foundations. In: CASL User Manual, Lecture Notes in Computer Science, 2004. See in PBN
• Andrzej Tarlecki , Software Specification and Development in Heterogeneous Environments, 2004. See in PBN
• Michel Bidoit, Don Sannella, Andrzej Tarlecki , Toward component-oriented formal software development: an algebraic approach, Lecture Notes in Computer Science, 2004. See in PBN

2003

• Andrzej Tarlecki , Abstract specification theory: an overview, 2003. See in PBN
• 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, Artur Zawłocki, AGILE: Software Architecture for Mobility., 16th International Workshop on Algebraic Development Techniques, Frauenchiemsee, Germany, 24 September 2002 - 27 September 2002. See in PBN
• Anne Haxthausen, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language: semantics and proof theory, COMPUTING AND INFORMATICS, 2003. See in PBN
• Jose Fiadeiro, Jan Madey, Andrzej Tarlecki , Special Issue to Honour Professor W.M. Turski, 2003. See in PBN

2002

• Michel Bidoit, Don Sannella, Andrzej Tarlecki , Architectural Specifications in CASL, Formal Aspects of Computing, 2002. See in PBN
• E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brueckner, P. Mosses, D. Sannella, Andrzej Tarlecki , CASL: The Common Algebraic Specification Language, Theoretical Computer Science, 2002. See in PBN
• M. Bidoit, D. Sannella, Andrzej Tarlecki , Global Development via Local Observational Construction Steps, Lecture Notes in Computer Science, 2002. See in PBN
• M. Bidoit, D. Sannella, Andrzej Tarlecki , Toward Component-Oriented Formal Software Development: an Algebraic Approach, 2002. See in PBN

2001

• T. Mossakowski, L. Schroeder, Andrzej Tarlecki , Amalgamation in CASL via enriched signatures, Lecture Notes in Computer Science, 2001. See in PBN
• Piotr Hoffman, B. Klin, T. Mossakowski, A. Schroeder, Andrzej Tarlecki , Checking amalgamability conditions for CASL architectural specifications, Lecture Notes in Computer Science, 2001. See in PBN
• Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki , First order specifications of programmable data types, SIAM Journal on Computing, 2001. See in PBN
• Piotr Hoffman, B. Klin, T. Mossakowski, A. Schroeder, Andrzej Tarlecki , Semantics of architectural specifications in CASL, Lecture Notes in Computer Science, 2001. See in PBN

2000

• F Honsell, J Longley, D Sannella, Andrzej Tarlecki , Constructive data refinement in typed lambda calculus, Lecture Notes in Computer Science, 2000. See in PBN
• Andrzej Tarlecki , Towards heterogeneous specifications, 2000. See in PBN

1999

• Donald Sannella, Andrzej Tarlecki , Algebraic Methods for Specification and Formal Development of Programs, ACM Computing Surveys, 1999. See in PBN
• Donald Sannella, Andrzej Tarlecki , Algebraic Preliminaries, 1999. See in PBN
• Andrzej Tarlecki , Institutions: An Abstract Framework for Formal Specifications, Algebraic Foundations of Systems Specification, 1999. See in PBN

1997

• Stefan Kahrs, Donald Sannella, Andrzej Tarlecki , The definition of Extended ML: A gentle introduction, Theoretical Computer Science, 1997. See in PBN

Others

• A. Haxthausen, D. Sannella, T. Mossakowski, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language, Logics of Specification Languages, , p. 241-298. See in PBN
• Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , Modularity of Ontologies in an Arbitrary Institution., Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday., , p. 361-379. See in PBN
• Donald Sannella, Andrzej Tarlecki , On Normal Forms for Structured Specifications with Generating Constraints, Graph Transformation, Specifications, and Nets, , p. 266-284. See in PBN
• Andrzej Tarlecki , Some Nuances of Many-sorted Universal Algebra: A Review, , p. 89-111. See in PBN
• Donald Sannella, Andrzej Tarlecki , The Foundational Legacy of ASL., Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering., , p. 253-272. See in PBN