Researcher profile

Nikolaos Triantafyllou

Nikolaos Triantafyllou contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2022arXiv

Constraining changes in the merger history of (P)BH binaries with the stochastic gravitational wave background

Black holes binaries coming from a distribution of primordial black holes might exhibit a large merger rate up to large redshifts. Using a phenomenological model for the merger rate, we show that changes in its slope, up to redshifts $z\sim 4$, are constrained by current limits on the amplitude of the stochastic gravitational wave background from LIGO/Virgo O3 run. This shows that the stochastic background constrains the merger rate for redshifts larger than the single event horizon of detection ($z\simeq 1$ for the same detector). Moreover, we show that for steep merger rates the shape of the stochastic gravitational wave signal at intermediate frequencies differs from the usual $2/3$ IR scaling. We discuss the implications of our model for future experiments in a wide range of frequencies, as the design LIGO/Virgo array, Einstein Telescope, LISA and PTA. Additionally, we show that i) the stochastic background and the present merger rate provide equally constraining bounds on the abundance of PBHs arising from a Gaussian distribution of inhomogeneities and ii) Degeneracies at the level of the stochastic background (i.e. different merger histories leading to a similar stochastic background) can be broken by considering the complementary direct observation of the merger rate from number counts by future detectors such as the Einstein Telescope.

preprint2012arXiv

OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications

Design by Constract (DBC) has influenced the development of formal specification languages that allow the mix of specification and implementation code, like Eiffel, the Java Modeling Language (JML) and Spec#. Meanwhile algebraic specification languages have been developing independently and offer full support for specification and verification of design for large and complex systems in a mathematical rigorous way. However there is no guarantee that the final implementation will comply to the specification. In this paper we proposed the use of the latter for the specification and verification of the systems design and then by presenting a translation between the two, the use of the former to ensure that the implementation respects the specification and thus enjoy the verified properties.

preprint2011arXiv

A Dynamic Algebraic Specification for Social Networks

With the help of the Internet, social networks have grown rapidly. This has increased security requirements. We present a formalization of social networks as composite behavioral objects, defined using the Observational Transition System (OTS) approach. Our definition is then translated to the OTS/CafeOBJ algebraic specification methodology. This translation allows the formal verification of safety properties for social networks via the Proof Score method. Finally, using this methodology we formally verify some security properties.

preprint2011arXiv

An Algebraic Specification of the Semantic Web

We present a formal specification of the Semantic Web, as an extension of the World Wide Web using the well known algebraic specification language CafeOBJ. Our approach allows the description of the key elements of the Semantic Web technologies, in order to give a better understanding of the system, without getting involved with their implementation details that might not yet be standardized. This specification is part of our work in progress concerning the modeling the Social Semantic Web.