Staff publications

2009

Papers

[01] M.P. Schellekens, "A Random Bag Preserving Product Operation", Electr. Notes Theor. Comput. Sci. 225: 341-360, 2009.

[02] Jacinta Townley, Joseph Manning, Michel P. Schellekens, "Sorting Algorithms in MOQA", Electr. Notes Theor. Comput. Sci. 225: 341-360, 2009.

[03] Thierry Vallée, Joseph Manning, "Reconstruction of Partial Orders and List Representation as Random Structures", Electr. Notes Theor. Comput. Sci. 225: 441-456, 2009.

[04] Thierry Vallée, "Functionally-Generalised MOQA Operations", Electr. Notes Theor. Comput. Sci. 225: 421-439, 2009.

[05] Michaela Heyer, "Randomness Preserving Deletions on Special Binary Search Trees", Electr. Notes Theor. Comput. Sci. 225: 99-113, 2009.

[06] M. Schellekens, D. Early, E. Popovici, D. Vasudevan, A high level reversible language for modular average case analysis, accepted for publication in the preliminary proceedings of the Reversible Computing Workshop-RC2009, a satellite workshop of ETAPS 2009.

[07] M. Schellekens, D. Early, E. Popovici, Designing Software for Modular Static Average-Case Analysis, First International Workshop on Software Technologies for Future Dependable Distributed Systems co-located with 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009), March 17 - 19, Tokyo, Japan, 2009.

[08] J. Rodriguez-Lopez, M. P. Schellekens, O. Valero, "An extension of the dual complexity space and an application to Computer Science", Journal (Elsevier): Topology and its Applications (Proceedings of the VII Iberoamerican Conference on Topology and its Applications) , accepted for publication, to appear, 2009.

[09] M. Goudarzi, J. Chen, D. Vasudevan, E. Popovici, M. Schellekens, "Reversing Deterministic Finite State Machines," 20th Irish Signals and Systems Conference (ISSC), in press, Dublin, June 2009.

[10] T. English, K.L. Man, E. Popovici, "A Switching Activity Analysis and Visualisation Tool for Power Optimisation of SoC Buses", to appear in the 5th IEEE International Conference on PhD Research in Microelectronics and Electronics (PRIME 2009), Cork, Ireland, July, 2009.

[11] T. English, M. Keller, K.L. Man, E. Popovici, M. Schellekens, W. Marnane, " A Low-power Pairing-based Cryptographic Accelerator for Embedded Security Applications ", to appear in the 22nd IEEE International SOC Conference, Belfast, Northern Ireland, UK, September, 2009.

[12] D. Vasudevan, M. Goudarzi, J. Chen, E. Popovici, M. Schellekens, "A Reversible MIPS Multi-cycle Control FSM Design ", to appear in the Asia Symposium on Quality Electronic Design (ASQED 2009), Kuala Lumpur, Malaysia, July 2009.

Presentations

[01] Invited presentation by M. Schellekens at First International Workshop on Software Technologies for Future Dependable Distributed Systems co-located with 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009), Special session on Temporal Predictability and Composability in Embedded Systems, March 17 - 19, Tokyo, Japan, 2009.

[02] M . Schellekens (Invited Speaker), Modularity for Increased Predictability, Foundations at lero seminar, The Irish Software Engineering Research Centre, Trinity College Dublin, Frebruary 20, 2009, host: M. Hennessey.

2008

Books

[01] M.P. Schellekens, “A Modular Calculus for the Average Cost of Data Structuring”, Springer book, published in August, 2008.

[02] L.M. Garcia Raffi,  S. Romaguera, M. P. Schellekens, “Applications of the Complexity Space to the General Probabilistic Divide and Conquer Algorithms”, Journal of Mathematical Analysis and Applications, Elsevier, 348:346-355, 2008.

[03] X.Guo, M.Boubekeur, J.Mc Enery and D.Hickey, "A New Approach for ACET Based Scheduling of Soft Real-Time Systems", 12th WSEAS CSCC Multiconference, Greece, July, 2008.

[04] T. English, K.L. Man, E. Popovici, M.P. Schellekens, "HotSpot : Visualising Dynamic Power Consumption in RTL Designs", in the proceedings of the 6th IEEE East-West Design and Test International Symposium - IEEE/EWDTS'08, Lviv, Ukraine, October, 2008, pp. 45-48 [Best Regular Paper Award].

[05] R. Mehrotra, T. English, K.L. Man, E. Popovici, M.P. Schellekens, "Digital Power Estimation Flow Combining Academic and Industrial Tools ", in the IEEE proceedings of the 5th IEEE International SoC Design Conference - IEEE/ISOCC'08, Busan, Korea, November, 2008 [Awarded with the Travelling Grant of USD 200].

Presentations

[01] M. Schellekens, An overview of Quantitative Domains, Free University of Brussels, November 26, 2008.

[02] M. Schellekens, MOQA a high-level reversible language, Seminar presentation, University of Gent, November 3, 2008, host: Prof. A. De Vos.

[03] M. Schellekens (Invited Speaker), Efficiency-Oriented Computing: an overview of CEOL research at lero The Irish Software Engineering Research Centre in Limerick, Sept. 25, 2008, host: K. Ryan.

[04] M. Schellekens, An overview of Quantitative Domains, Free University of Brussels, November 26, 2008.

[05] M. Schellekens, MOQA a high-level reversible language, Seminar presentation, University of Gent, November 3, 2008, host: Prof. A. De Vos.

[06] M. Schellekens (Invited Speaker), Efficiency-Oriented Computing: an overview of CEOL research at lero The Irish Software Engineering Research Centre in Limerick, Sept. 25, 2008, host: K. Ryan.

Dr. Oscar Valero’s publications

2007

Papers

[01] K.L. Man and M.P. Schellekens, “Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACP^srt_hs”, in the proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 21-23 March, 2007, Hong Kong.

[02] K.L. Man and M.P. Schellekens, “Mathematical Modelling of Digital Hardware Systems in Timed Chi”, in the proceedings of the 26th IASTED International Conference on Modelling, Identification and Control, (MIC 2007), 12 – 14 February, 2007, Innsbruck, Austria. 

[03] K.L. Man, M. Boubekeur and M.P. Schellekens, "Process Algebraic Approach to SystemVerilog", in the proceedings of  the 20th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2007), 22-26 April 2007, Vancouver, Canada.

[04] M. Boubekeur, K.L. Man and M.P. Schellekens, "Formal Verification of Mutual Exclusion between the Guards of Deterministic Choice Structures", in the proceedings of the 20th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2007), 22-26 April 2007, Vancouver, Canada.

[05] M.P. Schellekens, R. Agarwal, E. Popovici and K.L. Man, “A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons”, in Nordic Journal of Computing - NJC, 13(4):340-346, 2006.

[06] K.L. Man, A. Fedeli, M. Mercaldi, M. Boubekeur, M.P. Schellekens, “SC2SCFL: Automated SystemC to SystemC^FL Translation”, in Lecture Notes in Computer Science, volume 4599, pp. 34-45, 2007.

[07] M. P. Schellekens, “A Randomness Preserving Product Operation”, Extended version accepted for publication on ENTCS, Elsevier's series "Electronic Notes in Theoretical Computer Science" (http://www.entcs.org/), 2007.

[08] Jacinta Townley and Michel Schellekens, “Sorting algorithms in MOQA”, Extended version accepted for publication on ENTCS, Elsevier's series "Electronic Notes in Theoretical Computer Science" (http://www.entcs.org/), 2007.

[09] H. Pajoohesh and M. Shellekens, “Binary trees equipped with semi-valuations”, accepted to Quaestiones Mathematicae, 2007.

[10] M.P. Schellekens, R. Agarwal, A. Fedeli, Y. F. Lam, K. L. Man, M. Boubekeur and E. Popovici, “Towards Fast and Accurate Static Average-Case Performance Analysis of Embedded Systems: The MOQA Approach”, in the proceedings of the 5th IEEE East-West Design and Test International Symposium, September, 2007, Armenia.

[11] D. Hickey, “Distritrack: Automated Average-Case Analysis”, in the proceedings of the Fourth International Conference on the Quantatative Evaluation of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK.

[12] J. Mc Enery, D. Hickey and M. Boubekeur, “Empirical Evaluation of Two Main-Stream RTSJ Implementations", in the Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems, September 2007, Vienna, Austria, September 2007.

[13] J. Connery, J. Mc Enery, D. Hickey and M. Boubekeur, “Profiling Real-Time Java Applications", in the proceedings of the International Conference on Computer Engineering and Systems (ICCES'07), November 2007, Cairo, Egypt.

[14] K.L. Man and M.P. Schellekens, "Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACP^srt_hs", (extended and revised version), in International Journal of Engineering Letters, 15(2): 317-326, 2007.

2006

Papers

[01] M. Boubekeur, D. Hickey, J. Mc Enery  and M. Schellekens, "A Modular Average-Case  Timing of Real-Time Languages", WSEAS Transactions on Computers, Issue2, Volume 1, December 2006, ISSN: 1991-8755.

[02] M. Boubekeur, D. Hickey, J. Mc Enery and M. Schellekens, "Towards Modular Average-Case Timing in Real-Time Languages: An Application to Real-Time Java", Proc. Of the 6th International Conference on APPLIED COMPUTER SCIENCE (ACS'06), Tenerife, December, 2006.

[03] M. Boubekeur, D. Hickey and M. Schellekens, "Evaluation of MOQA Average-Case Timing Results on a Real Time Platform", Proc. of the conference Information of MFCSIT'06, August 2006.

[04] D. Devlin and D. Hickey, “A comparative study of new MOQA algorithms”, Proc of the conference Information of MFCSIT'06, August 2006.

[05] A. Bretto, A. Faisant and T. Vallee, “Compatible Topologies on Graphs, “An application to Graph Isomorphism Problem Complexity”, TCS, Vol362 1-3, 2006, pp. 255-272.

[06] Joseph Manning and Thierry Vallee, “Reconstruction of Partial Orders”, Extended version accepted for publication on ENTCS, Elsevier's series "Electronic Notes in Theoretical Computer Science" (http://www.entcs.org/), 2006.

[07] Thierry Vallee, “Functionally-Generalised MOQA Operations”, Extended version accepted for publication on ENTCS, Elsevier's series "Electronic Notes in Theoretical Computer Science" (http://www.entcs.org/), 2007.

[08] K.L. Man, Andrea Fedeli, Michele Mercaldi, M.P. Schellekens, “SystemC^FL: An Infrastructure for a TLM Formal Verification Proposal (with an overview on a tool set for practical formal verification of SystemC descriptions)”, in Proceedings of the IEEE East-West Design & Test Workshop EWDTW, Sochi, Russia, September, 2006. This paper received the "Outstanding Contribution to Computer Engineering Award" at EWDTW'06.

[09] Michaela Heyer “Randomness Preserving Deletions on Special Binary Search Trees”, Proc of the conference Information of MFCSIT'06, Cork, August 2006.

[10] K.L. Man , M.P. Schellekens, M. Boubekeur, “Formal Specification and Analysis of Analog and Mixed-Signal Circuits Using Process Algebras for Hybrid Systems (with a focus on hybrid process algebra ACP^srt_hs”, in Proceedings of the IEEE International Soc Design Conference (ISOCC), Seoul, Korea, October, 2006.

[11] H.P. Kunzi, H. Pajoohesh, M. Schellekens, “Partial quasi-metrics”, Theoretical Computer Science, 365 (2006) 237 - 246.

2005

Papers

M. O'Keeffe, H. Pajoohesh and M. Schellekens, “Decision Trees of Algorithms and a Semi-valuation to Measure their Distance'',  Proceedings of MFCSIT 2004. Extended pubplished in volume 161 of ENTCS, pages 175-183, 31st August 2006.

S. Romaguera, M. Schellekens, “Partial metric monoids and semi-valuation spaces, Topology and its Applications”, accepted for publication, in print, 2005.

S. Romaguera, M. Schellekens, “Partial metric monoids and semivaluation spaces”, Topology and its Applications 153, Elsevier, 948 - 962, 2005.

M. Schellekens, M. O'Keeffe and H. Pajoohesh, “The relationship between balance and the speed of algorithms”, Hadronic Journal, Volume 28, Number 5, page 531, October 2005.

Ebrahimi, M. Mehdi, and Pajoohesh, “Martindale po-rings and derivations on (semi)prime l-rings”, H.,Algebras Groups Geom, vol.22 (2005), no.1.

Thesis

M. Heyer, MSc thesis: "Randomness Preserving Deletions on Special Binary Search Trees",  supervisor: M. Schellekens. March, 2005.

2004

M. Schellekens, “The correspondence between partial metrics and semivaluations”, Theoretical Computer Science, 315, 135-149, 2004.

M. van Dongen, M.R.C., “Computing the Frequency of Partial Orders”, Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP'2004) 2004, Lecture notes in Computer Science pages 772--776. Link: csweb.ucc.ie/~dongen/papers

M.Schellekens, D. Hickey and G. Bollella, “ACETT, a Linearly-Compositional Programming Language for (semi-)automated Average-Case analysis”, IEEE Real-Time Systems Symposium, 2004.

H. Pajoohesh, M. Schellekens, “A survey of topological work at CEOL”, Topology Atlas Invited Contributions 9, 2004, 7 pages. Link: http://at.yorku.ca/topology/taic.htm

R., Matthews, S., and Pajoohesh, H., “Partial metrizability in value quantales, Kopperman”, Proceeding of the first Workshop on Philosophy and Informatics WSPI 2004, Cologne, Germany

A. Uskova, M. Van Dongen, M. Schellekens, “Solving Recurrence Relations using Generating Functions”, Proceedings of The Annual Scientific Meeting of Moscow Engineering Physics Institute, Thesis for Scientific Conference MEPhI - 2004, Volume 2, Software and Informational Technologies, MEPhI press, p. 95-96, 2004.

Thesis

Paidi Creed, Final Year Project Report, ''Generating Functions and their application to the Average-Case Time Complexity Analysis of Algorithms'', supervisors: M. Schellekens, M. van Dongen, March 23, 2004.

2003

M. O'Keeffe, M. Schellekens, “The average merge time: an intuitive interpretation”,  ENTCS volume 74, Elsevier, Proceedings MFCSIT, 12 pages, 2003.

M. Schellekens, M. O'Keeffe and S. Romaguera, “Norm-weightable Riesz spaces and the dual complexity space” ENTCS volume 74, Elsevier, Proceedings MFCSIT, 17 pages, 2003.

S. Romaguera, M. Schellekens, “Weightable quasi-metric semigroups and semilattices”, Proceedings of MFCSIT, Volume 40 of Electronic Notes of Theoretical Computer Science, Elsevier, 2003.

M. Schellekens, “A characterization of partial metrizability. Domains are quantifiable”, Theoretical Computer Science, 305, 409 - 432, 2003.

Pre CEOL

M. Schellekens, S. Romaguera, “The quasi-metric of complexity convergence”,  Questiones Mathematicae 23, 359-374, 2000.

M. Schellekens, “Complexity Spaces: Lifting and Directedness”,  Topology Proceedings 22, 403 - 425, 1999.

M.Schellekens, S. Romaguera, “Quasi-metric properties of Complexity Spaces”, Topology and its Applications 98, 311-322, 1999.

M.Schellekens, S. Romaguera, “On the structure of the Dual Complexity Space: the general case”, Extracta Mathematicae 13, 249 - 253, 1998.

M.Schellekens, “Complexity Spaces Revisited”, Proceedings Prague Topology Symposium, Topology Atlas 1997, 337-348.