A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
New Challenges in Model Checking
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
of model checking into the software development process. ...
In the last 25 years, the notion of performing software verification with logic model checking techniques has evolved from intellectual curiosity to accepted technology with significant potential for broad ...
The research described in this paper was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration. ...
doi:10.1007/978-3-540-69850-0_4
fatcat:fnldqi3f6ndf3o66cvst5nwh5i
The Raw Data of the Survey for Understanding the Software Modeling Challenges in Industry
[article]
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our survey has been intended for understanding the challenges that practitioners face with in industry about software modeling. ...
We considered the software modeling challenges in terms of a set of well-established software modeling categories and the survey intends to shed light on the practical problems about each of these modeling ...
The challenges on devising the algorithms/rules for translating software models in any formalisms that support model-checking The challenges on ensuring the correct translation into the formalisms that ...
doi:10.5281/zenodo.3571491
fatcat:322yd4ubmvcbjlm3tqp6arfzla
Pseudo-labelling Enhanced Media Bias Detection
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The result shows that the proposed method improves the accuracy of biased news detection models. ...
Leveraging unlabelled data through weak or distant supervision is a compelling approach to developing more effective text classification models. ...
existing models in accuracy, recall and f1 score. ...
arXiv:2107.07705v1
fatcat:k75pheczdrgrdk2dzc54rzt3si
Conformance Checking with Regulations - A Research Agenda
2021
Entwicklungsmethoden für Informationssysteme und deren Anwendung: Fachtagung
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this paper, we review existing research in this area, describe open research challenges, and design a research agenda to combine techniques from reference modeling and conformance checking to compare ...
Hence, conformance checking appears to be a well-suited approach to automatically check whether a business process fulfills certain regulations, but several challenges need to be overcome. ...
In the following, we discuss existing works in Sect. 2, list open research challenges in Sect. 3, and describe our research agenda in Sect. 4.
Overview of Existing Research Compliance Checking. ...
dblp:conf/emisa/PufahlR21
fatcat:3plf336tbbhrhmai5kbfecr3jq
Fact-checking Initiatives in Bangladesh, India, and Nepal: A Study of User Engagement and Challenges
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This study provides an understanding of the challenges various fact-checking initiatives face in three South Asian countries--Bangladesh, India, and Nepal. ...
In-depth interviews were conducted with senior editors of six fact-checking initiatives. Challenges identified include lack of resources, technologies, and political pressure. ...
There are some challenges that a ect all aspects of life, not only fact-checking or news organizations in particular, in the countries under study. ...
arXiv:1811.01806v1
fatcat:xdajoq77mbbojfmqperqn63hvy
Embedding Formal Methods into Systems Engineering
2009
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Model Checking
critical property
program
executable
compilation
model checking
Property violations documented
by program traces ! I know a bug when I see it.
H. ...
Veith 5/2008
Model Checking
critical property
program
executable
compilation
model checking
code assertions
absence of deadlocks
termination
correct API use
path feasibility
memory violations ...
Model Integration T h a n k y o u fo r y o u r a tt e n ti o n ! T h a n k y o u fo r y o u r a tt e n ti o n ! ...
doi:10.1109/synasc.2009.71
dblp:conf/synasc/Veith09
fatcat:chnahsryyngfdosq6eowtozuaq
Research Challenges in Modelling Ecosystems
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we identify these challenges and provide technical and cultural proposals for solving them. ...
However, there is a multifaceted gap between the approaches used in life science and those used in computer science. Such gap is both cultural and technical, and results in a number of challenges. ...
Finally, we would like to thank the anonymous referees who provided alternative, but equally valuable opinions, which have been reported in Section 5. ...
doi:10.1007/978-3-319-15201-1_18
fatcat:5aqldvae6bfydh7vi326ypsycy
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper)
2016
2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present our vision and challenges involved in developing a platform infrastructure that allows on-demand deployment of automotive safety features and ensures their correct execution. ...
In this paper, we present our vision and challenges involved in developing a platform infrastructure that allows on-demand deployment of automotive safety features and ensures their correct execution. ...
Model checking in formal methods is an exhaustive analysis method that checks whether or not a given model of the system satisfies a given property by exploring all the states of a system model. ...
doi:10.1109/rtcsa.2016.18
dblp:conf/rtcsa/GangadharanKSKL16
fatcat:7k2w3i5qffd6vcoqiawwwfxpby
X-FACT: A New Benchmark Dataset for Multilingual Fact Checking
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Empirically, our best model attains an F-score of around 40%, suggesting that our dataset is a challenging benchmark for evaluation of multilingual fact-checking models. ...
Using state-of-the-art multilingual transformer-based models, we develop several automated fact-checking models that, along with textual claims, make use of additional metadata and evidence from news stories ...
We presented results for several multilingual modeling methods and showed that the models find this new dataset challenging. ...
arXiv:2106.09248v1
fatcat:oj2ki36lubb2ld746bmoo5jcky
Types and effects for asymmetric cryptographic protocols
2004
Journal of Computer Security
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
a subtype relation; (2) trust effects, to guarantee that tainted data does not, in fact, originate from the opponent; and (3) challenge/response types to support a variety of idioms used to guarantee ...
The most significant new features of our type system are: (1) a separation of public types (for data possibly sent to the opponent) from tainted types (for data possibly received from the opponent) via ...
Challenge) (where x / ∈ dom(E) ∪ fn(es − [check x])) E, x: Challenge fs P : es E new (x: Challenge fs); P : es − [check x]The rules for trust effects are new in this paper. ...
doi:10.3233/jcs-2004-123-406
fatcat:ignujdcmezdj7kdyvmj7tliiyu
"AT THE EMPLOYERS' GATES: THE EUROPEAN CHALLENGE FACING ASYLUM SEEKERS AS EMPLOYMENT APPLICANTS"
2018
Modelling the New Europe
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The flood of asylum seekers in Europe in the past few years brings about a challenge to employers in accepting them to work. ...
Briefly reviewing the phenomenon of asylum seekers in Europe, in order to explain the phenomenon of CV fraud and offering verification tools from the security world that were developed in an attempt to ...
On-line Journal Modelling the New Europe
Issue no. 25/2018
151
On-line Journal Modelling the New Europe Issue no. 25/2018 European bloc. ...
doi:10.24193/ojmne.2018.25.07
fatcat:sxnkvouvx5gajjhwoo6lk5iuzu
Human-in-the-loop Artificial Intelligence for Fighting Online Misinformation: Challenges and Opportunities
2020
IEEE Data Engineering Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present the challenges and opportunities of combining automatic and manual fact-checking approaches to combat the spread on online misinformation also highlighting open research questions ...
Another challenge that comes with HAI systems is the bias that contributing humans may create and/or amplify in the annotated data and, consequently, in the models learned from this labelled data [16, ...
One such challenge is the possible noise in the labels provided by humans. ...
dblp:journals/debu/DemartiniMS20
fatcat:7ducuksts5donjcq6kokrkraoa
Build your own model checker in one month
2013
2013 35th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this tutorial, we will briefly survey a variety of model checking techniques. ...
Applying model checking techniques to a new domain (which probably has its own dedicated modeling language) is, however, far from trivial. ...
Applying model checking in a new domain requires in-depth understanding of model checking techniques. ...
doi:10.1109/icse.2013.6606751
dblp:conf/icse/DongSL04
fatcat:nbflxs4zmndjrigttljqze5s2a
Taking a Stance on Fake News: Towards Automatic Disinformation Assessment via Deep Bidirectional Transformer Language Models for Stance Detection
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
learning on a RoBERTa deep bidirectional transformer language model, and were able to achieve state-of-the-art performance (weighted accuracy of 90.01%) on the Fake News Challenge Stage 1 (FNC-I) benchmark ...
In this work, we explore the notion of harnessing large-scale deep bidirectional transformer language models for encoding claim-article pairs in an effort to construct state-of-the-art stance detection ...
To investigate the task of stance detection in the context of fake news detection, we use data released for the Fake News Challenge, Stage 1 (FNC-I). ...
arXiv:1911.11951v1
fatcat:haxvicrfw5fczpev5eqxwcgcci
Specification: The Biggest Bottleneck in Formal Methods and Autonomy
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We exemplify these challenges for specifications in Linear Temporal Logic (LTL) though the focus is not limited to that specification language. ...
We exemplify these challenges for specifications in Linear Temporal Logic (LTL) though the focus is not limited to that specification language. ...
Thanks to André Platzer for encouraging me to update and expand on these challenges; a shorter, preliminary version of this talk appeared at the NSF Workshop on "Cyber- ...
doi:10.1007/978-3-319-48869-1_2
fatcat:uo5ochzylvckhgiewcom2bxdzy
« Previous
Showing results 1 — 15 out of 1,258,088 results