5 Hits in 7.8 sec

Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Seminar 14022) Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) Planning with Epistemic Goals (Dagstuhl Seminar 14032)

Frederik Armknecht, Helena Handschuh, Tetsu Iwata, Bart, Bernd Bremer, Valerio Mohr, Martin Pascucci, Schulz, Erika Ábrahám, Alberto Avritzer, Anne Remke, William Sanders (+13 others)
2014 unpublished
We use nondeterministic weighted automata (finite automata with transition weights) to define classes of quantitative languages over infinite words.  ...  Or as put by an engineer, "I always teach my students to try to think out of the box.  ...  guidelines or points for debate, regarding how to construct a best practice for ethical research.  ... 

Formal Methods and their Role in the Certification of Critical Systems [chapter]

John Rushby
1997 Safety and Reliability of Software Based Systems  
, and implementations, to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications, and to suggest factors for consideration when formal  ...  Its purpose is to outline the technical basis for formal methods in computer science, to explain the use of formal methods in the specification and verification of software and hardware requirements, designs  ...  In addition to my obvious debt to the founders, educators, and practioners of the various disciplines that are covered here, I am grateful to those who have taken time over the last several years to explain  ... 
doi:10.1007/978-1-4471-0921-1_1 fatcat:33n3af7ssbfkbiy6o6vj462idi

Proceedings of the 2021 Joint Workshop of the German Research Training Groups in Computer Science. May 31–June 1, 2021

Joint Workshop Of The German Research Training Groups In Computer Science, Erlangen May 31–June 1, 2021, Felix Freiling
The goal of these workshops is to foster an interchange of ideas and experiences in order to strengthen the connection within the German computer science community.  ...  Such tasks can usually be expressed using temporal logic formulae or as (in)finite strings over finite automata.  ...  Examples of such tasks include those expressed as linear temporal logic or (in)finite strings over automata.  ... 
doi:10.25593/opus4-fau-16426 fatcat:isoyq5lzdffxrdqzvkmfsnjgau

Reliability Improvement and Validation Framework

Peter H. Feiler, John Goodenough, Arie Gurfinkel, Charles B. Weinstock, Lutz Wrage
The current software engineering practice of "build then test" has made them unaffordable to build and qualify.  ...  and certify the systems [Boydston 2009 ].  ...  Static analysis of such real-time systems can be done with the UPPAAL tool that supports modeling systems as a nondeterministic composition of timed automata [UPPAAL 2009 ].  ... 
doi:10.1184/r1/6583043 fatcat:imvfkzsybffm5alkvhwhmgy64y

LIPIcs, Volume 7, ICLP'10, Complete Volume [article]

Manuel Hermenegildo, Torsten Schaub
Hence, researchers can use our system without downloading or installation of any program or ASP solver.  ...  Opinions, findings, and conclusions or recommendations expressed in this papers are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ...  Since finite automata are equivalent to regular languages it seems natural to think of timed automata as being equivalent to timed regular languages.  ... 
doi:10.4230/lipics.iclp.2010 fatcat:j7jd7dpsffbs7plm5qa6qi2wem