IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 42件中 1~20件目  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
VLD, DC, CPSY, RECONF, ICD, IE, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC
(Joint) [detail]
2019-11-15
16:10
Ehime Ehime Prefecture Gender Equality Center Low Latency Interrupt Handling Scheme By Using Interrupt Wake-Up Mechanism
Ryo Wada, Nobuyuki Yamasaki (Keio Univ.) CPSY2019-50
Recently, embedded real-time systems used in spacecraft and automobiles have become increasingly complex and are require... [more] CPSY2019-50
pp.71-76
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] 2019-03-17
15:50
Kagoshima Nishinoomote City Hall (Tanega-shima) Real-Time Voltage and Frequency Scaling Scheme with IPC Controlling for SMT Processor
Hiromi Suzuki, Yousuke Ide, Yuta Tsukahara, Nobuyuki Yamasaki (Keio Univ) CPSY2018-106 DC2018-88
In the field of Real-Time embedded systems, both of high-performance and low-power consumption are required. In this pap... [more] CPSY2018-106 DC2018-88
pp.161-166
NLP, MSS
(Joint)
2019-03-14
12:55
Fukui Bunkyo Camp., Univ. of Fukui Experiment on SMT-LIB Encoding Methods for Simulink Models
Koki Takenaka, Daisuke Ishii (U. Fukui) MSS2018-82
Static analysis is useful for coverage testing etc. for Simulink models as for general-purpose programs. In this work, w... [more] MSS2018-82
pp.7-11
SS 2019-03-04
16:45
Okinawa   SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems
Genki Sakanashi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya Univ.) SS2018-66
The authors recently proposed an SQL-based language CombSQL+ for specifying combinatorial optimization problems, and sho... [more] SS2018-66
pp.85-90
R 2018-10-26
14:25
Tokyo Kikai-Shinko-Kaikan Bldg. A Note on Perfect Sampling for Stochastic Petri Nets
Hiroyuki Okamura, Kazuya Morihara, Tadashi Dohi (Hiroshima Univ.) R2018-35
In this paper, we consider the perfect sampling for stochastic Petri nets. The perfect simulation is a technique to draw... [more] R2018-35
pp.7-12
SS, DC 2017-10-20
09:30
Kochi Kochi City Culture-plaza CUL-PORT On the generation of constrained locating arrays using an SMT solver
Hao Jin (Osaka Univ.), Eun-Hye Choi (AIST), Tatsuhiro Tsuchiya (Osaka Univ.) SS2017-30 DC2017-29
Combinatorial interaction testing (CIT) is a well-known testing strategy for software systems. We inves-
tigate a new C... [more]
SS2017-30 DC2017-29
pp.55-60
SS, KBSE, IPSJ-SE [detail] 2017-07-19
11:10
Hokkaido   Reliability Verification of Dynamic Information in Dynamic Map for Vehicles
Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.) SS2017-3 KBSE2017-3
In automotive industry, high-precision spatial information such as the LDM(Local Dyanamic Map), that includes dynamic ob... [more] SS2017-3 KBSE2017-3
pp.13-18
SS 2017-03-09
09:55
Okinawa   Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting
Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-61
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] SS2016-61
pp.7-12
DC, SS 2016-10-27
15:30
Shiga Hikone Kinro-Fukushi Kaikan Bldg. Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis
Masato Nakashima, Trung Chu Bao, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-26 DC2016-28
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] SS2016-26 DC2016-28
pp.49-54
MSS 2015-03-06
10:25
Ishikawa IT Business Plaza Musashi Development of SMT-based model checker for assembly cords using interrupts reduction technique
Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) MSS2014-100
Recently, embedded software has properties dependent on hardware (direct operation of address spaces, memory mapped I/O,... [more] MSS2014-100
pp.53-58
MSS, SS 2015-01-27
12:55
Tottori   Towards Security Analysis based on Traceability
Hirokazu Yatsu (Kyushu Univ.), Masaru Matsunami (SDNA), Toshimi Sawada (Thinker's craft house), Takahiro Ando, Kenji Hisazumi (Kyushu Univ.), Kong Weiqiang (DLUT), Akira Fukuda (Kyushu Univ.)
Usually, security analysis is mainly done at the implementation phase of system development. In this paper, we propose a... [more]
IA, IN
(Joint)
2014-12-19
11:30
Hiroshima Hiroshima City University The Architecture of Delay Tolerant Networking over the Internet
Masataka Ohta (Tokyo Inst. of Tech.) IA2014-77
Not to mention Interplanetary communication, UUCP network is DTN, from history of which, we can recognize how DTN over t... [more] IA2014-77
pp.49-50
SS 2014-03-11
10:00
Okinawa Tenbusu Naha An Extension of Alloy with Time Constraints
Ryota Kuroita, Shoji Yuen (Nagoya Univ.) SS2013-72
This paper proposes an extension of Alloy, called Alloy-R, with constraints for reals in purpose of specifying time-dep... [more] SS2013-72
pp.1-6
SS 2014-03-11
11:30
Okinawa Tenbusu Naha Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java
Hiroaki Shimba, Hiroki Onoue, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2013-75
Java classes must observe constraints on ``hashCode'' methods as well as ``equals'' methods, in order to behave correctl... [more] SS2013-75
pp.19-24
EMD 2014-01-31
14:50
Tokyo   A Study of Thermal Deformation of box type resin part in Reflow Process
Masayuki Tamura, Toshiyuki Shimoda (JAE) EMD2013-139
LCP is used many of Insulator(INS) materials. Resins of LCP have the big anisotropy of the coefficient of thermal expans... [more] EMD2013-139
pp.17-22
SS, MSS 2014-01-31
09:55
Aichi   Bounded model checking based in SMT for CISC embedded assembly programs
Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.) MSS2013-62 SS2013-59
In this paper,we describe the method of verification by bounded model checking based in SMT using Code Block for embedde... [more] MSS2013-62 SS2013-59
pp.65-70
MSS, SS 2013-03-07
11:40
Fukuoka Shikanoshima On Composing the Simplex Method and Gomory Cut for Deriving Integer Assignments
Masaaki Fushimi, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) MSS2012-78 SS2012-78
The simplex method is one of the methods to derive rational assignments from linear constraints on ratiolals. It is know... [more] MSS2012-78 SS2012-78
pp.109-114
DC 2012-12-14
17:00
Fukui Aossa (Fukui) Verification of Automatic Block System for Single Line Using SMT Solver
Natsuki Terada (RTRI) DC2012-79
Formal methods are expected to increase reliability of software, including that of signaling systems. We modeled the sp... [more] DC2012-79
pp.31-36
KBSE 2012-11-22
11:25
Ishikawa Kanazawa University SMT-based Bounded Model Checking for Assembly program
Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane (Kanazawa Univ.) KBSE2012-41
In this paper, we state property verification by Bounded Model Checking using SMT solver for register level model of ass... [more] KBSE2012-41
pp.19-24
MSS, CAS 2012-11-02
13:30
Iwate Iwate University Scheduling and Resource Assignment of Periodic Tasks in Computer Networks Using an SMT Solver
Yuya Sakai, Toshimitsu Ushio (Osaka Univ.) CAS2012-62 MSS2012-42
It is important in computer networks to assign each task to a computer in order to have scheduling without deadline miss... [more] CAS2012-62 MSS2012-42
pp.71-74
 42件中 1~20件目  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (No. 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan