Conference Papers & Presentations, Dept. of Computer Science : [228] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 228
 next >
First PublishedTitleAuthor(s)Type
1-Aug-2018Updating probabilistic knowledge on condition/event nets using Bayesian networksCabrera, Benjamin; Heindel, Tobias; Heckel, Reiko; König, BarbaraConference Paper
6-Sep-2018A novel method for unsupervised scanner-invariance with DCAE modelMoyes, Andrew; Zhang, Kun; Wang, Liping; Ji, Ming; Crookes, Danny; Zhou, HuiyuConference Paper
6-Jul-2018An Empirical Framework for Understanding Human-Technology Interaction Optimisation for Route PlanningKefalidou, GenovefaConference Paper
27-Aug-2018Faster Exploration of Degree-Bounded Temporal GraphsErlebach, Thomas; Spooner, Jakob T.Conference Paper
2018Car-Sharing between Two Locations: Online Scheduling with Two ServersLuo, Kelin; Erlebach, Thomas; Xu, YinfengConference Paper
2018FABIoT: A Flexible Agent-Based Simulation Model for IoT EnvironmentsPérez Hernández, Marco; Alturki, Badraddin; Reiff-Marganiec, StephanConference Paper
1-Jun-2018A Formal Framework for Prototyping Executable Semantics in ATLBoronat, ArturConference Paper
1-Mar-2013Lossy Channel Games under Incomplete InformationDimitrova, Rayna; Finkbeiner, BerndConference Paper
29-Jun-2018Car-Sharing between Two Locations: Online Scheduling with Flexible Advance BookingsLuo, Kelin; Erlebach, Thomas; Xu, YinfengConference Paper
29-Jun-2017Identification as infrastructure: the challenges of establishing the Legal Entity Identifier data standard for financial marketsMillo, Yuval; Panourgias, Nikiforos S.; Zachariadis, MarkosConference Paper
2013A multiparty multi-session logicBocchi, Laura; Demangeon, Romain; Yoshida, NobukoConference Paper
9-Nov-2017Why is My Component and Connector Views Specification Unsatisfiable?Maoz, Shahar; Pomerantz, Nitzan; Ringert, Jan Oliver; Shalom, RafiConference Paper
24-Aug-2017Teaching Agile Model-Driven Engineering for Cyber-Physical SystemsRingert, Jan Oliver; Rumpe, Bernhard; Schulze, Christoph; Wortmann, AndreasConference Paper
22-Sep-2016Symbolic Model Checking for Factored Probabilistic ModelsDeininger, David; Dimitrova, Rayna; Majumdar, RupakConference Paper
29-Dec-2016Robust optimal policies for Markov decision processes with safety-threshold constraintsDimitrova, Rayna; Fu, Jie; Topcu, UfukConference Paper
13-Jul-2017Quantitative Assume Guarantee SynthesisAlmagor, Shaull; Kupferman, Orna; Ringert, Jan Oliver; Velner, YaronConference Paper
9-Apr-2016Probabilistic CTL*: The Deductive WayDimitrova, Rayna; Fioriti, Luis María Ferrer; Hermanns, Holger; Majumdar, RupakConference Paper
2016On Well-Separation of GR(1) SpecificationsMaoz, Shahar; Ringert, Jan OliverConference Paper
9-Nov-2017Component and Connector Views in Practice: An Experience ReportBertram, Vincent; Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard; Wenckstern, Michael vonConference Paper
2017A Symbolic Justice Violations Transition System for Unrealizable GR(1) SpecificationsKuvent, Aviv; Maoz, Shahar; Ringert, Jan OliverConference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 228
 next >