• behapi.rise@gmail.com
BehAPI

BehAPI

Behavioural Application Program Interfaces

  • About Us
    • Problem and Goals
    • Work-Packages
    • Partners
    • Funding Scheme and Official Web Page
  • Events
    • General Assembly
    • Workshops
    • Summer Schools
    • Calendar
  • Secondments
  • Publications
    • Deliverables
    • Dissemination Materials
    • Papers
  • News

Dissemination Material

  • Home
  • Publications
  • Dissemination Material
  • 0

Security Connected Solutions using Open APIs – Andres More, Damian Quiroga

Abstract: OpenDXL is an open API to enable devices to share intelligence and orchestrate security operations in real-time. This security connected platform from McAfee provides a unified framework for hundreds

Read More
  • 0

Business Process Regulatory Compliance – Hugo Andrés Lopez

Abstract: Regulatory compliance describes the level of alignment between business processes and legislations, and it represents a complex process where regulations have to be instantiated in terms of a business

Read More
  • 0

Industry use-case: uncompromisingly available agents – Jan Pustelnik

Abstract: In the manufacturing industry downtime is very expensive, therefore most small and midsize factories are still managed using paper-based processes. The problem space is perfectly suited for a microservices

Read More
  • 0

STIX 2.0 model and Patterns: Applying API economy to cybersecurity – Leonardo Frittelli, Facundo Maldonado

Abstract: Effectively exchanging and acting upon threat intelligence in a diverse, heterogeneous landscape such as cyber security has proven an elusive goal. With the continuous evolution of both the security

Read More
  • 0

The impact of asynchronous communication on the theory of contracts and session types – Gianluigi Zavattaro

Abstract: We discuss some of the proposals in the literature about contract theories and session  types dealing with asynchronous communication. Assuming that communication is mediated by buffers, notions of compatibility,

Read More
  • 0

Session Types meet Type Providers: Compile-time Generation of Protocol APIs – Rumyana Neykova

Abstract: Session types is a typing discipline for concurrent and distributed processes that allows errors such as communication mismatches and deadlocks to be detected statically. Refinement types are types elaborated

Read More
  • 0

Foundations of runtime verification – Karoliina Lehtinen

Abstract: The idea of runtime verification is to observe the executions of a system in order to derive information on its behaviour. By analysing executions rather than the system itself,

Read More
  • 0

Choreographic Programming of Adaptive Applications – Ivan Lanese

Abstract: Choreographic Programming exploits choreographies as a programming language. We will introduce choreographic programming, and showcase its use for programming distributed applications which are: dynamically updatable by including new code

Read More

Posts navigation

1 2 Next

Search

European emblem
Research supported by the EU H2020 RISE programme under the Marie Skłodowska-Curie grant agreement No 778233.

Recent Posts

  • Talk on Choreographic Development of Message Passing Applications (Slides Available)
  • BehAPI Participation at ESOF 2020
  • Emilio Tuosto @ ASYDE 2020

Recent Comments

    Community

    • Register
    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    • Facebook
    • Twitter
    • Instagram

    © 2018-2022 BehAPI

    Designed by Pioneerthemes