Skip to content

Commit

Permalink
rebuilding site Mon Apr 22 17:58:06 CEST 2024
Browse files Browse the repository at this point in the history
  • Loading branch information
@ebjohnsen
ebjohnsen committed Apr 22, 2024
1 parent bcb9fa9 commit a167a77
Show file tree
Hide file tree
Showing 571 changed files with 4,677 additions and 1,122 deletions.
10 changes: 5 additions & 5 deletions 404.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down Expand Up @@ -768,13 +768,13 @@ <h2>Latest</h2>

<li><a href="/talk/a-digital-twin-of-the-oslo-fjord/">A Digital Twin of the Oslo Fjord</a></li>

<li><a href="/talk/greenhousedt-an-exemplar-for-digital-twins/">GreenhouseDT: An Exemplar for Digital Twins</a></li>
<li><a href="/publication/">Publications</a></li>

<li><a href="/project/">Projects</a></li>
<li><a href="/publication/24-toplas2/">Proving Correctness of Parallel Implementations of Transition System Models</a></li>

<li><a href="/project/pandemics/">A Digital Twin for Vaccination Strategies at Geographic Scales</a></li>
<li><a href="/talk/greenhousedt-an-exemplar-for-digital-twins/">GreenhouseDT: An Exemplar for Digital Twins</a></li>

<li><a href="/talk/programming-and-reasoning-about-autonomous-software-with-semantic-reflection/">Programming and reasoning about autonomous software with semantic reflection</a></li>
<li><a href="/project/">Projects</a></li>

</ul>

Expand Down
2 changes: 1 addition & 1 deletion authors/aasmund/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/achim-streit/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/admin/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/albert-mingkun-yang/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/alexandra-silva/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/amir-taherkordi/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/amy-murphy/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/anastasia-gkolfi/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/andrea-borgarelli/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/andreas-griesmayer/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/andreas-kohn/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/andrzej/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/arild-b.-torjusen/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/arild-waaler/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/bernhard-beckert/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/bernhard-k.-aichernig/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/bin-chen/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/bing-xu/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/bjarne-holen/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/carlos-hernandez-corbato/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/chinmayi-prabhu-baramashetru/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/christoph-luth/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/christoph-seidl/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/christophe-fraser/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/cosimo-laneve/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/costas-bekas/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/crystal/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/dabo-guan/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/dave-clarke/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/david-basin/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/david-cameron/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/davide-ancona/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/demissie-b.-aredo/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/dimitri-kusnezov/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/eds/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/eduard-occhipinti/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/eduard/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/ehsan-khamespanah/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
6 changes: 5 additions & 1 deletion authors/einarj/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down Expand Up @@ -979,6 +979,10 @@ <h3>Latest</h3>
<a href="/talk/a-digital-twin-of-the-oslo-fjord/">A Digital Twin of the Oslo Fjord</a>
</li>

<li>
<a href="/publication/24-toplas2/">Proving Correctness of Parallel Implementations of Transition System Models</a>
</li>

<li>
<a href="/talk/greenhousedt-an-exemplar-for-digital-twins/">GreenhouseDT: An Exemplar for Digital Twins</a>
</li>
Expand Down
8 changes: 8 additions & 0 deletions authors/einarj/index.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,14 @@
<description></description>
</item>

<item>
<title>Proving Correctness of Parallel Implementations of Transition System Models</title>
<link>https://ebjohnsen.org/publication/24-toplas2/</link>
<pubDate>Fri, 19 Apr 2024 09:07:44 +0200</pubDate>
<guid>https://ebjohnsen.org/publication/24-toplas2/</guid>
<description></description>
</item>

<item>
<title>GreenhouseDT: An Exemplar for Digital Twins</title>
<link>https://ebjohnsen.org/talk/greenhousedt-an-exemplar-for-digital-twins/</link>
Expand Down
2 changes: 1 addition & 1 deletion authors/elena-giachino/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/elias-castegren/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/ellen-munthe-kaas/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
2 changes: 1 addition & 1 deletion authors/elvin-alberts/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<!-- This site was created with Hugo Blox. https://hugoblox.com -->
<!-- Last Published: April 18, 2024 --><html lang="en-us" >
<!-- Last Published: April 22, 2024 --><html lang="en-us" >


<head>
Expand Down
Loading

0 comments on commit a167a77

Please sign in to comment.