Constantin Enea

133 papers A* 13A 10B 16Misc 1Journal 63Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
Arbitration-Free Consistency Is Available (and Vice Versa).
Proc. ACM Program. Lang.
Hagit Attiya, Constantin Enea, Enrique Román-Calvo
2026 — conf
Reduction for Structured Concurrent Programs.
ESOP (1)
Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer
2026 J jnl
Reduction for Structured Concurrent Programs.
CoRR
Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer
2026 J jnl
Verifying Almost-Sure Termination for Randomized Distributed Algorithms.
Proc. ACM Program. Lang.
Constantin Enea, Rupak Majumdar, Harshit Jitendra Motwani, V. R. Sathiyanarayana
2025 J jnl
Arbitration-Free Consistency is Available (and Vice Versa).
CoRR
Hagit Attiya, Constantin Enea, Enrique Román-Calvo
2025 — conf
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions.
CAV (4)
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
2025 J jnl
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions.
CoRR
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
2025 J jnl
Preserving hyperproperties of programs using primitives with consensus number 2.
Acta Informatica
Hagit Attiya, Armando Castañeda, Constantin Enea
2025 J jnl
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing.
CoRR
Hagit Attiya, Armando Castañeda, Constantin Enea
2024 — conf
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.
ASPLOS (3)
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
2024 J jnl
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.
CoRR
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
2024 J jnl
Model Checking Distributed Protocols in Must.
Proc. ACM Program. Lang.
Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar
2024 — ed.
Networked Systems - 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings
NETYS
Armando Castañeda, Constantin Enea, Nirupam Gupta
2024 J jnl
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems.
CoRR
Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra
2024 J jnl
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems.
Proc. ACM Program. Lang.
Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra
2024 J jnl
Scenario-Based Proofs for Concurrent Objects.
Proc. ACM Program. Lang.
Constantin Enea, Eric Koskinen
2024 A* conf
Strong Linearizability using Primitives with Consensus Number 2.
PODC
Hagit Attiya, Armando Castañeda, Constantin Enea
2024 J jnl
Strong Linearizability using Primitives with Consensus Number 2.
CoRR
Hagit Attiya, Armando Castañeda, Constantin Enea
2023 J jnl
A Domain Specific Language for Testing Consensus Implementations.
CoRR
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas
2023 B conf
A Pragmatic Approach to Stateful Partial Order Reduction.
VMCAI
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2023 — conf
Comparing Causal Convergence Consistency Models.
NETYS
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2023 — ed.
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
CAV (1)
Constantin Enea, Akash Lal
2023 — ed.
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
CAV (2)
Constantin Enea, Akash Lal
2023 — ed.
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
CAV (3)
Constantin Enea, Akash Lal
2023 J jnl
Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels.
CoRR
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
2023 J jnl
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels.
Proc. ACM Program. Lang.
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
2023 B conf
Faithful Simulation of Randomized BFT Protocols on Block DAGs.
CONCUR
Hagit Attiya, Constantin Enea, Shafik Nassar
2023 J jnl
Faithful Simulation of Randomized BFT Protocols on Block DAGs.
IACR Cryptol. ePrint Arch.
Hagit Attiya, Constantin Enea, Shafik Nassar
2023 A conf
Quorum Tree Abstractions of Consensus Protocols.
ESOP
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
2023 J jnl
Quorum Tree Abstractions of Consensus Protocols.
CoRR
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
2023 J jnl
The Commutativity Quotients of Concurrent Objects.
CoRR
Constantin Enea, Parisa Fathololumi, Eric Koskinen
2022 J jnl
A Pragmatic Approach to Stateful Partial Order Reduction.
CoRR
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2022 B conf
Automated Synthesis of Asynchronizations.
SAS
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
2022 J jnl
Automated Synthesis of Asynchronizations.
CoRR
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
2022 A* conf
Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations.
PODC
Hagit Attiya, Constantin Enea, Jennifer L. Welch
2022 J jnl
Checking causal consistency of distributed databases.
Computing
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
2022 J jnl
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492).
Dagstuhl Reports
Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova
2021 A conf
Checking Robustness Between Weak Transactional Consistency Models.
ESOP
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2021 J jnl
Checking Robustness Between Weak Transactional Consistency Models.
CoRR
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2021 A conf
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers.
DISC
Hagit Attiya, Constantin Enea, Jennifer L. Welch
2021 J jnl
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers.
CoRR
Hagit Attiya, Constantin Enea, Jennifer L. Welch
2021 J jnl
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs.
CoRR
Hagit Attiya, Constantin Enea, Jennifer L. Welch
2021 J jnl
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.
CoRR
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
2021 J jnl
MonkeyDB: effectively testing correctness under weak isolation levels.
Proc. ACM Program. Lang.
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
2021 J jnl
Robustness Against Transactional Causal Consistency.
Log. Methods Comput. Sci.
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2020 A* conf
Behavioral simulation for smart contracts.
PLDI
Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea
2020 B conf
Boosting Sequential Consistency Checking Using Saturation.
ATVA
Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
2020 J jnl
Checking Causal Consistency of Distributed Databases.
CoRR
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
2020 B conf
Formalizing and Checking Multilevel Consistency.
VMCAI
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2020 A* conf
Inductive sequentialization of asynchronous programs.
PLDI
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
2020 J jnl
Proving Highly-Concurrent Traversals Correct.
CoRR
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
2020 J jnl
Proving highly-concurrent traversals correct.
Proc. ACM Program. Lang.
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
2020 — conf
Root Causing Linearizability Violations.
CAV (1)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2020 J jnl
Testing consensus implementations using communication closure.
Proc. ACM Program. Lang.
Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
2020 A conf
Verifying Visibility-Based Weak Consistency.
ESOP
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
2019 J jnl
Abstract semantic diffing of evolving concurrent programs.
Formal Methods Syst. Des.
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
2019 — conf
Checking Causal Consistency of Distributed Databases.
NETYS
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
2019 — conf
Checking Robustness Against Snapshot Isolation.
CAV (2)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2019 J jnl
Checking Robustness Against Snapshot Isolation.
CoRR
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2019 — conf
Gradual Consistency Checking.
CAV (2)
Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
2019 — conf
On the Complexity of Checking Consistency for Replicated Data Types.
CAV (2)
Ranadeep Biswas, Michael Emmi, Constantin Enea
2019 J jnl
On the Complexity of Checking Transactional Consistency.
CoRR
Ranadeep Biswas, Constantin Enea
2019 J jnl
On the complexity of checking transactional consistency.
Proc. ACM Program. Lang.
Ranadeep Biswas, Constantin Enea
2019 J jnl
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects.
CoRR
Hagit Attiya, Constantin Enea
2019 A conf
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programsthat Use Concurrent Objects.
DISC
Hagit Attiya, Constantin Enea
2019 J jnl
Replication-Aware Linearizability.
CoRR
Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri, Chao Wang
2019 A* conf
Replication-aware linearizability.
PLDI
Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri
2019 B conf
Robustness Against Transactional Causal Consistency.
CONCUR
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2019 J jnl
Robustness Against Transactional Causal Consistency.
CoRR
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2019 — conf
SL-COMP: Competition of Solvers for Separation Logic.
TACAS (3)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
2019 B ed.
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
VMCAI
Constantin Enea, Ruzica Piskac
2019 J jnl
Verifying Visibility-Based Weak Consistency.
CoRR
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
2019 — conf
Violat: Generating Tests of Observational Refinement for Concurrent Objects.
CAV (2)
Michael Emmi, Constantin Enea
2019 J jnl
Weak-consistency specification via visibility relaxation.
Proc. ACM Program. Lang.
Michael Emmi, Constantin Enea
2018 J jnl
Datalog-based Scalable Semantic Diffing of Concurrent Programs.
CoRR
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
2018 A* conf
Datalog-based scalable semantic diffing of concurrent programs.
ASE
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
2018 — conf
Monitoring Weak Consistency.
CAV (1)
Michael Emmi, Constantin Enea
2018 — conf
On Verifying TSO Robustness for Event-Driven Asynchronous Programs.
NETYS
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy
2018 J jnl
On reducing linearizability to state reachability.
Inf. Comput.
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2018 — conf
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony.
CAV (2)
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
2018 J jnl
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony.
CoRR
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
2018 A conf
Order out of Chaos: Proving Linearizability Using Local Views.
DISC
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham
2018 J jnl
Order out of Chaos: Proving Linearizability Using Local Views.
CoRR
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham
2018 — conf
Reasoning About TSO Programs Using Reduction and Abstraction.
CAV (2)
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
2018 J jnl
Reasoning About TSO Programs Using Reduction and Abstraction.
CoRR
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
2018 J jnl
Sound, complete, and tractable linearizability monitoring for concurrent collections.
Proc. ACM Program. Lang.
Michael Emmi, Constantin Enea
2017 B conf
Abstract Semantic Diffing of Evolving Concurrent Programs.
SAS
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
2017 B conf
Checking Linearizability of Concurrent Priority Queues.
CONCUR
Ahmed Bouajjani, Constantin Enea, Chao Wang
2017 J jnl
Checking Linearizability of Concurrent Priority Queues.
CoRR
Ahmed Bouajjani, Constantin Enea, Chao Wang
2017 J jnl
Compositional entailment checking for a fragment of separation logic.
Formal Methods Syst. Des.
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
2017 J jnl
Exposing Non-Atomic Methods of Concurrent Objects.
CoRR
Michael Emmi, Constantin Enea
2017 J jnl
On the path-width of integer linear programming.
Inf. Comput.
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
2017 A* conf
On verifying causal consistency.
POPL
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
2017 — conf
Proving Linearizability Using Forward Simulations.
CAV (2)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
2017 J jnl
Proving linearizability using forward simulations.
CoRR
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
2017 — conf
SPEN: A Solver for Separation Logic.
NFM
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
2017 A conf
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.
ESOP
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
2016 A conf
On Atomicity in Presence of Non-atomic Writes.
TACAS
Constantin Enea, Azadeh Farzan
2016 J jnl
On Verifying Causal Consistency.
CoRR
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
2016 A* conf
Symbolic abstract data type inference.
POPL
Michael Emmi, Constantin Enea
2015 — conf
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).
FSTTCS
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 A* conf
Monitoring refinement via symbolic reasoning.
PLDI
Michael Emmi, Constantin Enea, Jad Hamza
2015 B conf
On Automated Lemma Generation for Separation Logic with Inductive Definitions.
ATVA
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
2015 J jnl
On Automated Lemma Generation for Separation Logic with Inductive Definitions.
CoRR
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
2015 — conf
On Reducing Linearizability to State Reachability.
ICALP (2)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 J jnl
On Reducing Linearizability to State Reachability.
CoRR
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 A* conf
Tractable Refinement Checking for Concurrent Objects.
POPL
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2014 B conf
Compositional Entailment Checking for a Fragment of Separation Logic.
APLAS
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
2014 — conf
On the Path-Width of Integer Linear Programming.
GandALF
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
2014 A* conf
Verifying eventual consistency of optimistic replication systems.
POPL
Ahmed Bouajjani, Constantin Enea, Jad Hamza
2013 A conf
Compositional Invariant Checking for Overlaid and Nested Linked Lists.
ESOP
Constantin Enea, Vlad Saveluc, Mihaela Sighireanu
2013 B conf
Local Shape Analysis for Overlaid Data Structures.
SAS
Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2013 J jnl
Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics.
CoRR
Rodica Bozianu, Catalin Dima, Constantin Enea
2013 B conf
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics.
TARK
Rodica Bozianu, Catalin Dima, Constantin Enea
2013 A conf
Verifying Concurrent Programs against Sequential Specifications.
ESOP
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2012 B conf
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.
VMCAI
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2012 B conf
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.
ATVA
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2012 J jnl
Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics
CoRR
Rodica Bozianu, Catalin Dima, Constantin Enea
2011 J jnl
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.
J. Appl. Non Class. Logics
Dimitar P. Guelev, Catalin Dima, Constantin Enea
2011 A* conf
On inter-procedural analysis of programs with lists and data.
PLDI
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2010 A* conf
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.
CAV
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu
2010 — conf
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
GANDALF
Catalin Dima, Constantin Enea, Dimitar P. Guelev
2009 J jnl
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Log. Methods Comput. Sci.
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu
2009 B conf
A Logic-Based Framework for Reasoning about Composite Data Structures.
CONCUR
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2008 — —
Abstraction techniques for verification of concurrent systems. (Techniques d'abstraction dans la verification des systèmes concurrents).
Constantin Enea
2008 — conf
Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.
ECBS
Constantin Enea
2008 J jnl
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete.
J. Comput. Secur.
Ferucio Laurentiu Tiplea, Catalin V. Bîrjoveanu, Constantin Enea, Ioana Boureanu
2007 — conf
Abstractions of Multi-agent Systems.
CEEMAS
Constantin Enea, Catalin Dima
2007 Misc conf
Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability.
SYNASC
Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia
2006 J jnl
Abstractions of data types.
Acta Informatica
Ferucio Laurentiu Tiplea, Constantin Enea
2005 — conf
Decidability and Complexity Results for Security Protocols.
VISSAS
Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu
2005 — conf
Unifying Decidability Results on Protection Systems Using Simulations.
Formal Aspects in Security and Trust
Constantin Enea
2002 J jnl
SE-Systems, Timing Mechanisms, and Time-Varying Codes.
Int. J. Comput. Math.
Ferucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea