Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements (English)
- New search for: Sanwal, Muhammad Usman
- New search for: Hasan, Osman
- New search for: Sanwal, Muhammad Usman
- New search for: Hasan, Osman
In:
Computational Science and Its Applications – ICCSA 2013
5
;
358-371
;
2013
- Article/Chapter (Book) / Electronic Resource
-
Title:Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements
-
Contributors:Sanwal, Muhammad Usman ( author ) / Hasan, Osman ( author )
-
Published in:Computational Science and Its Applications – ICCSA 2013 , 5 ; 358-371Lecture Notes in Computer Science ; 7971, 5 ; 358-371
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2013-01-01
-
Size:14 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Water (H2O) m or Benzene (C6H6) n Aggregates to Solvate the K + ?Lago, Noelia Faginas / Albertí, Margarita / Laganà, Antonio / Lombardi, Andrea et al. | 2013
- 16
-
Using Vectorization and Parallelization to Improve the Application of the APH Hamiltonian in Reactive ScatteringCrawford, Jeff / Eldredge, Zachary / Parker, Gregory A. et al. | 2013
- 31
-
Multi Reference versus Coupled Cluster ab Initio Calculations for the N2 + N2 Reaction ChannelsPacifici, Leonardo / Verdicchio, Marco / Laganà, Antonio et al. | 2013
- 47
-
A Theoretical Study of Formation Routes and Dimerization of Methanimine and Implications for the Aerosols Formation in the Upper Atmosphere of TitanRosi, Marzio / Falcinelli, Stefano / Balucani, Nadia / Casavecchia, Piergiorgio / Skouteris, Dimitrios et al. | 2013
- 57
-
Bonding Configurations and Observed XPS Features at the Hydrogen Terminated (100) Si Surface: What Can We Gain from Computational ChemistryBelanzoni, Paola / Giorgi, Giacomo / Cerofolini, Gianfranco et al. | 2013
- 69
-
Modeling the Intermolecular Interactions and Characterization of the Dynamics of Collisional Autoionization ProcessesFalcinelli, Stefano / Rosi, Marzio / Candori, Pietro / Vecchiocattivi, Franco / Bartocci, Alessio / Lombardi, Andrea / Lago, Noelia Faginas / Pirani, Fernando et al. | 2013
- 84
-
Implementation of the ANSYS® Commercial Suite on the EGI Grid PlatformCostantini, Alessandro / Michelotto, Diego / Bencivenni, Marco / Cesini, Daniele / Veronesi, Paolo / Giorgio, Emidio / Gaido, Luciano / Laganà, Antonio / Monetti, Alberto / Manzolaro, Mattia et al. | 2013
- 96
-
An Efficient Taxonomy Assistant for a Federation of Science Distributed Repositories: A Chemistry Use CaseTasso, Sergio / Pallottelli, Simonetta / Ciavi, Giovanni / Bastianini, Riccardo / Laganà, Antonio et al. | 2013
- 110
-
Evaluation of a Tour-and-Charging Scheduler for Electric Vehicle Network ServicesLee, Junghoon / Park, Gyung-Leen et al. | 2013
- 120
-
An Adaptive Connection Scheduling Method Based on Yielding Relationship in FlashLinQKim, Dong-Hyun / Choi, Bum-Gon / Bae, Sueng Jae / Chung, Min Young et al. | 2013
- 131
-
A Probabilistic Medium Access Scheme for D2D Terminals to Improve Data Transmission Performance of FlashLinQYoon, Hee-Woong / Lee, Jungha / Bae, Sueng Jae / Chung, Min Young et al. | 2013
- 142
-
Toward Smart Microgrid with Renewable Energy: An Overview of Network Design, Security, and StandardsKim, Mihui et al. | 2013
- 157
-
Cross-Layered OFDMA-Based MAC and Routing Protocol for Multihop Adhoc NetworksQuang, Khanh / Nguyen, Van Duc / Nguyen, Trung Dung / Choo, Hyunseung et al. | 2013
- 173
-
Content-Based Chunk Placement Scheme for Decentralized Deduplication on Distributed File SystemsKim, Keonwoo / Kim, Jeehong / Min, Changwoo / Eom, Young Ik et al. | 2013
- 184
-
Protecting Wireless Sensor Networks from Energy Exhausting AttacksShakhov, Vladimir V. et al. | 2013
- 194
-
Semantic Annotation of the CEREALAB Database by the AGROVOC Linked DatasetBeneventano, Domenico / Bergamaschi, Sonia / Sorrentino, Serena et al. | 2013
- 204
-
Management of Multiple and Imperfect Sources in the Context of a Territorial Community Environmental SystemZayrit, Karima / Desjardin, Eric / Akdag, Herman et al. | 2013
- 216
-
Error Correction for Fire Growth ModelingLeonard, Kathryn / DeSantis, Derek et al. | 2013
- 228
-
An Ontological Approach to Meet Information Needs of Farmers in Sri LankaWalisadeera, Anusha Indika / Wikramanayake, Gihan N. / Ginige, Athula et al. | 2013
- 241
-
Querying Spatial and Temporal Data by Condition Tree: Two Examples Based on Environmental IssuesFatto, Vincenzo / Paolino, Luca / Sebillo, Monica / Vitiello, Giuliana / Tortora, Genoveffa et al. | 2013
- 253
-
Contribution of Model-Driven Engineering to Crop ModelingBarbier, Guillaume / Cucchi, Véronique / Hill, David R. C. et al. | 2013
- 264
-
Farmer Response towards the Initial Agriculture Information Dissemination Mobile PrototypeSilva, Lasanthi N. C. / Goonetillake, Jeevani S. / Wikramanayake, Gihan N. / Ginige, Athula et al. | 2013
- 279
-
On the Use of a Priori Knowledge in Pattern Search Methods: Application to Beam Angle Optimization for Intensity-Modulated Radiation TherapyRocha, Humberto / Dias, Joana M. / Ferreira, Brigida C. / Carmo Lopes, Maria et al. | 2013
- 293
-
A Note on Totally Regular Variables and Appell Sequences in Hypercomplex Function TheoryCruz, Carla / Falcão, M. Irene / Malonek, Helmuth R. et al. | 2013
- 304
-
A Genetic Algorithm for the TOPdTW at Operating RoomsMota, Gabriel / Abreu, Mário / Quintas, Artur / Ferreira, João / Dias, Luis S. / Pereira, Guilherme A. B. / Oliveira, José A. et al. | 2013
- 318
-
A Computational Study on Different Penalty Functions with DIRECT AlgorithmRocha, Ana Maria A. C. / Vilaça, Rita et al. | 2013
- 333
-
Multilocal Programming: A Derivative-Free Filter Multistart AlgorithmFernandes, Florbela P. / Costa, M. Fernanda P. / Fernandes, Edite M. G. P. et al. | 2013
- 347
-
Performance Evaluation of Flooding Schemes on Duty-Cycled Sensor Networks: Conventional, 1HI, and 2HBI FloodingsHwang, Boram / Shon, Minhan / Kim, Mihui / Kim, Dongsoo S. / Choo, Hyunseung et al. | 2013
- 358
-
Formal Verification of Cyber-Physical Systems: Coping with Continuous ElementsSanwal, Muhammad Usman / Hasan, Osman et al. | 2013
- 372
-
Implementation of Enhanced Android SPICE Protocol for Mobile CloudJung, Jun-Kwon / Jung, Sung-Min / Kim, Tae-Kyung / Chung, Tai-Myoung et al. | 2013
- 382
-
The Permission-Based Malicious Behaviors Monitoring Model for the Android OSPark, Min-Woo / Choi, Young-Hyun / Eom, Jung-Ho / Chung, Tai-Myoung et al. | 2013
- 396
-
A Method for Cricket Bowling Action Classification and Analysis Using a System of Inertial SensorsQaisar, Saad / Imtiaz, Sahar / Glazier, Paul / Farooq, Fatima / Jamal, Amna / Iqbal, Wafa / Lee, Sungyoung et al. | 2013
- 413
-
A New Back-Propagation Neural Network Optimized with Cuckoo Search AlgorithmNawi, Nazri Mohd. / Khan, Abdullah / Rehman, Mohammad Zubair et al. | 2013
- 427
-
Functional Link Neural Network – Artificial Bee Colony for Time Series Temperature PredictionMohmad Hassim, Yana Mazwin / Ghazali, Rozaida et al. | 2013
- 438
-
A New Cuckoo Search Based Levenberg-Marquardt (CSLM) AlgorithmNawi, Nazri Mohd. / Khan, Abdullah / Rehman, Mohammad Zubair et al. | 2013
- 452
-
Dynamic Context for Document Search and RecoveryRodríguez, José / Romero, Manuel / Bravo, Maricela et al. | 2013
- 464
-
Multiscale Discriminant Saliency for Visual AttentionNgo, Anh Cat / Ang, Kenneth Li-Minn / Qiu, Guoping / Kah-Phooi, Jasmine Seng et al. | 2013
- 485
-
A Memetic Algorithm for Waste Collection Vehicle Routing Problem with Time Windows and ConflictsMinh, Thai Tieu / Hoai, Tran / Nguyet, Tran Thi Nhu et al. | 2013
- 500
-
Efficient Distributed Algorithm of Dynamic Task Assignment for Swarm RoboticsMendonça, Rafael Mathias / Nedjah, Nadia / Macedo Mourelle, Luiza et al. | 2013
- 511
-
Implementing an Interconnection Network Based on Crossbar Topology for Parallel Applications in MPSoCPessanha, Fábio Gonçalves / Macedo Mourelle, Luiza / Nedjah, Nadia / Souza e Silva Júnior, Luneque Del Rio et al. | 2013
- 526
-
Modelling Higher Dimensional Data for GIS Using Generalised MapsArroyo Ohori, Ken / Ledoux, Hugo / Stoter, Jantien et al. | 2013
- 540
-
Constructing and Modeling Parcel Boundaries from a Set of Lines for Querying Adjacent Spatial RelationshipsNguyen Vinh, Nam / Le, Bac et al. | 2013
- 550
-
Tiling 3D Terrain ModelsOliveira, Nuno / Rocha, Jorge Gustavo et al. | 2013
- 562
-
Mining Serial-Episode Rules Using Minimal Occurrences with Gap ConstraintDai, H. K. / Wang, Z. et al. | 2013
- 573
-
Smoothing Kernel Estimator for the ROC Curve-Simulation Comparative StudyMourão, Maria Filipa / Braga, Ana C. / Oliveira, Pedro Nuno et al. | 2013
- 585
-
Orthodontics Diagnostic Based on Multinomial Logistic Regression ModelBraga, Ana Cristina / Urzal, Vanda / Ferreira, A. Pinhão et al. | 2013
- 596
-
Vector-Projection Approach to Curve Framing for Extruded SurfacesMd. Said, Abas et al. | 2013
- 608
-
Spatial Data Management for Energy Efficient Envelope RetrofittingPrevitali, Mattia / Barazzetti, Luigi / Roncoroni, Fabio et al. | 2013
- 622
-
Training on Laparoscopic Suturing by Means of a Serious GamePaolis, Lucio Tommaso et al. | 2013
- 632
-
Walking in a Virtual Town to Understand and Learning About the Life in the Middle AgesPaolis, Lucio Tommaso et al. | 2013
- 646
-
Interactive Mesh Generation with Local Deformations in MultiresolutionDembogurski, Renan / Dembogurski, Bruno / Souza da Silva, Rodrigo Luis / Vieira, Marcelo Bernardes et al. | 2013
- 662
-
Online Analysis and Visualization of Agent Based ModelsGrignard, Arnaud / Drogoul, Alexis / Zucker, Jean-Daniel et al. | 2013
- 673
-
Real-Time Fall Detection and Activity Recognition Using Low-Cost Wearable SensorsPham, Cuong / Phuong, Tu Minh et al. | 2013
- 697
-
A Real-Time Rendering Technique for View-Dependent Stereoscopy Based on Face TrackingNguyen Hoang, Anh / Tran Hoang, Viet / Kim, Dongho et al. | 2013
- 708
-
Virtual Exhibitions on the Web: From a 2D Map to the Virtual WorldGervasi, Osvaldo / Caprini, Luca / Maccherani, Gabriele et al. | 2013
- E1
-
Erratum: A New Approach for Animating 3D Signing AvatarsBen Yahia, Nour / Jemni, Mohamed et al. | 2013