default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEmil Sekerinski
Person information
- affiliation: McMaster University, Hamilton, Ontario, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Bin Guo, Emil Sekerinski:
Simplified algorithms for order-based core maintenance. J. Supercomput. 80(13): 19592-19623 (2024)- [e6]Emil Sekerinski
, Leila Ribeiro:
Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings. Lecture Notes in Computer Science 14939, Springer 2024, ISBN 978-3-031-71378-1 [contents] - [i5]Bin Guo, Emil Sekerinski, Lingyang Chu:
Federated k-Core Decomposition: A Secure Distributed Approach. CoRR abs/2410.02544 (2024) - 2023
- [c35]Bin Guo, Emil Sekerinski:
Parallel Order-Based Core Maintenance in Dynamic Graphs. ICPP 2023: 122-131 - 2022
- [j8]Bin Guo, Emil Sekerinski:
Efficient parallel graph trimming by arc-consistency. J. Supercomput. 78(13): 15269-15313 (2022) - [c34]Bin Guo, Jason Nagy, Emil Sekerinski:
Universal Design of Interactive Mathematical Notebooks on Programming. SIGCSE (2) 2022: 1132 - [i4]Bin Guo, Emil Sekerinski:
Simplified Algorithms for Order-Based Core Maintenance. CoRR abs/2201.07103 (2022) - [i3]Bin Guo, Emil Sekerinski:
New Parallel Order Maintenance Data Structure. CoRR abs/2208.07800 (2022) - [i2]Bin Guo, Emil Sekerinski:
Parallel Order-Based Core Maintenance in Dynamic Graphs. CoRR abs/2210.14290 (2022) - 2021
- [i1]Bin Guo, Emil Sekerinski:
Efficient Parallel Graph Trimming by Arc-Consistency. CoRR abs/2107.12720 (2021) - 2020
- [e5]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:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0 [contents] - [e4]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:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science 12233, Springer 2020, ISBN 978-3-030-54996-1 [contents]
2010 – 2019
- 2019
- [c33]Emil Sekerinski:
Teaching Concurrency with the Disappearing Formal Method. FMTea 2019: 135-149 - 2018
- [j7]Eden Burton, Emil Sekerinski:
An object model for dynamic mixins. Comput. Lang. Syst. Struct. 51: 90-101 (2018) - [c32]Muntazir Fadhel, Emil Sekerinski, Shucai Yao:
A Comparison of Time Series Databases for Storing Water Quality Data. IMCL 2018: 302-313 - [c31]Emil Sekerinski, Shucai Yao:
Refining Santa: An Exercise in Efficient Synchronization. Refine@FM 2018: 68-86 - [c30]Spencer Park, Emil Sekerinski:
A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). F-IDE@FLoC 2018: 85-94 - 2017
- [c29]Bojan Nokovic, Emil Sekerinski:
Modelling probabilistic timing analysis: work-in-progress. EMSOFT Companion 2017: 4:1-4:2 - 2016
- [c28]Eden Burton, Emil Sekerinski:
An object model for a dynamic mixin based language. SAC 2016: 1986-1992 - [e3]Luigia Petre, Emil Sekerinski:
From Action Systems to Distributed Systems - The Refinement Approach. Chapman and Hall/CRC 2016, ISBN 978-1-4987-0158-7 [contents] - 2015
- [j6]Bojan Nokovic, Emil Sekerinski:
Model-based WCET Analysis with Invariants. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [c27]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: 313-319 - [c26]Eden Burton, Emil Sekerinski:
The safety of dynamic mixin composition. SAC 2015: 1992-1999 - [c25]Bojan Nokovic, Emil Sekerinski:
A Holistic Approach in Embedded System Development. F-IDE 2015: 72-85 - 2014
- [c24]Bojan Nokovic, Emil Sekerinski:
Verification and Code Generation for Timed Transitions in pCharts. C3S2E 2014: 3:1-3:10 - [c23]Eden Burton, Emil Sekerinski:
Using dynamic mixins to implement design patterns. EuroPLoP 2014: 14:1-14:19 - [e2]Elvira Albert, Emil Sekerinski:
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science 8739, Springer 2014, ISBN 978-3-319-10180-4 [contents] - 2013
- [c22]Eden Burton, Emil Sekerinski:
Correctness of intrusive data structures using mixins. CBSE 2013: 53-58 - [c21]Emil Sekerinski, Tian Zhang:
Finitary Fairness in Action Systems. ICTAC 2013: 319-336 - [c20]Bojan Nokovic, Emil Sekerinski:
pState: A probabilistic statecharts translator. MECO 2013: 29-32 - [c19]Emil Sekerinski, Tian Zhang:
On a New Notion of Partial Refinement. Refine@IFM 2013: 1-14 - 2012
- [c18]Emil Sekerinski, Tian Zhang:
Verification Rules for Exception Handling in Eiffel. SBMF 2012: 179-193
2000 – 2009
- 2009
- [p4]Emil Sekerinski:
Design Verification with State Invariants. UML 2 Semantics and Applications 2009: 317-347 - 2008
- [c17]Emil Sekerinski:
Verifying Statecharts with State Invariants. ICECCS 2008: 7-14 - [c16]Emil Sekerinski:
An Algebraic Approach to Refinement with Fair Choice. Refine@FM 2008: 51-79 - 2006
- [e1]Jayadev Misra, Tobias Nipkow, Emil Sekerinski:
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Lecture Notes in Computer Science 4085, Springer 2006, ISBN 3-540-37215-6 [contents] - 2005
- [j5]Emil Sekerinski:
Verification and refinement with fine-grained action-based concurrent objects. Theor. Comput. Sci. 331(2-3): 429-455 (2005) - 2003
- [j4]Emil Sekerinski:
Exploring Tabular Verification and Refinement. Formal Aspects Comput. 15(2-3): 215-236 (2003) - 2002
- [c15]Emil Sekerinski:
Concurrent Object-Oriented Programs: From Specification to Code. FMCO 2002: 403-423 - [c14]Emil Sekerinski, Rafik Zurob:
Translating Statecharts to B. IFM 2002: 128-144 - [c13]Emil Sekerinski:
Tabular verification and refinement. Refine 2002: 179-198 - 2001
- [j3]Ryszard Janicki, Emil Sekerinski:
Foundations of the Trace Assertion Method of Module Interface Specification. IEEE Trans. Software Eng. 27(7): 577-598 (2001) - [c12]Emil Sekerinski, Rafik Zurob:
iState: A Statechart Translator. UML 2001: 376-390 - 2000
- [j2]Martin Büchi, Emil Sekerinski:
A Foundation for Refining Concurrent Objects. Fundam. Informaticae 44(1-2): 25-61 (2000) - [c11]Emil Sekerinski:
On Guarded Commands with Fair Choice. MPC 2000: 127-139
1990 – 1999
- 1999
- [c10]Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis:
Developing Components in the Presence of Re-entrance. World Congress on Formal Methods 1999: 1301-1320 - 1998
- [c9]Emil Sekerinski:
Graphical Design of Reactive Systems. B 1998: 182-197 - [c8]Leonid Mikhajlov, Emil Sekerinski:
A Study of The Fragile Base Class Problem. ECOOP 1998: 355-382 - 1997
- [c7]Ralph-Johan Back, Martin Büchi, Emil Sekerinski:
Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262 - [c6]Martin Büchi, Emil Sekerinski:
Formal Methods for Component Software: The Refinement Calculus Perspective. ECOOP Workshops 1997: 332-337 - [c5]Leonid Mikhajlov, Emil Sekerinski:
The Fragile Base Class Problem and Its Impact on Component Systems. ECOOP Workshops 1997: 353-358 - [c4]Anna Mikhajlova, Emil Sekerinski:
Class Refinement and Interface Refinement in Object-Oriented Programs. FME 1997: 82-101 - 1996
- [j1]Emil Sekerinski, Kaisa Sere:
A Theory of Prioritizing Composition. Comput. J. 39(8): 701-712 (1996) - 1995
- [c3]Michael J. Butler, Emil Sekerinski, Kaisa Sere:
An Action System Approach to the Steam Boiler Problem. Formal Methods for Industrial Applications 1995: 129-148 - [p3]Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski:
On Object-Oriented Design and Verification. KORSO Book 1995: 92-111 - [p2]François Erasmy, Emil Sekerinski:
RAISE. Formal Development of Reactive Systems 1995: 277-293 - [p1]Andreas Rüping, Emil Sekerinski:
Modula-3. Formal Development of Reactive Systems 1995: 357-371 - 1994
- [b1]Emil Sekerinski:
Verfeinerung in der objektorientierten Programmkonstruktion. Karlsruhe Institute of Technology, Germany, 1994, pp. 1-149 - [c2]François Erasmy, Emil Sekerinski:
Stepwise Refinement of Control Software - A Case Study Using RAISE. FME 1994: 547-566 - 1992
- [c1]Emil Sekerinski:
A Calculus for Predicative Programming. MPC 1992: 302-322
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
