“Working with Antonis is highly rewarding. Not only is he an amazing CTO who consistently innovates and pushes our technology forward but he truly cares about his team and co-workers. He is very thoughtful and informed when making decisions and continues to educate and be inspired by the ever-changing technical landscape of today. Even with a busy schedule, he always makes time to help out and be available and supportive to his team. I highly recommend Antonis for his superior leadership in technology.”
Dr. Antonis Papatsaras
Larkspur, California, United States
2K followers
500+ connections
Activity
-
SMMs in Government, are approvals racing through your mind 24/7? You're not alone. Learn how to prioritize compliance without sacrificing the…
SMMs in Government, are approvals racing through your mind 24/7? You're not alone. Learn how to prioritize compliance without sacrificing the…
Liked by Dr. Antonis Papatsaras
-
Hey social marketers! Our Trends Report is coming ✨ And we need your expertise to build it. Share how you handled social this year so we can predict…
Hey social marketers! Our Trends Report is coming ✨ And we need your expertise to build it. Share how you handled social this year so we can predict…
Liked by Dr. Antonis Papatsaras
-
Back to a day in the Giants Press Box where I was doing a Jack Benny impression and sticking my fingernails in my face while avoiding a “Kars 4 Kids”…
Back to a day in the Giants Press Box where I was doing a Jack Benny impression and sticking my fingernails in my face while avoiding a “Kars 4 Kids”…
Liked by Dr. Antonis Papatsaras
Erleben Sie
Bildung
Publications
-
MODELLING AND TOOL SUPPORT FOR THE FORMAL DEVELOPMENT OF DISTRIBUTED SYSTEMS
University of Teeside
The aim of the project is to investigate and extend the Event Calculus notation.
Event Calculus is a theory of communicating state machines developed
at Teesside for modelling distributed systems in B. With the help of a visual
tool we have realised the positive and negative aspects of our method. We
attempted, and in some cases succeeded, to provide alternative solutions to
some negative aspects. We compared our method with others commonly used
for event based modelling…The aim of the project is to investigate and extend the Event Calculus notation.
Event Calculus is a theory of communicating state machines developed
at Teesside for modelling distributed systems in B. With the help of a visual
tool we have realised the positive and negative aspects of our method. We
attempted, and in some cases succeeded, to provide alternative solutions to
some negative aspects. We compared our method with others commonly used
for event based modelling, mathematical notations such as CSP and Action
Systems but also other formal notations, which are associated with diagrammatic
representations, such as Petri nets and Statecharts. We formalised the
event diagram notation by providing it with a grammar and semantics. We
then applied these formal definitions for the translation of our diagrams to B.
In our notation we are interested in the behavioural aspects of a system. We
have provided three case studies to test our notation and discuss issues such as
event synchronisation, parameter passing, and invariants. These case studies
have also proved valuable for the demonstration of our scaling techniques -
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
Springer
We present a case study of a simple railway system to investigate and compare two ways of modelling a system in “event driven B”. We are interested in the specification of a system as a global model as well as the formulation of a distributed state machine model where individual components exchange information by means of shared events. In this paper we investigate the issues of “parameter hiding” and “scaling” as well as the parameterisation of events of the communicating components of such…
We present a case study of a simple railway system to investigate and compare two ways of modelling a system in “event driven B”. We are interested in the specification of a system as a global model as well as the formulation of a distributed state machine model where individual components exchange information by means of shared events. In this paper we investigate the issues of “parameter hiding” and “scaling” as well as the parameterisation of events of the communicating components of such systems. We use two methods for expressing a class of components; we either create indexed B machines that can be instantiated or we represent the state of all components within a given class by means of a function.
Honors & Awards
-
AppExchange Customer Choice Award for Collaboration 2012
Salesforce
http://finance.yahoo.com/news/springcm-receives-salesforce-appexchange-customer-150000274.html
-
//CODiE// 2012 SIIA Winner
SIIA
http://www.springcm.com/press/2012/05/12/springcm-wins-prestigious-siia-codie-award
Languages
-
Englisch
Native or bilingual proficiency
-
Greek
Native or bilingual proficiency
Organizations
-
Higher Education Academy
-
Recommendations received
7 people have recommended Dr. Antonis
Join now to viewMore activity by Dr. Antonis
-
#DidYouKnow Hootsuite offers its employees "Owly Time" during Q3? That means, we all get half a day off on Fridays to relax, recharge, and focus on…
#DidYouKnow Hootsuite offers its employees "Owly Time" during Q3? That means, we all get half a day off on Fridays to relax, recharge, and focus on…
Liked by Dr. Antonis Papatsaras
-
I've been promoted—to my dream job: Mom! 🍼👶🏽 I'm taking some time off to enjoy time with my son. See you at the end of August! For any business…
I've been promoted—to my dream job: Mom! 🍼👶🏽 I'm taking some time off to enjoy time with my son. See you at the end of August! For any business…
Liked by Dr. Antonis Papatsaras
-
On Today's episode, Chris Brandt has a conversation with Dr. Antonis Papatsaras, CTO of Hootsuite, about the future of social media management. From…
On Today's episode, Chris Brandt has a conversation with Dr. Antonis Papatsaras, CTO of Hootsuite, about the future of social media management. From…
Liked by Dr. Antonis Papatsaras
-
Who knew 5 billion people were using social media for at least 2 hours everyday and that 95% of businesses use social media to create pipeline. If…
Who knew 5 billion people were using social media for at least 2 hours everyday and that 95% of businesses use social media to create pipeline. If…
Liked by Dr. Antonis Papatsaras
-
Turn your small living room into a design masterpiece! Explore these stylish ideas that prove less really can be more. https://lnkd.in/gdcrXEc8…
Turn your small living room into a design masterpiece! Explore these stylish ideas that prove less really can be more. https://lnkd.in/gdcrXEc8…
Liked by Dr. Antonis Papatsaras
-
The majority of businesses are on social media, but many struggle to connect their social insights to actions—let alone actions that will result in…
The majority of businesses are on social media, but many struggle to connect their social insights to actions—let alone actions that will result in…
Shared by Dr. Antonis Papatsaras
-
On Today's episode, I have a conversation with Dr. Antonis Papatsaras, CTO of Hootsuite, about the future of social media management. From the…
On Today's episode, I have a conversation with Dr. Antonis Papatsaras, CTO of Hootsuite, about the future of social media management. From the…
Liked by Dr. Antonis Papatsaras
Other similar profiles
Gemeinsame Artikel erkunden
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore More