1,258,088 Hits in 5.3 sec

New Challenges in Model Checking [chapter]

Gerard J. Holzmann, Rajeev Joshi, Alex Groce
Lecture Notes in Computer Science  
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]

Mert Ozkaya, Ferhat Erata
2019 Zenodo  
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]

Qin Ruan, Brian Mac Namee, Ruihai Dong
2021 arXiv   pre-print
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

Luise Pufahl, Jana-Rebecca Rehse
2021 Entwicklungsmethoden für Informationssysteme und deren Anwendung: Fachtagung  
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]

Md Mahfuzul Haque, Mohammad Yousuf, Zahedur Arman, Md Main Uddin Rony, Ahmed Shatil Alam, Kazi Mehedi Hasan, Md Khadimul Islam, Naeemul Hassan
2018 arXiv   pre-print
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

Helmut Veith
2009 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  
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]

Antonio Cerone, Marco Scotti
2015 Lecture Notes in Computer Science  
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)

Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee
2016 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)  
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]

Ashim Gupta, Vivek Srikumar
2021 arXiv   pre-print
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

Andrew D. Gordon, Alan Jeffrey, S. Schneider
2004 Journal of Computer Security  
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


Vidal Yaakov
2018 Modelling the New Europe  
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

Gianluca Demartini, Stefano Mizzaro, Damiano Spina
2020 IEEE Data Engineering Bulletin  
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

Jin Song Dong, Jun Sun, Yang Liu
2013 2013 35th International Conference on Software Engineering (ICSE)  
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]

Chris Dulhanty, Jason L. Deglint, Ibrahim Ben Daya, Alexander Wong
2019 arXiv   pre-print
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]

Kristin Yvonne Rozier
2016 Lecture Notes in Computer Science  
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