* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
* ICSE 2018 * (series) / Posters /

Poster F51: Property Specification Patterns for Robotic Missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
* ICSE 2018 * Posters

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close
Fri 1 Jun 2018 09:00 - 18:00 at H - Exibition Hall - Friday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) Chair(s): Yuriy Brun, Raffaela Mirandola
Claudio Menghi
Claudio Menghi
University of Gothenburg, Sweden
Christos Tsigkanos
Christos Tsigkanos
Politecnico di Milano
Thorsten Berger
Thorsten Berger
Chalmers University of Technology, Sweden
Sweden
Patrizio Pelliccione
Patrizio Pelliccione
University of Gothenburg & Chalmers University of Technology
Sweden
Carlo Ghezzi
Carlo Ghezzi
Politecnico di Milano
Italy

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close

Fri 1 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

icse-2018-Posters
09:00 - 18:00: Posters - Friday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) at H - Exibition Hall
Chair(s): Yuriy BrunUniversity of Massachusetts, Amherst, Raffaela MirandolaPolitecnico di Milano
icse-2018-Posters09:00 - 18:00
Talk
Michael DeckerBowling Green State University, Christian NewmanRochester Institute of Technology, Natalia DraganKent State University, Michael CollardThe University of Akron, Jonathan MaleticKent State University, Nicholas A. KraftABB Corporate Research
icse-2018-Posters09:00 - 18:00
Talk
Andrew HillNorth Carolina State University, Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Kathryn StoleeNorth Carolina State University
icse-2018-Posters09:00 - 18:00
Talk
Henning SchnoorKiel University, Wilhelm HasselbringKiel University
icse-2018-Posters09:00 - 18:00
Talk
Bilal AmirSur University College, Paul RalphUniversity of Auckland
icse-2018-Posters09:00 - 18:00
Talk
Affan RaufLahore University of Management Sciences, Muhammad NawazLahore University of Management Sciences, Junaid Haroon SiddiquiLahore University of Management Sciences
icse-2018-Posters09:00 - 18:00
Talk
Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan
icse-2018-Posters09:00 - 18:00
Talk
Haipeng CaiWashington State University Pullman, John JenkinsWashington State University
Pre-print
icse-2018-Posters09:00 - 18:00
Talk
Jeffrey SvajlenkoMicrosoft, Chanchal K. RoyUniversity of Saskatchewan
icse-2018-Posters09:00 - 18:00
Talk
Chong TangUniversity of Virginia, Kevin Sullivan, Baishakhi RayColumbia University, New York
icse-2018-Posters09:00 - 18:00
Talk
Edwin DauberDrexel University, Aylin CaliskanPrinceton University, Richard HarangSophos, Rachel GreenstadtDrexel University
icse-2018-Posters09:00 - 18:00
Talk
Xiao Wang, Lu Xiao, Ye YangStevens institute of technology, Xinyi XuBeijing University of Posts and Telecommunications, Yu Jiang
icse-2018-Posters09:00 - 18:00
Talk
Weili ChenSchool of Data and Computer Science, Sun Yat-sen University, Zibin ZhengSchool of Data and Computer Science, Sun Yat-sen University, Mingjie MaSchool of Data and Computer Science, Sun Yat-sen University, Pinjia HeComputer Science and Engineering, The Chinese University of Hong Kong, Peilin Zheng, Yuren ZhouSchool of Data and Computer Science, Sun Yat-sen University
icse-2018-Posters09:00 - 18:00
Talk
Fenfang XieSchool of Data and Computer Science, Sun Yat-sen University, Liang ChenSchool of Data and Computer Science, Sun Yat-sen University, Dongding LinSchool of Data and Computer Science, Sun Yat-sen University, Chuan ChenSchool of Data and Computer Science, Sun Yat-sen University, Zibin ZhengSchool of Data and Computer Science, Sun Yat-sen University, Xiaola LinSchool of Data and Computer Science, Sun Yat-sen University
icse-2018-Posters09:00 - 18:00
Poster
Weizhao YuanShanghai Jiao Tong University, Hoang H. NguyenSingapore Management University, Lingxiao JiangSingapore Management University, Yuting ChenShanghai Jiao Tong University
DOI Pre-print
icse-2018-Posters09:00 - 18:00
Talk
Ansong NiNanjing University, Ming Li
icse-2018-Posters09:00 - 18:00
Talk
Rebekka WohlrabChalmers University of Technology | Systemite AB, Gothenburg, Sweden, Ali ShahrokniSystemite
icse-2018-Posters09:00 - 18:00
Talk
Rebekka WohlrabChalmers University of Technology | Systemite AB, Gothenburg, Sweden, Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Eric KnaussChalmers University of Technology and University of Gothenbrug, Mats LarssonSystemite AB
icse-2018-Posters09:00 - 18:00
Talk
Andreas RauSoftware Engineering Chair (Prof. Zeller) Saarland University, Dept. of Computer Science, Jenny HotzkowSaarland University, Andreas ZellerSaarland University
icse-2018-Posters09:00 - 18:00
Talk
Alexandre PerezUniversity of Porto, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID
icse-2018-Posters09:00 - 18:00
Talk
Melanie LangermeierUniversität Augsburg, Bernhard Bauer
icse-2018-Posters09:00 - 18:00
Talk
Ayesha AfzalLahore University of Management Sciences, Ahmad AkhtarLahore University of Management Sciences, Nabila IshfaqLahore University of Management Sciences, Basit ShafiqLahore University of Management Sciences, Shafay ShamailLUMS, DHA, Lahore, Abeer ElahrafRutgers University, Jaideep VaidyaRutgers University, Nabil AdamRutgers University
icse-2018-Posters09:00 - 18:00
Talk
Jing ZhaoDalian University of Technology , Gao Rong NingCSIC BeiJing
icse-2018-Posters09:00 - 18:00
Talk
Maleknaz NayebiUniversity of Toronto, Konstantin KuznetsovSaarland University, CISPA, Paul ChenUniversity of Calgary, Andreas ZellerSaarland University, Guenther RuheUniversity of Calgary
icse-2018-Posters09:00 - 18:00
Talk
Farnaz BehrangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
icse-2018-Posters09:00 - 18:00
Talk
Hongliang Liangbeijing university of posts and telecommunication, Wenying Hubeijing university of posts and telecommunication, Yini Zhangbeijing university of posts and telecommunication, Lin Jiangbeijing university of posts and telecommunication, Wuwei ShenDepartment of Computer Science Western Michigan Univarsity
icse-2018-Posters09:00 - 18:00
Talk
Pengcheng Yin, Bowen DengCarnegie Mellon University, Edgar ChenCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University, Graham NeubigCarnegie Mellon University
icse-2018-Posters09:00 - 18:00
Talk
Rainer NiedermayrCQSE GmbH, Tobias RoehmCQSE GmbH, Stefan WagnerUniversität Stuttgart
icse-2018-Posters09:00 - 18:00
Talk
Fabienne BoyerLIG (Laboratoire d'Informatique de Grenoble), Xavier EtcheversOrange, Noel de PalmaLIG (Laboratoire d'Informatique de Grenoble), Xin Xiu TaoOrange
icse-2018-Posters09:00 - 18:00
Talk
Chun-Han LinNational Chengchi University, Fang YuNational Chengchi University, Jie-Hong Roland JiangNational Taiwan University, Tevfik BultanUniversity of California, Santa Barbara
icse-2018-Posters09:00 - 18:00
Talk
Harald StörrleQAware GmbH, Nick BaltsenTechnical University of Denmark, Anja MaierTechnical University of Denmark, Henrik ChristoffersenTechnical University of Denmark
icse-2018-Posters09:00 - 18:00
Talk
Amir ZghidiCES Lab, Sfax, Tunisia, Imed HammoudaChalmers and University of Gothenburg, Brahim HnichMonastir University
icse-2018-Posters09:00 - 18:00
Talk
Luis CruzUniversity of Porto, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID
icse-2018-Posters09:00 - 18:00
Talk
Vladimir Ivanov, Alan Rogers, Giancarlo SucciInnopolis University, Jooyong YiInnopolis University, Vasiliy ZorinInnopolis University
icse-2018-Posters09:00 - 18:00
Talk
Lykes ClaytorVirginia Tech, Francisco ServantVirginia Tech
icse-2018-Posters09:00 - 18:00
Talk
Isabella FerreiraPUC-Rio, Eduardo FernandesPontifical Catholic University of Rio de Janeiro (PUC-Rio), Diego CedrimPontifical Catholic University of Rio de Janeiro, Anderson UchôaPontifical Catholic University of Rio de Janeiro (PUC-Rio), Ana Carla BibianoPUC-Rio, Alessandro GarciaPUC-Rio, João Lucas CorreiaUFAL, Filipe Falcão Batista Dos SantosUniversidade Federal de Alagoas, Eduardo Gabriel Nunes de Farias, Caio BarbosaUFAL, Baldoino Fonseca, Rafael de Mello
icse-2018-Posters09:00 - 18:00
Talk
Thierry Titcheu ChekamUniversity of Luxembourg (SnT), Mike PapadakisUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Yves Le TraonUniversity of Luxembourg
Pre-print
icse-2018-Posters09:00 - 18:00
Talk
Mohammadreza GhanavatiHeidelberg University, Diego Costa, Artur AndrzejakHeidelberg University, Janos SeboekHeidelberg University
icse-2018-Posters09:00 - 18:00
Talk
Ramanathan RamuIowa State University, Ganesha UpadhyayaFuturewei Technologies, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
icse-2018-Posters09:00 - 18:00
Talk
Akond RahmanNorth Carolina State University, Jonathan StallingsNorth Carolina State University, Laurie WilliamsNorth Carolina State University
icse-2018-Posters09:00 - 18:00
Talk
Michael VierhauserUniversity of Notre Dame, Sean Bayley, Jane WyngaardUniversity of Notre Dame, Jinghui ChengPolytechnique Montreal, Wandi XiongIowa State University, Robyn LutzIowa State University, Joshua HusemanUniversity of Notre Dame, Jane Cleland-HuangUniversity of Notre Dame
icse-2018-Posters09:00 - 18:00
Talk
Nuthan Munaiah, Benjamin S. MeyersRochester Institute of Technology, Cecilia O. AlmRochester Institute of Technology, Andrew MeneelyRochester Institute of Technology, Pradeep K. MurukannaiahRochester Institute of Technology, Emily PrudhommeauxBoston College, Josephine WolffRochester Institute of Technology
icse-2018-Posters09:00 - 18:00
Talk
Ernani César Dos SantosUniversidade Federal de Santa Catarina, Patricia VilainUniversidade Federal de Santa Catarina, Douglas Hiura LongoUFSC - Universidade Federal de Santa Catarina
icse-2018-Posters09:00 - 18:00
Talk
Spencer SmithMcMaster University, Computing and Software Department, Mojdeh Sayari NejadMcMaster University, Alan WassyngMcMaster University, Canada
icse-2018-Posters09:00 - 18:00
Talk
Tianyi ZhangUniversity of California, Los Angeles, Miryung KimUniversity of California at Los Angeles, USA
icse-2018-Posters09:00 - 18:00
Talk
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara
icse-2018-Posters09:00 - 18:00
Talk
Patrick Morrison, Tosin Daniel OyetoyanSINTEF Digital, Laurie WilliamsNorth Carolina State University
icse-2018-Posters09:00 - 18:00
Talk
Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Péter SzécsiEötvös Loránd University, Zoltán GeraEötvös Loránd University, Dániel KruppEricsson Ltd, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
icse-2018-Posters09:00 - 18:00
Talk
Daniel DeFreezUniversity of California, Davis, Aditya ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
icse-2018-Posters09:00 - 18:00
Talk
Paul TempleIRISA, Mathieu AcherUniversité of Rennes, Jean-Marc JézéquelUniv Rennes - IRISA
icse-2018-Posters09:00 - 18:00
Talk
Claudio MenghiUniversity of Gothenburg, Sweden, Christos TsigkanosPolitecnico di Milano, Thorsten BergerChalmers University of Technology, Sweden, Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Carlo GhezziPolitecnico di Milano
icse-2018-Posters09:00 - 18:00
Talk
Thomas KarcherKarlsruhe Institute of Technology, Mathias LandhäußerthingsTHINKING GmbH
icse-2018-Posters09:00 - 18:00
Talk
Claudio MenghiUniversity of Gothenburg, Sweden, Sergio Garcia, Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Jana TumovaKTH Royal Institute of Technology, Sweden
icse-2018-Posters09:00 - 18:00
Talk
Yuxia ZhangPeking University, Xin TanPeking University, Minghui ZhouPeking University, Zhi JinPeking University
icse-2018-Posters09:00 - 18:00
Talk
Panagiotis StratisThe University of Edinburgh, Ajitha RajanUniversity of Edinburgh, UK
icse-2018-Posters09:00 - 18:00
Talk
Arushi GuptaUniversity of Cincinnati, Wentao WangUniversity of Cincinnati, Nan NiuUniversity of Cincinnati, Juha SavolainenDanfoss
icse-2018-Posters09:00 - 18:00
Talk
Christopher Steven TimperleyCarnegie Mellon University, Susan StepneyUniversity of York, Claire Le GouesCarnegie Mellon University