Emil Sekerinski

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 15

Top Venues

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Bin Guo, Emil Sekerinski
Simplified algorithms for order-based core maintenance. J. Supercomput. 80 (13) (2024)
Bin Guo, Emil Sekerinski
Parallel Order-Based Core Maintenance in Dynamic Graphs. ICPP (2023)
Bin Guo, Emil Sekerinski
Efficient parallel graph trimming by arc-consistency. J. Supercomput. 78 (13) (2022)
Bin Guo, Jason Nagy, Emil Sekerinski
Universal Design of Interactive Mathematical Notebooks on Programming. SIGCSE (2) (2022)
Bin Guo, Emil Sekerinski
Parallel Order-Based Core Maintenance in Dynamic Graphs. CoRR (2022)
Bin Guo, Emil Sekerinski
New Parallel Order Maintenance Data Structure. CoRR (2022)
Bin Guo, Emil Sekerinski
Simplified Algorithms for Order-Based Core Maintenance. CoRR (2022)
Bin Guo, Emil Sekerinski
Efficient Parallel Graph Trimming by Arc-Consistency. CoRR (2021)
Emil Sekerinski
Teaching Concurrency with the Disappearing Formal Method. FMTea (2019)
Eden Burton, Emil Sekerinski
An object model for dynamic mixins. Comput. Lang. Syst. Struct. 51 (2018)
Spencer Park, Emil Sekerinski
A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). F-IDE@FLoC (2018)
Emil Sekerinski, Shucai Yao
Refining Santa: An Exercise in Efficient Synchronization. Refine@FM (2018)
Muntazir Fadhel, Emil Sekerinski, Shucai Yao
A Comparison of Time Series Databases for Storing Water Quality Data. IMCL (2018)
Bojan Nokovic, Emil Sekerinski
Modelling probabilistic timing analysis: work-in-progress. EMSOFT Companion (2017)
Eden Burton, Emil Sekerinski
An object model for a dynamic mixin based language. SAC (2016)
Eden Burton, Emil Sekerinski
The safety of dynamic mixin composition. SAC (2015)
Bojan Nokovic, Emil Sekerinski
Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring. IoT 360 (2) (2015)
Bojan Nokovic, Emil Sekerinski
Model-based WCET Analysis with Invariants. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Bojan Nokovic, Emil Sekerinski
A Holistic Approach in Embedded System Development. F-IDE (2015)
Bojan Nokovic, Emil Sekerinski
Verification and Code Generation for Timed Transitions in pCharts. C3S2E (2014)
Eden Burton, Emil Sekerinski
Using dynamic mixins to implement design patterns. EuroPLoP (2014)
Bojan Nokovic, Emil Sekerinski
pState: A probabilistic statecharts translator. MECO (2013)
Emil Sekerinski, Tian Zhang
Finitary Fairness in Action Systems. ICTAC (2013)
Emil Sekerinski, Tian Zhang
On a New Notion of Partial Refinement Refine@IFM (2013)
Eden Burton, Emil Sekerinski
Correctness of intrusive data structures using mixins. CBSE (2013)
Emil Sekerinski, Tian Zhang
Verification Rules for Exception Handling in Eiffel. SBMF (2012)
Emil Sekerinski
An Algebraic Approach to Refinement with Fair Choice. Electron. Notes Theor. Comput. Sci. 214 (2008)
Emil Sekerinski
Verifying Statecharts with State Invariants. ICECCS (2008)
Emil Sekerinski
Verification and refinement with fine-grained action-based concurrent objects. Theor. Comput. Sci. 331 (2-3) (2005)
Emil Sekerinski
Exploring Tabular Verification and Refinement. Formal Aspects Comput. 15 (2-3) (2003)
Emil Sekerinski
Concurrent Object-Oriented Programs: From Specification to Code. FMCO (2002)
Emil Sekerinski, Rafik Zurob
Translating Statecharts to B. IFM (2002)
Emil Sekerinski
Tabular verification and refinement. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Emil Sekerinski, Rafik Zurob
iState: A Statechart Translator. UML (2001)
Ryszard Janicki, Emil Sekerinski
Foundations of the Trace Assertion Method of Module Interface Specification. IEEE Trans. Software Eng. 27 (7) (2001)
Emil Sekerinski
On Guarded Commands with Fair Choice. MPC (2000)
Martin Büchi, Emil Sekerinski
A Foundation for Refining Concurrent Objects. Fundam. Informaticae 44 (1-2) (2000)
Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis
Developing Components in the Presence of Re-entrance. World Congress on Formal Methods (1999)
Emil Sekerinski
Graphical Design of Reactive Systems. B (1998)
Leonid Mikhajlov, Emil Sekerinski
A Study of The Fragile Base Class Problem. ECOOP (1998)
Ralph-Johan Back, Martin Büchi, Emil Sekerinski
Action-Based Concurrency and Synchronization for Objects. ARTS (1997)
Anna Mikhajlova, Emil Sekerinski
Class Refinement and Interface Refinement in Object-Oriented Programs. FME (1997)
Leonid Mikhajlov, Emil Sekerinski
The Fragile Base Class Problem and Its Impact on Component Systems. ECOOP Workshops (1997)
Martin Büchi, Emil Sekerinski
Formal Methods for Component Software: The Refinement Calculus Perspective. ECOOP Workshops (1997)
Emil Sekerinski, Kaisa Sere
A Theory of Prioritizing Composition. Comput. J. 39 (8) (1996)
Michael J. Butler, Emil Sekerinski, Kaisa Sere
An Action System Approach to the Steam Boiler Problem. Formal Methods for Industrial Applications (1995)
François Erasmy, Emil Sekerinski
Stepwise Refinement of Control Software - A Case Study Using RAISE. FME (1994)
Emil Sekerinski
A Calculus for Predicative Programming. MPC (1992)

Emil Sekerinski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Emil Sekerinski