Filters








805 Hits in 3.4 sec

Expressing and Computing Passage Time Measures of GSPN Models with HASL [chapter]

Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Passage time measures specification and computation for Generalized Stochastic Petri Net models have been faced in the literature from different points of view.  ...  In this paper we focus on the last two points: the specification and computation of complex passage time measures in (Tagged) GSPNs using the Hybrid Automata Stochastic Logic (HASL) and the statistical  ...  The difference and similarities of HASL based specification with respect to Probe Automata specification of passage times is discussed in Section 5, supported by a classical FMS example.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38697-8_7">doi:10.1007/978-3-642-38697-8_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nekoj67rgrgsrm2eetw5pjt27y">fatcat:nekoj67rgrgsrm2eetw5pjt27y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190505172526/https://hal.archives-ouvertes.fr/hal-00848708/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/62/2b/622bd3bf99c3ba1582aa68ee262e1523e0b59806.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38697-8_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Formal specification and analysis of zeroconf using uppaalS

Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
<span title="2011-04-01">2011</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3yu4mbaainhw5gol4yayc35pfe" style="color: black;">ACM Transactions on Embedded Computing Systems</a> </i> &nbsp;
piece of text in the RFC), and (c) may serve as a basis for formal verification.  ...  We present two proofs of the mutual exclusion property for Zeroconf (for an arbitrary number of hosts and IP addresses): a manual, operational proof, and a proof that combines model checking with the application  ...  Finally, we thank the anonymous reviewers for some insightful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1952522.1952527">doi:10.1145/1952522.1952527</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tbi64pxilrbhdfxcupsouondau">fatcat:tbi64pxilrbhdfxcupsouondau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501170436/https://www.mbsd.cs.ru.nl/publications/papers/fvaan/zeroconf/full.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/41/f1/41f12df2c59a8dfdabbba0e65ff49d91a29332f1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1952522.1952527"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Performance analysis of probabilistic timed automata using digital clocks

Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
<span title="2006-06-07">2006</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fyhr5xuigbfmdabfoqp2f7lbum" style="color: black;">Formal methods in system design</a> </i> &nbsp;
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterministic and probabilistic  ...  In the case of classical (non-probabilistic) timed automata, it has been shown that for a large class of real-time verification problems correctness can be established using an integer-time model, inducing  ...  In the probabilistic timed automata model real-valued clocks measure the passage of time and transitions can be probabilistic, that is, be expressed as a discrete probability distribution on the set of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10703-006-0005-2">doi:10.1007/s10703-006-0005-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wa3ll5qvojbt7ch3s5hav75jza">fatcat:wa3ll5qvojbt7ch3s5hav75jza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160411123216/http://qav.comlab.ox.ac.uk/papers/formats03.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3f/60/3f60c0ed1e842bc6daa619046fe05acf45991840.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10703-006-0005-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Performance Analysis of Probabilistic Timed Automata Using Digital Clocks [chapter]

Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterministic and probabilistic  ...  In the case of classical (non-probabilistic) timed automata, it has been shown that for a large class of real-time verification problems correctness can be established using an integer-time model, inducing  ...  In the probabilistic timed automata model real-valued clocks measure the passage of time and transitions can be probabilistic, that is, be expressed as a discrete probability distribution on the set of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-40903-8_9">doi:10.1007/978-3-540-40903-8_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lczn7oaxifg5pi5vqnloo545fm">fatcat:lczn7oaxifg5pi5vqnloo545fm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160411123216/http://qav.comlab.ox.ac.uk/papers/formats03.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3f/60/3f60c0ed1e842bc6daa619046fe05acf45991840.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-40903-8_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

PVS Strategies for Proving Abstraction Properties of Automata

Sayan Mitra, Myla Archer
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
This tool support relies on a clean and uniform technique for defining abstraction properties relating automata that uses library theories for defining abstraction relations and templates for specifying  ...  To prove that a given automaton implements an abstract specification automaton, one must first find the correct abstraction relation between the states of the automata, and then show that this relation  ...  Acknowledgements We thank Sam Owre and Natarajan Shankar of SRI International for adding the features to PVS that have made our work possible. We also thank Nancy  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.01.005">doi:10.1016/j.entcs.2005.01.005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sycmr4jtyfc2dgr6nar7o6gwna">fatcat:sycmr4jtyfc2dgr6nar7o6gwna</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809195922/http://people.csail.mit.edu/mitras/research/ENTCS05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6e/f1/6ef139d4390abccc1e5ed71b5917dea8d612dee8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.01.005"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets

Elvio Gilberto Amparore, Benoit Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/27dzewscfvf4vm4lsc7uc3kjya" style="color: black;">Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation - SIGSIM-PADS &#39;13</a> </i> &nbsp;
The Hybrid Automata Stochastic Logic (HASL) has been recently defined as a flexible way to express classical performance measures as well as more complex, path-based ones (generically called "HASL formulas  ...  In this paper we propose to extend HASL and COSMOS to support colors, so that performance formulas for SSN can be easily defined and evaluated.  ...  Examples of path-based languages are the Extended Stochastic Probes (XSP [10] , that define passage time over a subset of the behaviors of a PEPA model [14] ), or the formalism of Path Automata (PA,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2486092.2486124">doi:10.1145/2486092.2486124</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pads/AmparoreBBDF13.html">dblp:conf/pads/AmparoreBBDF13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kulld77ecrgtxesxxoiblf223q">fatcat:kulld77ecrgtxesxxoiblf223q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830035810/http://www.di.unito.it/~beccuti/paper/pPADS13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c7/9d/c79d0a44cd85d741c0d4010ea0291c1909dc2d33.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2486092.2486124"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream [chapter]

Rodolfo Gómez, Howard Bowman
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper our case study will be the specification and verification of a multimedia stream. DTA are as much influenced by IO Automata (syntactically) as they are by Timed Automata (semantically).  ...  This paper extends the scope of MONA to the verification of time-dependent protocols. We present Discrete Timed Automata (DTA) as a suitable formalism to specify and verify such protocols.  ...  This represents the passage of discrete-time. 2. There are no common variables among the automata, except for T , i.e. We will use s a → u to denote (s, a, u) ∈→.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39979-7_12">doi:10.1007/978-3-540-39979-7_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/joycvgnygjfdrn6gbyd4w2xem4">fatcat:joycvgnygjfdrn6gbyd4w2xem4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20041112073756/http://www.cs.kent.ac.uk:80/pubs/2003/1625/content.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/f5/d8f57352a359dd8b0ff97a3193926288ec54f440.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39979-7_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On-the-fly progress detection in iterative stream queries

Badrish Chandramouli, Jonathan Goldstein, David Maier
<span title="2009-08-01">2009</span> <i title="VLDB Endowment"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p6rqwwpkkjbcldejepcehaalby" style="color: black;">Proceedings of the VLDB Endowment</a> </i> &nbsp;
Also, for stream systems that explicitly model inputevent lifetimes, we know exactly which values are in the query result at each point in time.  ...  We show how a hybrid approach limits predictions while coming close the progress-tracking ability of Probing.  ...  In addition, we introduce events into the query in such a way the passage of time between punctuations entering the query closely matches the passage time reflected by the punctuation timestamps.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14778/1687627.1687655">doi:10.14778/1687627.1687655</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ga75bnbtwncm5d3vuf2zw6qpo4">fatcat:ga75bnbtwncm5d3vuf2zw6qpo4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140207101420/http://research.microsoft.com:80/pubs/101567/FFP-2009-camera.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/63/ae63a1663c9fd948d157d10bb4bf5206b328a237.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14778/1687627.1687655"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modelling and Evaluation of a Control Room Application [chapter]

Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
indicator has been the SLA assessment, that requires a passage-time computation, an index that is not widely available in Petri net tools.  ...  that an operator should reach the client site in less than 60 minutes in 95% of the times.  ...  has been later developed (Probe Automata [5] ) to ease the task of defining the TGSPN conditions for entry, goal, and forbidden states.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-57861-3_15">doi:10.1007/978-3-319-57861-3_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pxogcknhqza2hmaj2blndogg7q">fatcat:pxogcknhqza2hmaj2blndogg7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723073239/https://iris.unito.it/retrieve/handle/2318/1663772/400629/Modelling%20and%20evaluation%20of%20a%20Control%20Room%20application.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a2/62/a262dbccec3e7f40011ecbff66dc1181fbf535e4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-57861-3_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Almost-Sure Model-Checking of Reactive Timed Automata

Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mr2re5en4rajnjdlytdvj35iyy" style="color: black;">2012 Ninth International Conference on Quantitative Evaluation of Systems</a> </i> &nbsp;
Finally we show that the almost-sure model-checking problem can be decided for specifications given as deterministic timed automata.  ...  While this problem was shown decidable for single-clock automata few years ago, it was also proven that the algorithm for this decidability result could not be used for general timed automata.  ...  Note that time passage and actions are independent events.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/qest.2012.10">doi:10.1109/qest.2012.10</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/qest/BouyerBJM12.html">dblp:conf/qest/BouyerBJM12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h6rcr36g2jfyxiiisk4wylzbmi">fatcat:h6rcr36g2jfyxiiisk4wylzbmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706105100/http://www.lsv.fr/Publis/PAPERS/PDF/BBJM-qest12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/1c/771ced2efccda428a81fc53c657d8d5f01d412b6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/qest.2012.10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

On the Semantics of Markov Automata [chapter]

Yuxin Deng, Matthew Hennessy
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays.  ...  We define a novel notion of weak bisimulation for such systems and prove that this provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between such systems  ...  Acknowledgement We thank Christian Eisentraut for the interesting discussion on clarifying the relationship between ≈ bis and ≈ MA .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22012-8_24">doi:10.1007/978-3-642-22012-8_24</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eanhihkvljdgxpcv2uytf66vpe">fatcat:eanhihkvljdgxpcv2uytf66vpe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120103150432/http://www.cs.cmu.edu/~yuxin/publications/icalp2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/79/81/798113c26140510da26694c550b0a763f1b611bf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22012-8_24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On the semantics of Markov automata

Yuxin Deng, Matthew Hennessy
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays.  ...  We define a novel notion of weak bisimulation for such systems and prove that this provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between such systems  ...  Acknowledgement We thank Christian Eisentraut for the interesting discussion on clarifying the relationship between ≈ bis and ≈ MA .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2012.10.010">doi:10.1016/j.ic.2012.10.010</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oryejlfpdrdnxoic35k7ymv4bu">fatcat:oryejlfpdrdnxoic35k7ymv4bu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120103150432/http://www.cs.cmu.edu/~yuxin/publications/icalp2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/79/81/798113c26140510da26694c550b0a763f1b611bf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2012.10.010"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Mid-American Review of Sociology, Volume 6, Number 1 (SPRING, 1981): Book Review

Robert John
<span title="1981-04-01">1981</span> <i title="The University of Kansas"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/simdcnzea5cgtlunotkpyy3vie" style="color: black;">Social Thought and Research</a> </i> &nbsp;
The following passage, which Gehlen quoted from Hermann Schmidt, defined each of the three stages of human culture, and their implications for human existence.  ...  Second, in the beginning of the book, Julian introduces social problems theories; however, he inadequately integrates these with specific social problems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17161/str.1808.4879">doi:10.17161/str.1808.4879</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ufnustobdrfdhkhhl5ccfneyka">fatcat:ufnustobdrfdhkhhl5ccfneyka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722002420/https://kuscholarworks.ku.edu/bitstream/handle/1808/4879/MARSV6N1BR2.pdf;jsessionid=6B77F4D5EF607A56198FB458A4259298?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/51/f551c0010223b60b0b532347b42157252b07c138.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17161/str.1808.4879"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Stochastic Timed Automata

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski, Prakash Panangaden
<span title="2014-12-09">2014</span> <i title="Logical Methods in Computer Science e.V."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
In this paper, we identify several classes of automata and of properties for which this can be decided.  ...  Correctness of the abstraction holds when automata are almost-surely fair, which we show, is the case for two large classes of systems, single- clock automata and so-called weak-reactive automata.  ...  Christel Baier was partly supported by the German Research Council (DFG) through the collaborative research centre 912 Highly-Adaptive Energy-Efficient Computing (HAEC) and the cluster of excellence Centre for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-10(4:6)2014">doi:10.2168/lmcs-10(4:6)2014</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ddh7nveslvburdfhp7ldfuzkzm">fatcat:ddh7nveslvburdfhp7ldfuzkzm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308113854/http://pdfs.semanticscholar.org/f24f/0f4ed5a8df2e0bced5a052a1b2eca0b2d74f.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f2/4f/f24f0f4ed5a8df2e0bced5a052a1b2eca0b2d74f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-10(4:6)2014"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Stochastic Timed Automata [chapter]

<span title="">2008</span> <i title="Springer US"> Introduction to Discrete Event Systems </i> &nbsp;
In this paper, we identify several classes of automata and of properties for which this can be decided.  ...  Correctness of the abstraction holds when automata are almost-surely fair, which we show, is the case for two large classes of systems, singleclock automata and so-called weak-reactive automata.  ...  Christel Baier was partly supported by the German Research Council (DFG) through the collaborative research centre 912 Highly-Adaptive Energy-Efficient Computing (HAEC) and the cluster of excellence Centre for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-68612-7_6">doi:10.1007/978-0-387-68612-7_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6qgz3wffvnej7prpwahijmjxqa">fatcat:6qgz3wffvnej7prpwahijmjxqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160709003920/http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBBMBGJ-mfcs14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/81/de8182b158634dbdc186925b42254eb8ae84f5b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-68612-7_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 805 results