Emil Sekerinski

J. Supercomput., September, 2024

Federated k-Core Decomposition: A Secure Distributed Approach.

[BibT_eX]

[DOI]

Lingyang Chu

CoRR, 2024

2023

Parallel Order-Based Core Maintenance in Dynamic Graphs.

[BibT_eX]

[DOI]

Proceedings of the 52nd International Conference on Parallel Processing, 2023

2022

Efficient parallel graph trimming by arc-consistency.

[BibT_eX]

[DOI]

J. Supercomput., 2022

New Parallel Order Maintenance Data Structure.

[BibT_eX]

[DOI]

CoRR, 2022

Universal Design of Interactive Mathematical Notebooks on Programming.

[BibT_eX]

[DOI]

Jason Nagy

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2019

Teaching Concurrency with the Disappearing Formal Method.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2018

A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper).

[BibT_eX]

[DOI]

Spencer Park

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Refining Santa: An Exercise in Efficient Synchronization.

[BibT_eX]

[DOI]

Shucai Yao

Proceedings of the Proceedings 18th Refinement Workshop, 2018

An object model for dynamic mixins.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

A Comparison of Time Series Databases for Storing Water Quality Data.

[BibT_eX]

[DOI]

Muntazir Fadhel

Shucai Yao

Proceedings of the Mobile Technologies and Applications for the Internet of Things, 2018

2017

Modelling probabilistic timing analysis: work-in-progress.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

2016

An object model for a dynamic mixin based language.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Model-based WCET Analysis with Invariants.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A Holistic Approach in Embedded System Development.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

The safety of dynamic mixin composition.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Internet of Things. IoT Infrastructures, 2015

2014

Using dynamic mixins to implement design patterns.

[BibT_eX]

[DOI]

Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014

Verification and Code Generation for Timed Transitions in pCharts.

[BibT_eX]

[DOI]

Proceedings of the International C* Conference on Computer Science & Software Engineering, 2014

2013

On a New Notion of Partial Refinement

[BibT_eX]

[DOI]

Tian Zhang

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

pState: A probabilistic statecharts translator.

[BibT_eX]

[DOI]

Proceedings of the 2nd Mediterranean Conference on Embedded Computing, 2013

Finitary Fairness in Action Systems.

[BibT_eX]

[DOI]

Tian Zhang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Correctness of intrusive data structures using mixins.

[BibT_eX]

[DOI]

Proceedings of the CBSE'13, 2013

2012

Verification Rules for Exception Handling in Eiffel.

[BibT_eX]

[DOI]

Tian Zhang

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2009

Design Verification with State Invariants.

[BibT_eX]

[DOI]

Proceedings of the UML 2 Semantics and Applications, 2009

2008

An Algebraic Approach to Refinement with Fair Choice.

[BibT_eX]

[DOI]

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Verifying Statecharts with State Invariants.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2005

Verification and refinement with fine-grained action-based concurrent objects.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

2003

Exploring Tabular Verification and Refinement.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

2002

Tabular verification and refinement.

[BibT_eX]

[DOI]

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Translating Statecharts to B.

[BibT_eX]

[DOI]

Rafik Zurob

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Concurrent Object-Oriented Programs: From Specification to Code.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

2001

Foundations of the Trace Assertion Method of Module Interface Specification.

[BibT_eX]

[DOI]

Ryszard Janicki

IEEE Trans. Software Eng., 2001

iState: A Statechart Translator.

[BibT_eX]

[DOI]

Rafik Zurob

Proceedings of the «UML» 2001, 2001

2000

A Foundation for Refining Concurrent Objects.

[BibT_eX]

[DOI]

Martin Büchi

Fundam. Informaticae, 2000

On Guarded Commands with Fair Choice.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

1999

Developing Components in the Presence of Re-entrance.

[BibT_eX]

[DOI]

Leonid Mikhajlov

Linas Laibinis

Proceedings of the FM'99 - Formal Methods, 1999

1998

A Study of The Fragile Base Class Problem.

[BibT_eX]

[DOI]

Leonid Mikhajlov

Proceedings of the ECOOP'98, 1998

Graphical Design of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

Class Refinement and Interface Refinement in Object-Oriented Programs.

[BibT_eX]

[DOI]

Anna Mikhajlova

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

The Fragile Base Class Problem and Its Impact on Component Systems.

[BibT_eX]

[DOI]

Leonid Mikhajlov

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Formal Methods for Component Software: The Refinement Calculus Perspective.

[BibT_eX]

[DOI]

Martin Büchi

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Action-Based Concurrency and Synchronization for Objects.

[BibT_eX]

[DOI]

Ralph-Johan Back

Martin Büchi

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

A Theory of Prioritizing Composition.

[BibT_eX]

[DOI]

Kaisa Sere

Comput. J., 1996

1995

Modula-3.

[BibT_eX]

[DOI]

Andreas Rüping

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

On Object-Oriented Design and Verification.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

RAISE.

[BibT_eX]

[DOI]

François Erasmy

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

An Action System Approach to the Steam Boiler Problem.

[BibT_eX]

[DOI]

Michael J. Butler

Kaisa Sere

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Stepwise Refinement of Control Software - A Case Study Using RAISE.

[BibT_eX]

[DOI]

François Erasmy

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Verfeinerung in der objektorientierten Programmkonstruktion.

[BibT_eX]

[DOI]

PhD thesis, 1994

1992

A Calculus for Predicative Programming.

[BibT_eX]

[DOI]