Andrzej Tarlecki

102 papers A* 5A 2B 13Journal 37Unranked 39
YearRankTypeTitle / Venue / Authors
2023 B conf
Interpolation Is (Not Always) Easy to Spoil.
CALCO
Andrzej Tarlecki
2018 — conf
On Normal Forms for Structured Specifications with Generating Constraints.
Graph Transformation, Specifications, and Nets
Donald Sannella, Andrzej Tarlecki
2017 J jnl
Specification refinements: Calculi, tools, and applications.
Sci. Comput. Program.
Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2015 J jnl
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation.
Int. J. Softw. Informatics
Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki
2015 — conf
Modularity of Ontologies in an Arbitrary Institution.
Logic, Rewriting, and Concurrency
Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2015 — conf
The Foundational Legacy of ASL.
Software, Services, and Systems
Donald Sannella, Andrzej Tarlecki
2014 B conf
A Relatively Complete Calculus for Structured Heterogeneous Specifications.
FoSSaCS
Till Mossakowski, Andrzej Tarlecki
2014 — conf
Parchments for CafeOBJ Logics.
Specification, Algebra, and Software
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki
2014 J jnl
Property-oriented semantics of structured specifications.
Math. Struct. Comput. Sci.
Donald Sannella, Andrzej Tarlecki
2014 J jnl
Răzvan Diaconescu, Institution-independent Model Theory.
Stud Logica
Andrzej Tarlecki
2014 J jnl
The Institution-Theoretic Scope of Logic Theorems.
Logica Universalis
Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki
2014 J jnl
Władysław Marek Turski (1938-2013).
Formal Aspects Comput.
Andrzej Tarlecki
2014 J jnl
Władysław Marek Turski (1938-2013).
Inf. Process. Lett.
Andrzej Tarlecki
2012 — book
Foundations of Algebraic Specification and Formal Software Development.
Donald Sannella, Andrzej Tarlecki
2012 A conf
Testing of Evolving Protocols.
ICST
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
2011 J jnl
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).
Dagstuhl Manifestos
Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm
2011 J jnl
Some Nuances of Many-sorted Universal Algebra: A Review.
Bull. EATCS
Andrzej Tarlecki
2009 B ed.
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
CALCO
Alexander Kurz, Marina Lenisa, Andrzej Tarlecki
2009 J jnl
Preface.
Theor. Comput. Sci.
Lars Arge, Christian Cachin, Andrzej Tarlecki
2009 J jnl
What is a Logic Translation?
Logica Universalis
Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki
2008 — conf
A Heterogeneous Approach to UML Semantics.
Concurrency, Graphs and Models
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
2008 — conf
Heterogeneous Logical Environments for Distributed Specifications.
WADT
Till Mossakowski, Andrzej Tarlecki
2008 — conf
Observability Concepts in Abstract Data Type Specification, 30 Years Later.
Concurrency, Graphs and Models
Donald Sannella, Andrzej Tarlecki
2008 J jnl
Observational interpretation of Casl specifications.
Math. Struct. Comput. Sci.
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2007 A* ed.
Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
ICALP
Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki
2007 — conf
Toward Specifications for Reconfigurable Component Systems.
ICATPN
Andrzej Tarlecki
2006 — conf
Horizontal Composability Revisited.
Essays Dedicated to Joseph A. Goguen
Donald Sannella, Andrzej Tarlecki
2005 J jnl
Amalgamation in the semantics of CASL.
Theor. Comput. Sci.
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
2005 B ed.
FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
FM
John S. Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
2004 — conf
A Simple Refinement Language for Casl.
WADT
Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2004 B ed.
Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
CSL
Jerzy Marcinkowski, Andrzej Tarlecki
2004 J jnl
Editorial.
Inf. Process. Lett.
Andrzej Tarlecki
2003 J jnl
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.
Comput. Artif. Intell.
Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki
2003 J jnl
Foreword.
Inf. Process. Lett.
José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís 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
2002 J jnl
Architectural Specifications in CASL.
Formal Aspects Comput.
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2002 J jnl
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci.
Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
2002 B conf
Global Development via Local Observational Construction Steps.
MFCS
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2002 — conf
Toward Component-Oriented Formal Software Development: An Algebraic Approach.
RISSEF
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2001 A* conf
Amalgamation in CASL via Enriched Signatures.
ICALP
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
2001 B conf
Checking Amalgamability Conditions for C ASL Architectural Specifications.
MFCS
Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
2001 B conf
Semantics of Architectural Specifications in CASL.
FASE
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
2000 B conf
Constructive Data Refinement in Typed Lambda Calculus.
FoSSaCS
Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
2000 J jnl
First-Order Specifications of Programmable Data Types.
SIAM J. Comput.
Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki
1999 J jnl
Algebraic Methods for Specification and Formal Development of Programs.
ACM Comput. Surv.
Donald Sannella, Andrzej Tarlecki
1999 — ch.
Algebraic Preliminaries.
Algebraic Foundations of Systems Specification
Donald Sannella, Andrzej Tarlecki
1999 — ch.
Institutions: An Abstract Framework for Formal Specifications.
Algebraic Foundations of Systems Specification
Andrzej Tarlecki
1998 — conf
Architectural Specifications in CASL.
AMAST
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
1998 — conf
Towards Heterogeneous Specifications.
FroCoS
Andrzej Tarlecki
1997 — conf
Combining and Representing Logical Systems.
Category Theory and Computer Science
Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
1997 — conf
Combining and representing logical systems using model-theoretic parchments.
WADT
Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
1997 J jnl
Essential Concepts of Algebraic Specification and Program Development.
Formal Aspects Comput.
Donald Sannella, Andrzej Tarlecki
1997 J jnl
Foreword.
Sci. Comput. Program.
Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski
1997 J jnl
The Definition of Extended ML: A Gentle Introduction.
Theor. Comput. Sci.
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
1996 — conf
Behavioural Satisfaction and Equivalence in Concrete Model Categories.
CAAP
Michel Bidoit, Andrzej Tarlecki
1996 B conf
Mind the Gap! Abstract Versus Concrete Models of Specifications.
MFCS
Donald Sannella, Andrzej Tarlecki
1995 — conf
Moving Between Logical Systems.
COMPASS/ADT
Andrzej Tarlecki
1995 — ed.
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
COMPASS/ADT
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki
1994 — conf
Interfaces and Extended ML.
Workshop on Interface Definition Languages
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
1994 J jnl
Structured Theory Presentations and Logic Representations.
Ann. Pure Appl. Log.
Robert Harper, Donald Sannella, Andrzej Tarlecki
1993 — ch.
Algebraic specification and formal methods for program development: what are the real problems?
Current Trends in Theoretical Computer Science
Donald Sannella, Andrzej Tarlecki
1993 — conf
The Semantics of Extended ML: A Gentle Introduction.
Semantics of Specification Languages
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
1992 A conf
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft.
ESOP
Andrzej Tarlecki
1992 J jnl
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Acta Informatica
Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki
1992 A* conf
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.
ICALP
Donald Sannella, Andrzej Tarlecki
1991 J jnl
A three-valued logic for software specification and validation.
Fundam. Informaticae
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
1991 B ed.
Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
MFCS
Andrzej Tarlecki
1991 J jnl
On Conservative Extensions of Syntax in System Development.
Theor. Comput. Sci.
Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup
1991 J jnl
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories.
Theor. Comput. Sci.
Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen
1990 — conf
A Kernel Specification Formalism with Higher-Order Parameterization.
ADT
Donald Sannella, Andrzej Tarlecki
1990 — conf
A Naive Domain Universe for VDM.
VDM Europe
Andrzej Tarlecki, Morten Wieth
1990 J jnl
Algebraic specification and formal methods for program development: what are the real problems?
Bull. EATCS
Donald Sannella, Andrzej Tarlecki
1990 — conf
Extended ML: Past, Present, and Future.
ADT
Donald Sannella, Andrzej Tarlecki
1989 — conf
Logic Representation in LF.
Category Theory and Computer Science
Robert Harper, Donald Sannella, Andrzej Tarlecki
1989 A* conf
Structure and Representation in LF
LICS
Robert Harper, Donald Sannella, Andrzej Tarlecki
1989 — conf
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract).
TAPSOFT, Vol.2
Donald Sannella, Andrzej Tarlecki
1988 — conf
A Three-Valued Logic for Software Specification and Validation.
VDM Europe
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
1988 — conf
Algebraic Specification with Built-in Domain Constructions.
CAAP
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
1988 J jnl
Existence, Uniqueness, and Construction of Rewrite Systems.
SIAM J. Comput.
Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki
1988 — conf
Formal Development of ML Programs: Methodological Aspects.
ADT
Donald Sannella, Andrzej Tarlecki
1988 J jnl
Specifications in an Arbitrary Institution
Inf. Comput.
Donald Sannella, Andrzej Tarlecki
1988 J jnl
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.
Acta Informatica
Donald Sannella, Andrzej Tarlecki
1987 — conf
Algebraic Specifications of Reachable Higher-Order Algebras.
ADT
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
1987 J jnl
On Observational Equivalence and Algebraic Specification.
J. Comput. Syst. Sci.
Donald Sannella, Andrzej Tarlecki
1987 — ed.
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers
ADT
Donald Sannella, Andrzej Tarlecki
1987 — conf
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract).
TAPSOFT, Vol.1
Donald Sannella, Andrzej Tarlecki
1986 — conf
Bits and Pieces of the Theory of Institutions.
ADT
Andrzej Tarlecki
1986 — conf
Extended ML: An Institution-Independent Framework for Formal Program Development.
ADT
Donald Sannella, Andrzej Tarlecki
1986 — conf
Programming in the Large with Algebraic Module Specifications - Response.
IFIP Congress
Andrzej Tarlecki
1986 J jnl
Quasi-varieties in Abstract Algebraic Institutions.
J. Comput. Syst. Sci.
Andrzej Tarlecki
1985 J jnl
A Language of Specified Programs.
Sci. Comput. Program.
Andrzej Tarlecki
1985 J jnl
Algebraic specification of the abstract data type "Continuum".
Bull. EATCS
Manfred Broy, Andrzej Tarlecki
1985 — conf
Bits and Pieces of the Theory of Institutions.
CTCS
Andrzej Tarlecki
1985 B conf
Continuous abstract data types: basic machinery and results.
FCT
Andrzej Tarlecki, Martin Wirsing
1985 — conf
Extended ML: an Institution - Independent Framework for Formal Program Development.
CTCS
Donald Sannella, Andrzej Tarlecki
1985 — conf
On Observational Equivalence and Algebraic Specification.
TAPSOFT, Vol.1
Donald Sannella, Andrzej Tarlecki
1985 J jnl
On the Existence of Free Models in Abstract Algebraic Institutuons.
Theor. Comput. Sci.
Andrzej Tarlecki
1985 A* conf
Program Specification and Development in Standard ML.
POPL
Donald Sannella, Andrzej Tarlecki
1984 — conf
Building Specifications in an Arbitrary Institution.
Semantics of Data Types
Donald Sannella, Andrzej Tarlecki
1984 B conf
Free Constructions in Algebraic Institutions.
MFCS
Andrzej Tarlecki
1984 — conf
Some Thoughts on Algebraic Specification.
ADT
Donald Sannella, Andrzej Tarlecki
1983 — conf
Naive Denotational Semantics.
IFIP Congress
Andrzej Blikle, Andrzej Tarlecki