The Experts below are selected from a list of 315 Experts worldwide ranked by ideXlab platform
Giles Reger - One of the best experts on this subject based on the ideXlab platform.
-
International Competition on Runtime Verification (CRV)
2019Co-Authors: Ezio Bartocci, Yliès Falcone, Giles RegerAbstract:We review the first five years of the International Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The Competition has gone through a number of changes since its introduction , which we highlight in this paper.
-
TACAS (3) - International Competition on Runtime Verification (CRV)
Tools and Algorithms for the Construction and Analysis of Systems, 2019Co-Authors: Ezio Bartocci, Yliès Falcone, Giles RegerAbstract:We review the first five years of the International Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The Competition has gone through a number of changes since its introduction, which we highlight in this paper.
-
Second International Competition on Runtime Verification
2015Co-Authors: Yliès Falcone, Giles Reger, Dejan Nickovic, Daniel ThomaAbstract:We report on the Second International Competition on Run-time Verification (CRV-2015). The Competition was held as a satellite event of the 15th International Conference on Runtime Verification (RV'15). The Competition consisted of three tracks: o✏ine monitoring, online monitoring of C programs, and online monitoring of Java programs. This report describes the format of the Competition, the participating teams and submitted benchmarks. We give an example illustrating the two main inputs expected from the participating teams, namely a benchmark (i.e., a program and a property on this program) and a monitor for this benchmark. We also propose some reflection based on the lessons learned.
Ezio Bartocci - One of the best experts on this subject based on the ideXlab platform.
-
International Competition on Runtime Verification (CRV)
2019Co-Authors: Ezio Bartocci, Yliès Falcone, Giles RegerAbstract:We review the first five years of the International Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The Competition has gone through a number of changes since its introduction , which we highlight in this paper.
-
TACAS (3) - International Competition on Runtime Verification (CRV)
Tools and Algorithms for the Construction and Analysis of Systems, 2019Co-Authors: Ezio Bartocci, Yliès Falcone, Giles RegerAbstract:We review the first five years of the International Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The Competition has gone through a number of changes since its introduction, which we highlight in this paper.
-
First International Competition on Software for Runtime Verification
2014Co-Authors: Ezio Bartocci, Borzoo Bonakdarpour, Yliès FalconeAbstract:We report on the process of organizing the First International Competition on Software for Runtime Verification (CSRV). This includes the procedures, participating teams, submitted benchmarks, and evaluation process. The Competition was held as a satellite event of of the 14th International Conference on Runtime Verification (RV'14). The Competition was organized in three tracks: offline monitoring, online monitoring of C programs, and online monitoring of Java programs.
-
RV - First International Competition on Software for Runtime Verification
Runtime Verification, 2014Co-Authors: Ezio Bartocci, Borzoo Bonakdarpour, Yliès FalconeAbstract:We report on the process of organizing the First International Competition on Software for Runtime Verification (CSRV). The report describes the format, participating teams and evaluation process. The Competition was held as a satellite event of the 14th International Conference on Runtime Verification (RV’14). The Competition was organized in three tracks: offline monitoring, online monitoring of C programs, and online monitoring of Java programs.
Yliès Falcone - One of the best experts on this subject based on the ideXlab platform.
-
International Competition on Runtime Verification (CRV)
2019Co-Authors: Ezio Bartocci, Yliès Falcone, Giles RegerAbstract:We review the first five years of the International Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The Competition has gone through a number of changes since its introduction , which we highlight in this paper.
-
TACAS (3) - International Competition on Runtime Verification (CRV)
Tools and Algorithms for the Construction and Analysis of Systems, 2019Co-Authors: Ezio Bartocci, Yliès Falcone, Giles RegerAbstract:We review the first five years of the International Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The Competition has gone through a number of changes since its introduction, which we highlight in this paper.
-
Second International Competition on Runtime Verification
2015Co-Authors: Yliès Falcone, Giles Reger, Dejan Nickovic, Daniel ThomaAbstract:We report on the Second International Competition on Run-time Verification (CRV-2015). The Competition was held as a satellite event of the 15th International Conference on Runtime Verification (RV'15). The Competition consisted of three tracks: o✏ine monitoring, online monitoring of C programs, and online monitoring of Java programs. This report describes the format of the Competition, the participating teams and submitted benchmarks. We give an example illustrating the two main inputs expected from the participating teams, namely a benchmark (i.e., a program and a property on this program) and a monitor for this benchmark. We also propose some reflection based on the lessons learned.
-
First International Competition on Software for Runtime Verification
2014Co-Authors: Ezio Bartocci, Borzoo Bonakdarpour, Yliès FalconeAbstract:We report on the process of organizing the First International Competition on Software for Runtime Verification (CSRV). This includes the procedures, participating teams, submitted benchmarks, and evaluation process. The Competition was held as a satellite event of of the 14th International Conference on Runtime Verification (RV'14). The Competition was organized in three tracks: offline monitoring, online monitoring of C programs, and online monitoring of Java programs.
-
RV - First International Competition on Software for Runtime Verification
Runtime Verification, 2014Co-Authors: Ezio Bartocci, Borzoo Bonakdarpour, Yliès FalconeAbstract:We report on the process of organizing the First International Competition on Software for Runtime Verification (CSRV). The report describes the format, participating teams and evaluation process. The Competition was held as a satellite event of the 14th International Conference on Runtime Verification (RV’14). The Competition was organized in three tracks: offline monitoring, online monitoring of C programs, and online monitoring of Java programs.
Soumen Ghosh - One of the best experts on this subject based on the ideXlab platform.
-
A Contingent View of Quality Management-The Impact of International Competition on Quality
Decision Sciences, 2000Co-Authors: Ajay Das, Robert B. Handfield, Roger J. Calantone, Soumen GhoshAbstract:Much of the research on quality practices and performance reflects a resource-based perspective of the firm, dealing primarily with internal issues of managerial and technological competence in developing and executing an effective TQM strategy. The neoclassical perspective on the influence of the competitive environment on quality practices and performance remains conspicuously absent in the empirical quality literature. Our study aims to address this gap by examining the contingent role of International Competition on quality management and performance. We develop and test an integrative framework of quality management, consisting of high involvement work practices, quality practices, quality performance, and firm performance. We then examine the contingent effects of International Competition on the constructs and relationships of the framework. International Competition was found to moderate the relationship between quality practices and customer satisfaction performance, as well as the relationship between high involvement work practices and firm performance. The moderator effects suggest interesting implications for quality theory and practice.
Jérôme Pouyet - One of the best experts on this subject based on the ideXlab platform.
-
Regulated Firms with Transboundary Pollution: Does International Competition Improve Efficiency?
Journal of Public Economic Theory, 2003Co-Authors: Isabelle Péchoux, Jérôme PouyetAbstract:We consider a model of strategic trade and environmental policies with transboundary pollution. A regulated monopoly produces in each country and emits pollution. Under complete information, opening borders leads to a reallocation of the production from the large country to the small one. Total production increases, leading to an increase in the total level of pollution. The creation of a common market sometimes leads to a deterioration of total welfare. Under asymmetric information, the International Competition generated by the common market decreases the informational rents of the firms, thereby reinforcing the potential gain to open markets to International Competition.