Emil Sekerinski

65 papers A 1B 7C 2Misc 3Journal 15Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
New concurrent order maintenance data structure.
J. Parallel Distributed Comput.
Bin Guo, Emil Sekerinski
2025 — conf
An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language.
PLACES@ETAPS
Shucai Yao, Emil Sekerinski
2025 — conf
Federated k-Core Decomposition: A Secure Distributed Approach.
ASONAM (2)
Bin Guo, Emil Sekerinski, Lingyang Chu
2024 J jnl
Federated k-Core Decomposition: A Secure Distributed Approach.
CoRR
Bin Guo, Emil Sekerinski, Lingyang Chu
2024 — conf
Formal Development of a Delay-Tolerant Multicast Protocol for Wireless Sensors.
IFIPIoT (1)
Emil Sekerinski, Tianyu Zhou
2024 — ed.
Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
FMTea
Emil Sekerinski, Leila Ribeiro
2024 C conf
On Concurrent Program Algebra and Demonic Automata.
ICTAC
Emil Sekerinski
2024 J jnl
Simplified algorithms for order-based core maintenance.
J. Supercomput.
Bin Guo, Emil Sekerinski
2023 B conf
Parallel Order-Based Core Maintenance in Dynamic Graphs.
ICPP
Bin Guo, Emil Sekerinski
2022 J jnl
Efficient parallel graph trimming by arc-consistency.
J. Supercomput.
Bin Guo, Emil Sekerinski
2022 J jnl
New Parallel Order Maintenance Data Structure.
CoRR
Bin Guo, Emil Sekerinski
2022 J jnl
Parallel Order-Based Core Maintenance in Dynamic Graphs.
CoRR
Bin Guo, Emil Sekerinski
2022 J jnl
Simplified Algorithms for Order-Based Core Maintenance.
CoRR
Bin Guo, Emil Sekerinski
2022 — conf
Universal Design of Interactive Mathematical Notebooks on Programming.
SIGCSE (2)
Bin Guo, Jason Nagy, Emil Sekerinski
2021 J jnl
Efficient Parallel Graph Trimming by Arc-Consistency.
CoRR
Bin Guo, Emil Sekerinski
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
FM Workshops (1)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2019 — conf
Teaching Concurrency with the Disappearing Formal Method.
FMTea
Emil Sekerinski
2018 — conf
A Comparison of Time Series Databases for Storing Water Quality Data.
IMCL
Muntazir Fadhel, Emil Sekerinski, Shucai Yao
2018 — conf
A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper).
F-IDE@FLoC
Spencer Park, Emil Sekerinski
2018 J jnl
An object model for dynamic mixins.
Comput. Lang. Syst. Struct.
Eden Burton, Emil Sekerinski
2018 — conf
Refining Santa: An Exercise in Efficient Synchronization.
Refine@FM
Emil Sekerinski, Shucai Yao
2017 — conf
Modelling probabilistic timing analysis: work-in-progress.
EMSOFT Companion
Bojan Nokovic, Emil Sekerinski
2016 Misc conf
An object model for a dynamic mixin based language.
SAC
Eden Burton, Emil Sekerinski
2016 — book
From Action Systems to Distributed Systems - The Refinement Approach.
Luigia Petre, Emil Sekerinski
2015 — conf
A Holistic Approach in Embedded System Development.
F-IDE
Bojan Nokovic, Emil Sekerinski
2015 — conf
Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring.
IoT 360 (2)
Bojan Nokovic, Emil Sekerinski
2015 J jnl
Model-based WCET Analysis with Invariants.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Bojan Nokovic, Emil Sekerinski
2015 Misc conf
The safety of dynamic mixin composition.
SAC
Eden Burton, Emil Sekerinski
2014 B ed.
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
IFM
Elvira Albert, Emil Sekerinski
2014 Misc conf
Using dynamic mixins to implement design patterns.
EuroPLoP
Eden Burton, Emil Sekerinski
2014 — conf
Verification and Code Generation for Timed Transitions in pCharts.
C3S2E
Bojan Nokovic, Emil Sekerinski
2013 — conf
Correctness of intrusive data structures using mixins.
CBSE
Eden Burton, Emil Sekerinski
2013 C conf
Finitary Fairness in Action Systems.
ICTAC
Emil Sekerinski, Tian Zhang
2013 — conf
On a New Notion of Partial Refinement
Refine@IFM
Emil Sekerinski, Tian Zhang
2013 — conf
pState: A probabilistic statecharts translator.
MECO
Bojan Nokovic, Emil Sekerinski
2012 — conf
Verification Rules for Exception Handling in Eiffel.
SBMF
Emil Sekerinski, Tian Zhang
2009 — ch.
Design Verification with State Invariants.
UML 2 Semantics and Applications
Emil Sekerinski
2008 — conf
An Algebraic Approach to Refinement with Fair Choice.
Refine@FM
Emil Sekerinski
2008 B conf
Verifying Statecharts with State Invariants.
ICECCS
Emil Sekerinski
2006 B ed.
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
FM
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
2005 J jnl
Verification and refinement with fine-grained action-based concurrent objects.
Theor. Comput. Sci.
Emil Sekerinski
2003 J jnl
Exploring Tabular Verification and Refinement.
Formal Aspects Comput.
Emil Sekerinski
2002 — conf
Concurrent Object-Oriented Programs: From Specification to Code.
FMCO
Emil Sekerinski
2002 — conf
Tabular verification and refinement.
Refine
Emil Sekerinski
2002 B conf
Translating Statecharts to B.
IFM
Emil Sekerinski, Rafik Zurob
2001 J jnl
Foundations of the Trace Assertion Method of Module Interface Specification.
IEEE Trans. Software Eng.
Ryszard Janicki, Emil Sekerinski
2001 — conf
iState: A Statechart Translator.
UML
Emil Sekerinski, Rafik Zurob
2000 J jnl
A Foundation for Refining Concurrent Objects.
Fundam. Informaticae
Martin Büchi, Emil Sekerinski
2000 B conf
On Guarded Commands with Fair Choice.
MPC
Emil Sekerinski
1999 — conf
Developing Components in the Presence of Re-entrance.
World Congress on Formal Methods
Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis
1998 A conf
A Study of The Fragile Base Class Problem.
ECOOP
Leonid Mikhajlov, Emil Sekerinski
1998 — conf
Graphical Design of Reactive Systems.
B
Emil Sekerinski
1997 — conf
Action-Based Concurrency and Synchronization for Objects.
ARTS
Ralph-Johan Back, Martin Büchi, Emil Sekerinski
1997 — conf
Class Refinement and Interface Refinement in Object-Oriented Programs.
FME
Anna Mikhajlova, Emil Sekerinski
1997 — conf
Formal Methods for Component Software: The Refinement Calculus Perspective.
ECOOP Workshops
Martin Büchi, Emil Sekerinski
1997 — conf
The Fragile Base Class Problem and Its Impact on Component Systems.
ECOOP Workshops
Leonid Mikhajlov, Emil Sekerinski
1996 J jnl
A Theory of Prioritizing Composition.
Comput. J.
Emil Sekerinski, Kaisa Sere
1995 — conf
An Action System Approach to the Steam Boiler Problem.
Formal Methods for Industrial Applications
Michael J. Butler, Emil Sekerinski, Kaisa Sere
1995 — ch.
Modula-3.
Formal Development of Reactive Systems
Andreas Rüping, Emil Sekerinski
1995 — ch.
On Object-Oriented Design and Verification.
KORSO Book
Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski
1995 — ch.
RAISE.
Formal Development of Reactive Systems
François Erasmy, Emil Sekerinski
1994 — conf
Stepwise Refinement of Control Software - A Case Study Using RAISE.
FME
François Erasmy, Emil Sekerinski
1994 — —
Verfeinerung in der objektorientierten Programmkonstruktion.
Emil Sekerinski
1992 B conf
A Calculus for Predicative Programming.
MPC
Emil Sekerinski