Pelican

Top Websites using Pelican

Bounce ratePages / VisitVisit duration

101arundhaj.com
arundhaj
Blog about architecture, python, java, aws, amazon web services, datascience, ***ytics, cloud and IoT

43.92 0.09 01:53

102mustinet.org

n/a 1.00 n/a

103alec.fyi
for your information

38.08 1.18 00:02

104rivolaks.com
Rivo's Blog

41.22 2.08 01:15

105whitewinterwolf.com
WhiteWinterWolf.com
A blog on practical IT security, *nix systems and networking.

45.39 1.66 00:07

106axilleas.me
Over the line

29.98 1.03 00:07

107astrofrog.github.io
.py in the sky

46.51 1.17 00:04

108unremediatedgender.space
The Scintillating But Ultimately Untrue Thought

50.00 1.00 27:12

109blackhollywood.com
Under Construction: blackhollywood.com

n/a 1.00 n/a

110gothicginobili.com
Gothic Ginobili
A Basketblog About Hoopsketball

47.37 1.75 00:11

111advene.org
Advene – Advene project
Project website for the Advene project

42.29 1.03 00:06

112standage.github.io
Daniel S. Standage

42.13 1.04 n/a

113notesalexp.org
notesalexp.org | Home

42.39 1.17 00:03

114allan-blanchard.fr
Allan Blanchard's webpage –
About me I am currently a researcher at the Software Reliability and Security Laboratory of te CEA LIST. Previously, I was a post-doc researcher at Inria Nord Europe for the EU H2020 VESSEDIA project. Before that, I was a teaching and research assistant (ATER) at the university institute of technology of Orléans, associated to the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO). I prepared my PhD at the Software Reliability and Security Laboratory of the CEA LIST. I am interested in the ***ysis of concurrent code using formal methods and more precisely proof. Research Currently, I am involved in the development of Frama-C, a platform for the ***ysis of C programs, using different plugins that provides different kind of ***yses and allows to get different levels of confidence into the ***yzed software. Previously, I worked for the EU H2020 VESSEDIA project that aims at making formal methods easier to apply in the context of the internet-of-things where many security risks are rising as IoT devices are more and more widespread. My current work is to apply formal verification to the Contiki microkernel (an lightweight OS for IoT) and its libraries, mostly to show the absence of runtime errors. I mostly use Frama-C with the EVA plugin and the WP plugin. In the context of Contiki, concurrency is only simulated using a library called protothread which allows cooperative multi-tasking without the need of multiple stacks. My PhD thesis work is about a (formally correct) code and specification transformation from concurrent to equivalent sequential code. It allows one to verify a concurrent code using tools dedicated to sequential code. Such a transformation is valid under the assumption that the verified program has a sequentially consistent behavior. Our processors implements memory models that do not guarantee it. A part of my work is to study these models, and to define ways to ***yze programs taking them in account. Events Upcoming: Past: 10/2019 - FM 2019, Porto, Portugal (Tutorial) 07/2019 - Program Committee: 4PAD 2019, Dublin, Ireland 04/2019 - SAC 2019, Limassol, Cyprus (Paper slides + Tutorial slides) 01/2018 - FIC 2019, Lille, France slides 07/2018 - Program Committee: 4PAD 2018, Orléans, France 07/2018 - Tutorial: HPCS 2018, Orléans, France slides 06/2018 - Talk: TAP 2018, Toulouse, France slides 06/2018 - Talk: AFADL 2018, Grenoble, France slides 05/2018 - Tutorial: ZINC 2018, Novi Sad, Serbia slides 04/2018 - Talk: NFM 2018, Newport News, VA, USA slides 06/2017 - Talk: AFADL 2017, Montpellier, France slides 12/2016 - PhD Thesis Defence, Saclay, France slides 07/2016 - Talk: CSTVA 2016, Saarbrücken, Germany slides 06/2016 - Frama-C Day 2016, Paris, France slides 06/2015 - Talk: FMICS 2015, Oslo, Norway slides 06/2015 - Talk: AFADL 2015, Bordeaux, France slides 03/2015 - EJC IM 2015, Orléans, France 12/2014 - Forum STIC 2014, Saclay, France slides 06/2014 : EJCP 2014, Rennes, France Teaching I am the author of a tutorial on Frama-C and WP. I mainly teach code validation (using test and deductive proof), algorithms (basics, and then graphs and automaton), methods and languages for object-oriented design, and multi-core programmings (parallelism and concurrency).

100.00 1.00 n/a

115archerimagine.com

100.00 1.00 n/a

116fredericb.info
fred's notes
Frédéric's Thoughts and Writings

67.54 1.01 n/a

117businessgrowth.tips
Home - Business Growth Tips

n/a 1.00 n/a

118sumnotes.com
sumnotes.com
sumnotes.com

n/a 1.00 n/a

119chapelierfou.org
Chapelier Fou
Chapelier Fou – Asocial networks

100.00 1.00 n/a

120introvert.net
introvert.net

37.73 1.64 00:36

1214060.ir

n/a 1.00 n/a

122gulag.org.mx

n/a 1.00 n/a

123sanjiverat.com
Sanjiv Erat's Webpage –
Sanjiv Erat's Thoughts and Writings

40.26 0.09 00:15

124rya.nc
Ryan Castellucci’s blog | rya.nc
Ryan Castellucci’s blog - posts on computer security, programming, systems administration, electronics and general geekery

57.33 1.61 00:38

125michael-herbst.com
Michael F. Herbst | Research and projects | michael-herbst.com

43.28 1.08 00:01

126symbolibre.org
Symbolibre

41.52 1.55 00:09

127gutomaia.net
gutomaia

43.94 1.65 00:23

128blackholesathome.net
BlackHoles@Home

57.12 1.00 14:35

129wefearchange.org
We Fear Change

41.75 1.03 n/a

130cyrozap.com
Cyrozap's Tech Projects

42.03 1.03 06:53

131opendata.si
Open Data Slovenija - odprti podatki v Sloveniji

52.66 1.71 00:21

132pysb.org
Welcome to PySB: Systems biology modeling in Python

43.33 2.20 01:20

133jeankossaifi.com
Jean Kossaifi's Home Page - Artificial Intelligence, Machine Learning
Jean Kossaifi's Home Page - Artificial Intelligence, Machine Learning

32.31 3.48 01:38

134timpoulsen.com
Tim Poulsen
Tim Poulsen's blog of software, hardware, and life

42.67 1.36 00:30

135bjoernricks.github.io
Björn Ricks
A personal Blog.

36.46 1.02 n/a

136kleinblog.net
kleinblog

45.06 1.68 01:20

137adversariallearning.com
Adversarial Learning

45.48 1.01 01:11

138cesium-ml.org
Cesium

42.14 1.04 n/a

139kalunite.net
Scriptūrae Insanī - Kalunite.net
Time for a little technical post. Date and time mani***tion are one of the most common components in web applications. This is true for a few reasons: Web applications can have users coming from anywhere around the globe, under many different timezones. Chances are that you receive date and time …

39.11 1.06 n/a

140notconfusing.com
About - notconfusing.com
Download Résumé | Twitter | LinkedIn Hello, I am Maximilian Klein, data scientist, yogi, fuzzy logician, conversationalist, wikipedian, white- and male-privilege identified, poet, freegan,...

38.79 1.02 n/a

141manishbarnwal.com
Manish Barnwal

28.99 1.71 01:22

142dismail.de
dismail.de - secure private messaging
dismail.de - secure private services located in Germany

16.13 0.63 00:16

143fabilab.org
Research

37.10 1.06 n/a

1443liz.com
Accueil - 3Liz
3Liz, votre partenaire QGIS / Lizmap / QGIS Serveur / PostGIS 3Liz : société de service et éditeur Open Source en SIG En 2011, nous avons décidé de développer en Open Source la solution Lizmap...

51.11 2.10 01:02

145fridh.nl
FRidh's blog

38.41 1.08 n/a

146pythonchile.cl
Comunidad Chilena de Python

40.80 2.25 00:17

147puppydev.com
Puppydev

37.21 1.23 00:02

148razius.com
Silviu Tantos (razius)
Silviu Tantos (razius), *** with the idea of becoming a useful member of society.

45.01 1.02 n/a

149teblunthuis.cc
Nathan TeBlunthuis

24.64 0.19 00:07

150juandarodriguez.es
juandarodriguez
web personal de juanda rodríguez, programación, electrónica, microcontroladores, educación, administración de sistemas, cursos

33.08 2.96 01:35