index.xml

<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>FLUENT Verification Project</title>
    <link>https://fluentverification.github.io/</link>
      <atom:link href="https://fluentverification.github.io/index.xml" rel="self" type="application/rss+xml" />
    <description>FLUENT Verification Project</description>
    <generator>Wowchemy (https://wowchemy.com)</generator><language>en-us</language><lastBuildDate>Mon, 17 Jun 2024 12:00:00 +0000</lastBuildDate>
    <image>
      <url>https://fluentverification.github.io/media/icon_hu153d4cd2b08a4d98b837bc6b658832e0_327877_512x512_fill_lanczos_center_3.png</url>
      <title>FLUENT Verification Project</title>
      <link>https://fluentverification.github.io/</link>
    </image>
    
    <item>
      <title>Synthetic Biology Workshop</title>
      <link>https://fluentverification.github.io/event/syntheticbiologyworkshop/</link>
      <pubDate>Mon, 17 Jun 2024 12:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/event/syntheticbiologyworkshop/</guid>
      <description>&lt;p&gt;This event is organized by the FLUENT Research Group. This project is funded by grants 1856733, 1856740, and 1900542 from the National Science Foundation. The views expressed are those of the authors and do not necessarily reflect those of the NSF.&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report</title>
      <link>https://fluentverification.github.io/publication/tools-at-the-frontiers-of-quantitative-verification/</link>
      <pubDate>Tue, 10 Oct 2023 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/tools-at-the-frontiers-of-quantitative-verification/</guid>
      <description></description>
    </item>
    
    <item>
      <title>STAMINA in C&#43;&#43;: Modernizing an Infinite-State Probabilistic Model Checker</title>
      <link>https://fluentverification.github.io/publication/stamina-in-c&#43;&#43;-modernizing-an-infinite-state-model-checker/</link>
      <pubDate>Fri, 15 Sep 2023 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/stamina-in-c&#43;&#43;-modernizing-an-infinite-state-model-checker/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks</title>
      <link>https://fluentverification.github.io/publication/cycle-and-commute/</link>
      <pubDate>Thu, 20 Jul 2023 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/cycle-and-commute/</guid>
      <description></description>
    </item>
    
    <item>
      <title>PhageBox: An Open Source Digital Microfluidic Extension With Applications for Phage Discovery</title>
      <link>https://fluentverification.github.io/publication/phagebox-an-open-source-digital-microfluidic-extension-with-applications-for-phage-discovery/</link>
      <pubDate>Fri, 14 Jul 2023 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/phagebox-an-open-source-digital-microfluidic-extension-with-applications-for-phage-discovery/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Importance Sampling Techniques for the Analysis of Genetic Circuits</title>
      <link>https://fluentverification.github.io/publication/importance-sampling-techniques-for-the-analysis-of-genetic-circuits/</link>
      <pubDate>Mon, 03 Jul 2023 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/importance-sampling-techniques-for-the-analysis-of-genetic-circuits/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks</title>
      <link>https://fluentverification.github.io/publication/efficient-trace-generation-for-rare-event-analysis/</link>
      <pubDate>Wed, 19 Apr 2023 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/efficient-trace-generation-for-rare-event-analysis/</guid>
      <description></description>
    </item>
    
    <item>
      <title>SynBioSuite: A Tool for Improving the Workflow for Genetic Design and Modeling</title>
      <link>https://fluentverification.github.io/publication/synbiosuite-a-tool-for-improving-the-workflow-for-genetic-design-and-modeling/</link>
      <pubDate>Wed, 08 Mar 2023 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/synbiosuite-a-tool-for-improving-the-workflow-for-genetic-design-and-modeling/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA</title>
      <link>https://fluentverification.github.io/publication/a-comparison-of-weighted-stochastic-simulation-methods-for-the-analysis-of-genetic-circuits/</link>
      <pubDate>Fri, 30 Dec 2022 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/a-comparison-of-weighted-stochastic-simulation-methods-for-the-analysis-of-genetic-circuits/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Treading in a Sea of Data</title>
      <link>https://fluentverification.github.io/event/treadinginaseaofdata/</link>
      <pubDate>Tue, 23 Aug 2022 12:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/event/treadinginaseaofdata/</guid>
      <description>&lt;p&gt;Data is exploding. Today there are more devices generating, transmitting and storing data than there are people on Earth. Most of human knowledge and culture has been rendered into digital formats, but electronic data is ephemeral. Data must be continually curated and maintained, rescued from obsolete technology before it disappears. We can so easily lose it. It resides on chips, disks, or in the cloud &amp;ndash; you can not see it unless you know where to find it.&lt;/p&gt;
&lt;p&gt;For centuries people have left meaningful artefacts in the form of diaries, letters, artwork, photographs, or physical objects. What will today&amp;rsquo;s generation leave behind? Will digital emails, photos or videos survive beyond a few years? Some researchers are working on the problem of data permanence, finding ways for individuals to preserve their digital lives. In the bigger picture, some scientists are building world archives that may be able to preserve digital artefacts in an almost perpetual format.&lt;/p&gt;
&lt;p&gt;But can data be truly permanent? In the distant future, will people be able to decode and understand the data we leave for them? There are many languages for representing different kinds of data. Will people of the distant future be able to understand the written languages of today? Will they be able to understand our digital encodings? Or could we represent key information in a more universal pictographic language? From text messages with emojis to the signage on nuclear reactors, we use a mixture of pictographic and textual representations to indicate important concepts that transcend spoken language, and perhaps we can use those techniques to communicate far across time.&lt;/p&gt;
&lt;p&gt;The workshop will last 2 to 3 hours. All are invited. Registration is appreciated but not mandatory.&lt;/p&gt;
&lt;p&gt;Topics:&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;Human languages, data languages, numerical languages&lt;/li&gt;
&lt;li&gt;What matters? Sifting meaningful information from the digital background&lt;/li&gt;
&lt;li&gt;Surviving the &amp;ldquo;Digital Dark Age&amp;rdquo; through data permanence&lt;/li&gt;
&lt;li&gt;Building a &amp;ldquo;forever&amp;rdquo; archive of science and culture&#39;&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;Free to all. THERE WILL BE PIZZA.&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>Engineering genetic circuits: advancements in genetic design automation tools and standards for synthetic biology</title>
      <link>https://fluentverification.github.io/publication/engineering-genetic-circuits-advancements-in-genetic-design-automation-tools-and-standards-for-synthetic-biology/</link>
      <pubDate>Mon, 01 Aug 2022 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/engineering-genetic-circuits-advancements-in-genetic-design-automation-tools-and-standards-for-synthetic-biology/</guid>
      <description></description>
    </item>
    
    <item>
      <title>STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking</title>
      <link>https://fluentverification.github.io/publication/stamina-20-improving-scalability-of-infinite-state-stochastic-model-checking/</link>
      <pubDate>Fri, 14 Jan 2022 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/stamina-20-improving-scalability-of-infinite-state-stochastic-model-checking/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA</title>
      <link>https://fluentverification.github.io/publication/stochastic-hazard-analysis-of-genetic-circuits-in-ibiosim-and-stamina/</link>
      <pubDate>Mon, 04 Oct 2021 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/stochastic-hazard-analysis-of-genetic-circuits-in-ibiosim-and-stamina/</guid>
      <description></description>
    </item>
    
    <item>
      <title>On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report</title>
      <link>https://fluentverification.github.io/publication/on-correctness-precision-and-performance-in-quantitative-verification-qcomp-2020-competition-report/</link>
      <pubDate>Thu, 05 Aug 2021 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/on-correctness-precision-and-performance-in-quantitative-verification-qcomp-2020-competition-report/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Jian Yang and Monica Hall Win the Best Paper Award at Wowchemy 2020</title>
      <link>https://fluentverification.github.io/post/20-12-02-icml-best-paper/</link>
      <pubDate>Wed, 02 Dec 2020 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/post/20-12-02-icml-best-paper/</guid>
      <description>&lt;p&gt;Congratulations to Jian Yang and Monica Hall for winning the Best Paper Award at the 2020 Conference on Wowchemy for their paper “Learning Wowchemy”.&lt;/p&gt;
&lt;p&gt;Lorem ipsum dolor sit amet, consectetur adipiscing elit. Integer tempus augue non tempor egestas. Proin nisl nunc, dignissim in accumsan dapibus, auctor ullamcorper neque. Quisque at elit felis. Vestibulum ante ipsum primis in faucibus orci luctus et ultrices posuere cubilia curae; Aenean eget elementum odio. Cras interdum eget risus sit amet aliquet. In volutpat, nisl ut fringilla dignissim, arcu nisl suscipit ante, at accumsan sapien nisl eu eros.&lt;/p&gt;
&lt;p&gt;Sed eu dui nec ligula bibendum dapibus. Nullam imperdiet auctor tortor, vel cursus mauris malesuada non. Quisque ultrices euismod dapibus. Aenean sed gravida risus. Sed nisi tortor, vulputate nec quam non, placerat porta nisl. Nunc varius lobortis urna, condimentum facilisis ipsum molestie eu. Ut molestie eleifend ligula sed dignissim. Duis ut tellus turpis. Praesent tincidunt, nunc sed congue malesuada, mauris enim maximus massa, eget interdum turpis urna et ante. Morbi sem nisl, cursus quis mollis et, interdum luctus augue. Aliquam laoreet, leo et accumsan tincidunt, libero neque aliquet lectus, a ultricies lorem mi a orci.&lt;/p&gt;
&lt;p&gt;Mauris dapibus sem vel magna convallis laoreet. Donec in venenatis urna, vitae sodales odio. Praesent tortor diam, varius non luctus nec, bibendum vel est. Quisque id sem enim. Maecenas at est leo. Vestibulum tristique pellentesque ex, blandit placerat nunc eleifend sit amet. Fusce eget lectus bibendum, accumsan mi quis, luctus sem. Etiam vitae nulla scelerisque, eleifend odio in, euismod quam. Etiam porta ullamcorper massa, vitae gravida turpis euismod quis. Mauris sodales sem ac ultrices viverra. In placerat ultrices sapien. Suspendisse eu arcu hendrerit, luctus tortor cursus, maximus dolor. Proin et velit et quam gravida dapibus. Donec blandit justo ut consequat tristique.&lt;/p&gt;</description>
    </item>
    
    <item>
      <title>Richard Hendricks Wins First Place in the Wowchemy Prize</title>
      <link>https://fluentverification.github.io/post/20-12-01-wowchemy-prize/</link>
      <pubDate>Tue, 01 Dec 2020 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/post/20-12-01-wowchemy-prize/</guid>
      <description>&lt;p&gt;This research aims at advancing probabilistic verification techniques for the rigorous design of dependable systems in synthetic biology and nanotechnology. Major goals of the project include the following. First, scale up stochastic model checking with efficient and accurate state space truncation techniques. Secondly, investigate practical stochastic counterexample generation techniques and utilize them to improve the accuracy of the state reductions. Thirdly, derive automated guidance mechanisms learned from stochastic counterexamples to improve the quality and efficiency of rare-event stochastic simulations. Lastly, integrate our proposed framework within existing state-of-the-art stochastic model checking tools, PRISM and STORM; and evaluate the proposed methodology on a wide range of case studies derived from synthetic biology and nanotechnology applications. The combination of these methods into this new methodology is being explored for the first time. Altogether, this research will improve the accuracy of analysis of infinite state stochastic systems with rare-event properties.&lt;/p&gt;
&lt;p&gt;This material is based upon work supported by the National Science Foundation under Grant Nos. 1856733, 1856740, and 1900542. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.&lt;/p&gt;
&lt;p&gt;&lt;a href=&#34;https://github.com/fluentverification&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;https://github.com/fluentverification&lt;/a&gt;&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis</title>
      <link>https://fluentverification.github.io/publication/stamina-stochastic-approximate-model-checker-for-infinite-state-analysis/</link>
      <pubDate>Fri, 12 Jul 2019 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/publication/stamina-stochastic-approximate-model-checker-for-infinite-state-analysis/</guid>
      <description></description>
    </item>
    
    <item>
      <title></title>
      <link>https://fluentverification.github.io/admin/config.yml</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/admin/config.yml</guid>
      <description></description>
    </item>
    
    <item>
      <title></title>
      <link>https://fluentverification.github.io/contact/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/contact/</guid>
      <description></description>
    </item>
    
    <item>
      <title></title>
      <link>https://fluentverification.github.io/people/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/people/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Tour</title>
      <link>https://fluentverification.github.io/tour/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      <guid>https://fluentverification.github.io/tour/</guid>
      <description></description>
    </item>
    
  </channel>
</rss>