Publikacje

Andrzej Tarlecki

Liczba publikacji: 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 czerwca 2023 - 23 czerwca 2023. Zobacz w PBN

2017

• Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , Specification refinements: Calculi, tools, and applications, Science of Computer Programming, 144 2017, s. 1-49. Zobacz w 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, s. 117-139. Zobacz w 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. Zobacz w 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. Zobacz w PBN

2014

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

2012

• Donald Sannella, Andrzej Tarlecki , Foundations of Algebraic Specification and Formal Software Development, 2012. Zobacz w 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. Zobacz w PBN

2011

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

2009

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

2008

• María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki , Martin Wirsing, A Heterogeneous Approach to UML Semantics, 2008. Zobacz w PBN
• A. Haxthausen, T. Mossakowski, D. Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language, Logics of Specification Languages, 2008. Zobacz w PBN
• Donald Sannella, Andrzej Tarlecki , Observability Concepts in Abstract Data Type Specification, 30 Years Later, 2008. Zobacz w PBN
• Michel Bidoit, Donald Sannella, Andrzej Tarlecki , Observational interpretation of Casl specifications, Mathematical Structures in Computer Science, 2008. Zobacz w 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. Zobacz w PBN
• Andrzej Tarlecki , Toward specifications for reconfigurable component systems, Lecture Notes in Computer Science, 2007. Zobacz w PBN

2006

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

2005

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

2004

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

2003

• Andrzej Tarlecki , Abstract specification theory: an overview, 2003. Zobacz w 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 września 2002 - 27 września 2002. Zobacz w PBN
• Anne Haxthausen, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language: semantics and proof theory, COMPUTING AND INFORMATICS, 2003. Zobacz w PBN
• Jose Fiadeiro, Jan Madey, Andrzej Tarlecki , Special Issue to Honour Professor W.M. Turski, 2003. Zobacz w PBN

2002

• Michel Bidoit, Don Sannella, Andrzej Tarlecki , Architectural Specifications in CASL, Formal Aspects of Computing, 2002. Zobacz w 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. Zobacz w PBN
• M. Bidoit, D. Sannella, Andrzej Tarlecki , Global Development via Local Observational Construction Steps, Lecture Notes in Computer Science, 2002. Zobacz w PBN
• M. Bidoit, D. Sannella, Andrzej Tarlecki , Toward Component-Oriented Formal Software Development: an Algebraic Approach, 2002. Zobacz w PBN

2001

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

2000

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

1999

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

1997

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

Inne

• A. Haxthausen, D. Sannella, T. Mossakowski, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language, Logics of Specification Languages, , s. 241-298. Zobacz w 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., , s. 361-379. Zobacz w PBN
• Donald Sannella, Andrzej Tarlecki , On Normal Forms for Structured Specifications with Generating Constraints, Graph Transformation, Specifications, and Nets, , s. 266-284. Zobacz w PBN
• Andrzej Tarlecki , Some Nuances of Many-sorted Universal Algebra: A Review, , s. 89-111. Zobacz w 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., , s. 253-272. Zobacz w PBN