A Calculus for Predicative Programming. - Emil Sekerinski (MPC, 1992)

Verfeinerung in der objektorientierten Programmkonstruktion. - Emil Sekerinski (1994)

Stepwise Refinement of Control Software - A Case Study Using RAISE. - François Erasmy; Emil Sekerinski (FME, 1994)

An Action System Approach to the Steam Boiler Problem. - Michael J. Butler; Emil Sekerinski; Kaisa Sere (Formal Methods for Industrial Applications, 1995)

RAISE. - François Erasmy; Emil Sekerinski (Formal Development of Reactive Systems, 1995)

On Object-Oriented Design and Verification. - Claus Lewerentz; Thomas Lindner 001; Andreas Rüping; Emil Sekerinski (KORSO Book, 1995)

Modula-3. - Andreas Rüping; Emil Sekerinski (Formal Development of Reactive Systems, 1995)

A Theory of Prioritizing Composition. - Emil Sekerinski; Kaisa Sere (Comput. J., 1996)

Action-Based Concurrency and Synchronization for Objects. - Ralph-Johan Back; Martin Büchi; Emil Sekerinski (ARTS, 1997)

Formal Methods for Component Software: The Refinement Calculus Perspective. - Martin Büchi; Emil Sekerinski (ECOOP Workshops, 1997)

The Fragile Base Class Problem and Its Impact on Component Systems. - Leonid Mikhajlov; Emil Sekerinski (ECOOP Workshops, 1997)

Class Refinement and Interface Refinement in Object-Oriented Programs. - Anna Mikhajlova; Emil Sekerinski (FME, 1997)

Graphical Design of Reactive Systems. - Emil Sekerinski (B, 1998)

A Study of The Fragile Base Class Problem. - Leonid Mikhajlov; Emil Sekerinski (ECOOP, 1998)

Developing Components in the Presence of Re-entrance. - Leonid Mikhajlov; Emil Sekerinski; Linas Laibinis (World Congress on Formal Methods, 1999)

On Guarded Commands with Fair Choice. - Emil Sekerinski (MPC, 2000)

A Foundation for Refining Concurrent Objects. - Martin Büchi; Emil Sekerinski (Fundam. Informaticae, 2000)

iState: A Statechart Translator. - Emil Sekerinski; Rafik Zurob (UML, 2001)

Foundations of the Trace Assertion Method of Module Interface Specification. - Ryszard Janicki; Emil Sekerinski (IEEE Trans. Software Eng., 2001)

Concurrent Object-Oriented Programs: From Specification to Code. - Emil Sekerinski (FMCO, 2002)

Translating Statecharts to B. - Emil Sekerinski; Rafik Zurob (IFM, 2002)

Tabular verification and refinement. - Emil Sekerinski (Refine, 2002)

Exploring Tabular Verification and Refinement. - Emil Sekerinski (Formal Aspects Comput., 2003)

Verification and refinement with fine-grained action-based concurrent objects. - Emil Sekerinski (Theor. Comput. Sci., 2005)

Verifying Statecharts with State Invariants. - Emil Sekerinski (ICECCS, 2008)

An Algebraic Approach to Refinement with Fair Choice. - Emil Sekerinski (Refine@FM, 2008)

Design Verification with State Invariants. - Emil Sekerinski (UML 2 Semantics and Applications, 2009)

Verification Rules for Exception Handling in Eiffel. - Emil Sekerinski; Tian Zhang (SBMF, 2012)

Correctness of intrusive data structures using mixins. - Eden Burton; Emil Sekerinski (CBSE, 2013)

Finitary Fairness in Action Systems. - Emil Sekerinski; Tian Zhang (ICTAC, 2013)

pState: A probabilistic statecharts translator. - Bojan Nokovic; Emil Sekerinski (MECO, 2013)

On a New Notion of Partial Refinement - Emil Sekerinski; Tian Zhang (Refine@IFM, 2013)

Verification and Code Generation for Timed Transitions in pCharts. - Bojan Nokovic; Emil Sekerinski (C3S2E, 2014)

Using dynamic mixins to implement design patterns. - Eden Burton; Emil Sekerinski (EuroPLoP, 2014)

Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring. - Bojan Nokovic; Emil Sekerinski (IoT 360 (2), 2015)

The safety of dynamic mixin composition. - Eden Burton; Emil Sekerinski (SAC, 2015)

A Holistic Approach in Embedded System Development. - Bojan Nokovic; Emil Sekerinski (F-IDE, 2015)

Model-based WCET Analysis with Invariants. - Bojan Nokovic; Emil Sekerinski (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

An object model for a dynamic mixin based language. - Eden Burton; Emil Sekerinski (SAC, 2016)

Modelling probabilistic timing analysis: work-in-progress. - Bojan Nokovic; Emil Sekerinski (EMSOFT Companion, 2017)

A Comparison of Time Series Databases for Storing Water Quality Data. - Muntazir Fadhel; Emil Sekerinski; Shucai Yao (IMCL, 2018)

An object model for dynamic mixins. - Eden Burton; Emil Sekerinski (Comput. Lang. Syst. Struct., 2018)

Refining Santa: An Exercise in Efficient Synchronization. - Emil Sekerinski; Shucai Yao (Refine@FM, 2018)

A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). - Spencer Park; Emil Sekerinski (F-IDE@FLoC, 2018)

Teaching Concurrency with the Disappearing Formal Method. - Emil Sekerinski (FMTea, 2019)

Universal Design of Interactive Mathematical Notebooks on Programming. - Bin Guo 013; Jason Nagy; Emil Sekerinski (SIGCSE (2), 2022)

New Parallel Order Maintenance Data Structure. - Bin Guo 013; Emil Sekerinski (CoRR, 2022)

Efficient parallel graph trimming by arc-consistency. - Bin Guo 013; Emil Sekerinski (J. Supercomput., 2022)

Parallel Order-Based Core Maintenance in Dynamic Graphs. - Bin Guo 013; Emil Sekerinski (ICPP, 2023)

On Concurrent Program Algebra and Demonic Automata. - Emil Sekerinski (ICTAC, 2024)

Formal Development of a Delay-Tolerant Multicast Protocol for Wireless Sensors. - Emil Sekerinski; Tianyu Zhou (IFIPIoT (1), 2024)

Federated k-Core Decomposition: A Secure Distributed Approach. - Bin Guo 013; Emil Sekerinski; Lingyang Chu (CoRR, 2024)

Simplified algorithms for order-based core maintenance. - Bin Guo 013; Emil Sekerinski (J. Supercomput., 2024)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language. - Shucai Yao; Emil Sekerinski (PLACES@ETAPS, 2025)