Attila Klenik

[ADVANCE RISE Project @advance_rise]

📢Researchers of the #msca #h2020 ADVANCE project invite students to our Graduate School on verification and validation of future cyber-physical systems with topics on #AI or #testing.

👉Check out the detailed program and free registration
https://t.co/ITasmPC4uc

[Ákos Hajdu @himynameisakos]

Paper on our LLVM-based software model checking toolchain with BMC and CEGAR backends accepted to TACAS 2021 (competition contribution for SV-COMP). See preprint: https://t.co/JwN87lDP8U
@zsofi_adam @sallaigy @ftsrg_bme

[Critical Systems Research Group @ftsrg_bme]

A new name, design and website: we are changing the name of our group from Fault Tolerant Systems Research Group to Critical Systems Research Group to reflect our current research focus. Check out our website: https://t.co/5M778h8wvi (currently in Hungarian)

[Zoltan Micskei @micskeiz]

We are running a course with @himynameisakos on software and systems verification at @ftsrg_bme . Check out the labs on: #StaticAnalysis with @fbinfer, #modelbasedtesting with GraphWalker, #TestGeneration with #Randoop and more
https://t.co/4ly7ank9nE

[Attila Klenik @a_klenik]

If you are interested in the performance measurements of DLTs, or distributed systems in general, don't miss my presentation on Hyperledger Caliper during Part 2 of the Blockchain Techfest 2020, this Saturday!

#blockchain #dlt #BlockchainTechfest2020 #hyperledger #caliper

[LF Decentralized Trust @lfdecentralized]

This Sat, Nov 7 @ 2PM IST the Hyperledger India Chapter is hosting an open technical discussion about how to use data visualization to learn about your blockchain network, how to use a workload generator tool to measure your network's performance & more.

https://t.co/aK69QxuM49

[LF Decentralized Trust @lfdecentralized]

Hear from developers of Hyperledger projects @ Blockchain Techfest 2020 hosted by Hyperledger India Chapter on Sat, Oct 31 @ 2PM IST. Topics include Private Data Collections, how to get faster throughput, how to write smart contracts & remote attestation.

https://t.co/efsc8W7MkC

[LF Decentralized Trust @lfdecentralized]

Sign up to receive the latest Hyperledger technical news and updates via our new weekly Developer newsletter: https://t.co/lDCmpsiB4S

[LF Decentralized Trust @lfdecentralized]

Hey developers! If we created a developer focused monthly newsletter that provided technical updates on Hyperledger projects and labs, would you subscribe?

[Critical Systems Research Group @ftsrg_bme]

We have started to work on creating new engineering languages and tools in EMBrACE, an @ITEA_3 project with @IncQueryLabs and 18 partners from 7 countries. #IoT #digitalization #sysml

See details: https://t.co/Tpto3SRMUq

[Critical Systems Research Group @ftsrg_bme]

Congratulations to B. Graics, V. Molnár, A. Vörös, I. Majzik and D. Varró for their new paper in @sosym_journal: "Mixed-semantics composition of statecharts for the component-based design of reactive systems" https://t.co/fS8RMYszXf

[LF Decentralized Trust @lfdecentralized]

Hyperledger Caliper v0.2.0 is now available, and supports (Hyperledger Besu, Ethereum, FISCO-BCOS) and Prometheus integration. Check out additional details here: https://t.co/YiFi9R3e6w

[LF Decentralized Trust @lfdecentralized]

The first official pre-release (v0.1.0) of Hyperledger Caliper is live! Check out additional details here: https://t.co/kNazhne6AR

[Attila Klenik @a_klenik]

Check out the first official release of Hyperledger Caliper! Available on NPM and DockerHub.

#blockchain #hyperledger #caliper #benchmarking https://t.co/JZ1zUygQG4

[LF Decentralized Trust @lfdecentralized]

#HyperledgerCaliper allows users to measure the performance of a specific blockchain implementation with a set of predefined use cases. Get the code here: https://t.co/cY6bvitbxQ

[LF Decentralized Trust @lfdecentralized]

Development of Hyperledger projects is led by a diverse group of technical, open source contributors. And we are always looking for help. Learn the many ways you can participate! https://t.co/dTKPUkKs8s

[LF Decentralized Trust @lfdecentralized]

The next #Hyperledger Meetup in Budapest will happen on Tuesday, November 27. Register here: https://t.co/EZ6LJbNZuA