Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Emil Sekerinski
Observed names:
E. Sekerinski,
Sekerinski, E Emil,
Sekerinski, Emil
Institution:
McMaster University
Observed institutions:
Karlsruhe Institute of Technology,
Åbo Akademi University,
FZI Research Center for Information Technology,
Turku Centre for Computer Science,
McMaster University
ORCID:
0000-0001-9788-5842
Observed ORCID:
0000-0001-9788-5842
OpenAlex ID:
A5040143379
A study of the fragile base class problem
1998
·
Leonid Mikhajlov
, Emil Sekerinski
·
Lecture notes in computer science
·
144
Class refinement and interface refinement in object-oriented programs
1997
·
Anna Mikhajlova
, Emil Sekerinski
·
Lecture notes in computer science
·
55
Program Development by Refinement: Case Studies Using The B Method
1998
·
Emil Sekerinski
, Kaisa Sere
·
Medical Entomology and Zoology
·
53
Graphical design of reactive systems
1998
·
Emil Sekerinski
·
Lecture notes in computer science
·
49
A Theory of Prioritizing Composition
1996
·
E. Sekerinski
·
The Computer Journal
·
40
Foundations of the trace assertion method of module interface specification
2001
·
R. Janicki
, E. Sekerinski
·
IEEE Transactions on Software Engineering
·
36
Translating Statecharts to B
2002
·
Emil Sekerinski
, Rafik Zurob
·
Lecture notes in computer science
·
33
An action system approach to the steam boiler problem
1996
·
Michael Butler
, Emil Sekerinski
, et al.
·
Lecture notes in computer science
·
30
A calculus for predicative programming
1993
·
Emil Sekerinski
·
Lecture notes in computer science
·
27
Formal Methods for Component Software: The Refinement Calculus Perspective
1998
·
Martin Büchi
, Emil Sekerinski
·
Lecture notes in computer science
·
24
Real-time prediction of river chloride concentration using ensemble learning
2021
·
Qianqian Zhang
, Zhong Li
, et al.
·
Environmental Pollution
·
23
iState: A Statechart Translator
2001
·
Emil Sekerinski
, Rafik Zurob
·
Lecture notes in computer science
·
22
Verifying Statecharts with State Invariants
2008
·
Emil Sekerinski
·
IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
·
17
A Comparison of Time Series Databases for Storing Water Quality Data
2019
·
Muntazir Fadhel
, Emil Sekerinski
, et al.
·
Advances in intelligent systems and computing
·
13
Developing components in the presence of re-entrance
1999
·
Leonid Mikhajlov
, Linas Laibinis
, et al.
·
Lecture notes in computer science
·
13
Parallel Order-Based Core Maintenance in Dynamic Graphs
2023
·
Bin Guo
, Emil Sekerinski
·
Proceedings of the International Conference on Parallel Processing
·
11
The Fragile Base Class Problem and Its Solution
1997
·
Leonid Mikhajlov
, Emil Sekerinski
·
11
Striving toward reconciliation through the co-creation of water research
2022
·
Dawn Martin-Hill
, Colin M. Gibson
, et al.
·
Current directions in water scarcity research
·
10
The Fragile Base Class Problem and Its Impact on Component Systems
1998
·
Leonid Mikhajlov
, Emil Sekerinski
·
Lecture notes in computer science
·
10
Verification and Code Generation for Timed Transitions in pCharts
2008
·
Bojan Nokovic
, Emil Sekerinski
·
8
Concurrent Object-Oriented Programs: From Specification to Code
2003
·
Emil Sekerinski
·
Lecture notes in computer science
·
8
pState: A probabilistic statecharts translator
2013
·
Bojan Nokovic
, Emil Sekerinski
·
Mediterranean Conference on Embedded Computing (MECO)
·
7
Exploring Tabular Verification and Refinement
2003
·
Emil Sekerinski
·
Formal Aspects of Computing
·
7
Ensuring Correctness of Java Frameworks: A Formal Look at JCF
1999
·
Anna Mikhajlova
, Emil Sekerinski
·
7
Action-based concurrency and synchronization for objects
1997
·
Ralph Back
, Martin Büchi
, et al.
·
Lecture notes in computer science
·
7
Show more works
View as search
Works count:
103
Citation count:
759
H-index:
13
I10-index:
19
Year
Topic
Type
