| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hyoungshick Kim, John Tang, Ross Anderson, Cecilia Mascolo |
Centrality prediction in dynamic human contact networks.  |
Computer Networks  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Leontiadis, Christos Efstratiou, Cecilia Mascolo, Jon Crowcroft |
SenShare: Transforming Sensor Networks into Multi-application Sensing Infrastructures. |
EWSN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Leontiadis, Christos Efstratiou, Marco Picone, Cecilia Mascolo |
Don't kill my ads!: balancing privacy in an ad-supported mobile application market. |
HotMobile |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Leontiadis, Gustavo Marfia, David Mack, Giovanni Pau, Cecilia Mascolo, Mario Gerla |
On the Effectiveness of an Opportunistic Traffic Management System for Vehicular Networks. |
IEEE Transactions on Intelligent Transportation Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jadwiga Indulska, Claudio Bettini, Roy H. Campbell, Cecilia Mascolo |
Editorial. |
Pervasive and Mobile Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Nicosia, John Tang, Mirco Musolesi, Giovanni Russo, Cecilia Mascolo, Vito Latora |
Components in time-varying graphs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Anastasios Noulas, Salvatore Scellato, Renaud Lambiotte, Massimiliano Pontil, Cecilia Mascolo |
A tale of many cities: universal patterns in human urban mobility |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vito Latora, Cecilia Mascolo, Mirco Musolesi |
Analysis of Dynamic Social and Technological Networks (Dagstuhl Seminar 11452). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiran K. Rachuri, Cecilia Mascolo, Mirco Musolesi, Peter J. Rentfrow |
SociableSense: exploring the trade-offs of adaptive sampling and computation offloading for social sensing. |
MOBICOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Scellato, Mirco Musolesi, Cecilia Mascolo, Vito Latora, Andrew T. Campbell |
NextPlace: A Spatio-temporal Prediction Framework for Pervasive Systems. |
Pervasive |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Scellato, Cecilia Mascolo, Mirco Musolesi, Jon Crowcroft |
Track globally, deliver locally: improving content delivery networks by tracking geographic social cascades. |
WWW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Scellato, Ilias Leontiadis, Cecilia Mascolo, Prithwish Basu, Murtaza Zafer |
Understanding robustness of mobile networks through temporal network measures. |
INFOCOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasios Noulas, Salvatore Scellato, Cecilia Mascolo, Massimiliano Pontil |
Exploiting Semantic Annotations for Clustering Geographic Areas and Users in Location-based Social Networks. |
The Social Mobile Web |
2011 |
DBLP BibTeX RDF |
|
| 1 | Salvatore Scellato, Anastasios Noulas, Renaud Lambiotte, Cecilia Mascolo |
Socio-Spatial Properties of Online Location-Based Social Networks. |
ICWSM |
2011 |
DBLP BibTeX RDF |
|
| 1 | Anastasios Noulas, Salvatore Scellato, Cecilia Mascolo, Massimiliano Pontil |
An Empirical Study of Geographic User Activity Patterns in Foursquare. |
ICWSM |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniele Quercia, Ilias Leontiadis, Liam McNamara, Cecilia Mascolo, Jon Crowcroft |
SpotME If You Can: Randomized Responses for Location Obfuscation on Mobile Phones. |
ICDCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam McNamara, Salvatore Scellato, Cecilia Mascolo |
Diversity decay in opportunistic content sharing systems. |
WOWMOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Tang, Cecilia Mascolo, Mirco Musolesi, Vito Latora |
Exploiting temporal complex network metrics in mobile malware containment. |
WOWMOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Scellato, Anastasios Noulas, Cecilia Mascolo |
Exploiting place features in link prediction on location-based social networks. |
KDD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Tang, Mirco Musolesi, Cecilia Mascolo, Vito Latora |
Characterising temporal distance and reachability in mobile and online social networks. |
Computer Communication Review |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Tang, Cecilia Mascolo, Mirco Musolesi, Vito Latora |
Exploiting Temporal Complex Network Metrics in Mobile Malware Containment |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cecilia Mascolo |
The Power of Mobile Computing in a Social Era. |
IEEE Internet Computing |
2010 |
DBLP DOI BibTeX RDF |
mobile computing, social networking, mobile devices, social computing |
| 1 | Salvatore Scellato, Mirco Musolesi, Cecilia Mascolo, Vito Latora |
On Nonstationarity of Human Contact Networks. |
ICDCS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Efstratiou, Ilias Leontiadis, Cecilia Mascolo, Jon Crowcroft |
A shared sensor network infrastructure. |
SenSys |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Dyo, Stephen A. Ellwood, David W. Macdonald, Andrew Markham, Cecilia Mascolo, Bence Pásztor, Salvatore Scellato, Niki Trigoni, Ricklef Wohlers, Kharsim Yousef |
Evolution and sustainability of a wildlife monitoring sensor network. |
SenSys |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Leontiadis, Paolo Costa, Cecilia Mascolo |
Extending Access Point Connectivity through Opportunistic Routing in Vehicular Networks. |
INFOCOM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich |
Model Checking Programmable Router Configurations. |
Graph Transformations and Model-Driven Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bence Pásztor, Luca Mottola, Cecilia Mascolo, Gian Pietro Picco, Stephen A. Ellwood, David W. Macdonald |
Selective Reprogramming of Mobile Sensor Networks through Social Community Detection. |
EWSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Indranil Gupta, Cecilia Mascolo (eds.) |
Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings |
Middleware |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiran K. Rachuri, Mirco Musolesi, Cecilia Mascolo, Peter J. Rentfrow, Chris Longworth, Andrius Aucinas |
EmotionSense: a mobile phones based adaptive platform for experimental social psychology research. |
UbiComp |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Leontiadis, Paolo Costa, Cecilia Mascolo |
A hybrid approach for content-based publish/subscribe in vehicular networks. |
Pervasive and Mobile Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Musolesi, Cecilia Mascolo |
CAR: Context-Aware Adaptive Routing for Delay-Tolerant Mobile Networks. |
IEEE Trans. Mob. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Mascolo, Daniela Nicklas |
Message from the Work-in-Progress Chairs. |
PerCom |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Leontiadis, Paolo Costa, Cecilia Mascolo |
Persistent Content-based Information Dissemination in Hybrid Vehicular Networks. |
PerCom |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Dyo, Stephen A. Ellwood, David W. Macdonald, Andrew Markham, Cecilia Mascolo, Bence Pásztor, Niki Trigoni, Ricklef Wohlers |
Wildlife and environmental monitoring using RFID and WSN technology. |
SenSys |
2009 |
DBLP DOI BibTeX RDF |
in-network storage, wireless sensor networks, duty cycling, RFID technology |
| 1 | John Tang, Mirco Musolesi, Cecilia Mascolo, Vito Latora |
Temporal distance metrics for social network analysis. |
WOSN |
2009 |
DBLP DOI BibTeX RDF |
temporal efficiency, temporal metrics, social networks, complex networks, information diffusion, temporal graphs |
| 1 | Natasa Milic-Frayling, Jonna Häkkilä, Jon Crowcroft, Cecilia Mascolo, Eamonn O'Neill (eds.) |
Proceedings of the 8th International Conference on Mobile and Ubiquitous Multimedia, MUM 2009, Cambridge, United Kingdom, November 22-25, 2009 |
MUM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paolo Costa, Cecilia Mascolo, Mirco Musolesi, Gian Pietro Picco |
Socially-aware routing for publish-subscribe in delay-tolerant mobile ad hoc networks. |
IEEE Journal on Selected Areas in Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Lindgren, Cecilia Mascolo, Mike Lonergan, Bernie McConnell |
Seal-2-Seal: A delay-tolerant protocol for contact logging in wildlife monitoring sensor networks. |
MASS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Musolesi, Cecilia Mascolo |
A framework for multi-region delay tolerant networking. |
Wireless Networks and Systems for Developing Regions |
2008 |
DBLP DOI BibTeX RDF |
communication paradigms, multi-region protocols, persistent caching, push/pull architecture, delay tolerant networking, data replication |
| 1 | Liam McNamara, Cecilia Mascolo, Licia Capra |
Media sharing based on colocation prediction in urban transport. |
MOBICOM |
2008 |
DBLP DOI BibTeX RDF |
P2P, bluetooth, transport, media |
| 1 | Vladimir Dyo, Cecilia Mascolo |
Efficient Node Discovery in Mobile Wireless Sensor Networks. |
DCOSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bence Pásztor, Luca Mottola, Cecilia Mascolo, Gian Pietro Picco |
Selective code dissemination in mobile wireless sensor networks. |
Middleware (Companion) |
2008 |
DBLP DOI BibTeX RDF |
sensor networks, reprogramming |
| 1 | Mirco Musolesi, Pan Hui, Cecilia Mascolo, Jon Crowcroft |
Writing on the clean slate: Implementing a socially-aware protocol in Haggle. |
WOWMOM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Minkyong Kim, Cecilia Mascolo, Mirco Musolesi (eds.) |
Proceedings of the 1st ACM SIGMOBILE workshop on Mobility Models, MobilityModels 2008, Hong Kong, China, May 26, 2008 |
MobilityModels |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Costa, Geoff Coulson, Cecilia Mascolo, Luca Mottola, Gian Pietro Picco, Stefanos Zachariadis |
Reconfigurable Component-based Middleware for Networked Embedded Systems. |
IJWIN |
2007 |
DBLP DOI BibTeX RDF |
mobile computing, embedded systems, middleware, reconfiguration |
| 1 | Mirco Musolesi, Cecilia Mascolo |
Designing mobility models based on social network theory. |
Mobile Computing and Communications Review |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Scellato, Cecilia Mascolo, Mirco Musolesi, Vito Latora |
Epcast: Controlled Dissemination in Human-based Wireless Networks by means of Epidemic Spreading Models |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefanos Zachariadis, Manish Lad, Cecilia Mascolo, Wolfgang Emmerich |
Building Adaptable Mobile Middleware Services Using Logical Mobility Techniques. |
Contributions to Ubiquitous Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bence Pásztor, Mirco Musolesi, Cecilia Mascolo |
Opportunistic Mobile Sensor Data Collection with SCAR. |
MASS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam McNamara, Cecilia Mascolo, Licia Capra |
Content Source Selection in Bluetooth Networks. |
MobiQuitous |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Clovis Chapman, Mirco Musolesi, Wolfgang Emmerich, Cecilia Mascolo |
Predictive Resource Scheduling in Computational Grids. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Costa, Geoff Coulson, Richard Gold, Manish Lad, Cecilia Mascolo, Luca Mottola, Gian Pietro Picco, Thirunavukkarasu Sivaharan, Nirmal Weerasinghe, Stefanos Zachariadis |
The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario. |
PerCom |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Scellato, Cecilia Mascolo, Mirco Musolesi, Vito Latora |
Epcast: Controlled Dissemination in Human-Based Wireless Networks Using Epidemic Spreading Models. |
BIOWIRE |
2007 |
DBLP DOI BibTeX RDF |
epidemic dissemination, human networks, mobile networks |
| 1 | Vladimir Dyo, Cecilia Mascolo |
A node discovery service for partially mobile sensor networks. |
MidSens |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antinisca Di Marco, Cecilia Mascolo |
Performance analysis and prediction of physically mobile systems. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
performance modeling, mobile systems, software performance |
| 1 | Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo |
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
connectivity model, opportunistic systems, delay tolerant networking, protocol testing |
| 1 | Ilias Leontiadis, Cecilia Mascolo |
GeOpps: Geographical Opportunistic Routing for Vehicular Networks. |
WOWMOM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Zachariadis, Cecilia Mascolo, Wolfgang Emmerich |
The SATIN Component System-A Metamodel for Engineering Adaptable Mobile Systems. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
middleware, pervasive computing, components, mobile systems, Distributed objects, mobile code, containers |
| 1 | Mirco Musolesi, Cecilia Mascolo, Stephen Hailes |
EMMA: Epidemic Messaging Middleware for Ad hoc networks. |
Personal and Ubiquitous Computing |
2006 |
DBLP DOI BibTeX RDF |
Mobile ad hoc networks, Message oriented middleware, Epidemic protocol, Middleware for mobile computing |
| 1 | Geoff Coulson, Richard Gold, Manish Lad, Cecilia Mascolo, Luca Mottola, Gian Pietro Picco, Stefanos Zachariadis |
Dynamic Reconfiguration in the RUNES Middleware. |
MASS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Mascolo, Mirco Musolesi |
SCAR: context-aware adaptive routing in delay tolerant mobile sensor networks. |
IWCMC |
2006 |
DBLP DOI BibTeX RDF |
sensor networks, delay tolerant networks, adaptive routing, buffer management, time series forecasting, mobile sinks |
| 1 | Cecilia Mascolo, Mirco Musolesi, Bence Pásztor |
Data collection in delay tolerant mobile sensor networks using SCAR. |
SenSys |
2006 |
DBLP DOI BibTeX RDF |
sensor networks, delay tolerant networks, adaptive routing, buffer management, time series forecasting, mobile sinks |
| 1 | Mirco Musolesi, Cecilia Mascolo |
Evaluating Context Information Predictability for Autonomic Communication. |
WOWMOM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gschwind, Cecilia Mascolo (eds.) |
Software Engineering and Middleware, 4th International Workshop, SEM 2004,Linz, Austria, September 20-21, 2004, Revised Selected Papers |
SEM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mirco Musolesi, Stephen Hailes, Cecilia Mascolo |
Adaptive Routing for Intermittently Connected Mobile Ad Hoc Networks. |
WOWMOM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Dyo, Cecilia Mascolo |
Adaptive Distributed Indexing for Spatial Queries in Sensor Networks. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman |
CODEWEAVE: Exploring Fine-Grained Mobility of Code. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
specification and semantics, distributed systems, code mobility |
| 1 | Mirco Musolesi, Stephen Hailes, Cecilia Mascolo |
An ad hoc mobility model founded on social network theory. |
MSWiM |
2004 |
DBLP DOI BibTeX RDF |
social networks, mobile ad hoc networking, mobility model |
| 1 | Rae Harbird, Stephen Hailes, Cecilia Mascolo |
Adaptive resource discovery for ubiquitous computing. |
Middleware for Pervasive and Ad-hoc Computing |
2004 |
DBLP DOI BibTeX RDF |
ubiquitous computing, adaptive, mobile ad hoc network, resource discovery, autonomous |
| 1 | Mirco Musolesi, Cecilia Mascolo, Stephen Hailes |
Adapting asynchronous messaging middleware to ad hoc networking. |
Middleware for Pervasive and Ad-hoc Computing |
2004 |
DBLP DOI BibTeX RDF |
mobile ad hoc networks, context, message oriented middleware, epidemic protocol, middleware for mobile computing |
| 1 | Stefanos Zachariadis, Cecilia Mascolo, Wolfgang Emmerich |
Satin: A Component Model for Mobile Self Organisation. |
CoopIS/DOA/ODBASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Licia Capra, Wolfgang Emmerich, Cecilia Mascolo |
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
quality of service, mobile computing, Middleware, context-awareness, game theory, reflection, conflict resolution |
| 1 | Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein |
Guest Editorial: XML and Software Engineering. |
Autom. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Zachariadis, Cecilia Mascolo, Wolfgang Emmerich |
Adaptable Mobile Applications: Exploiting Logical Mobility in Mobile Computing. |
MATA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Mascolo, Luca Zanolin, Wolfgang Emmerich |
XMILE: An XML Based Approach for Incremental Code Mobility and Update. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Licia Capra, Gordon S. Blair, Cecilia Mascolo, Wolfgang Emmerich, Paul Grace |
Exploiting reflection in mobile computing middleware. |
Mobile Computing and Communications Review |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Zachariadis, Cecilia Mascolo, Wolfgang Emmerich |
Exploiting Logical Mobility in Mobile Computing Middleware. |
ICDCS Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Mascolo, Licia Capra, Wolfgang Emmerich |
Mobile Computing Middleware. |
NETWORKING Tutorials |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Zachariadis, Licia Capra, Cecilia Mascolo, Wolfgang Emmerich |
XMIDDLE: information sharing middleware for a mobile environment. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Licia Capra, Wolfgang Emmerich, Cecilia Mascolo |
A micro-economic approach to conflict resolution in mobile computing. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
mobile computing, middleware, context-awareness, game theory, reflection, conflict resolution |
| 1 | Cecilia Mascolo, Licia Capra, Wolfgang Emmerich |
An XML-based Middleware for Peer-to-Peer computing. |
Peer-to-Peer Computing |
2001 |
DBLP DOI BibTeX RDF |
Mobile Computing, Peer-to-Peer, Middleware, Meta-data |
| 1 | Licia Capra, Wolfgang Emmerich, Cecilia Mascolo |
Middleware for Mobile Computing: Awareness vs. Transparency. (PDF / PS) |
HotOS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Licia Capra, Wolfgang Emmerich, Cecilia Mascolo |
Reflective Middleware Solutions for Context-Aware Applications. |
Reflection |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Licia Capra, Cecilia Mascolo, Stefanos Zachariadis, Wolfgang Emmerich |
Towards A Mobile Computing Middleware: A Synergy of Reflection and Mobile Code Techniques. |
FTDCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Gold, Cecilia Mascolo |
Use of Context-Awareness in Mobile Peer-to-Peer Networks. |
FTDCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein |
XML Technologies and Software Engineering. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Francesco Franzé, Cecilia Mascolo |
Using a coordination language to specify and analyze systems containing mobile components. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein |
Implementing incremental code migration with XML. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
incremental code migration, XML, XML technologies |
| 1 | Paolo Ciancarini, Fabio Vitali, Cecilia Mascolo |
Managing Complex Documents Over the WWW: A Case Study for XML. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
specification documents, Java, XML, hypertext, Z notation, Document management systems, active documents |
| 1 | Cecilia Mascolo |
MobiS: A Specification Language for Mobile Systems. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman |
A Fine-Grained Model for Code Mobility. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Mascolo |
Specification, Analysis, and Prototyping of Mobile Systems. |
ICSE |
1999 |
DBLP BibTeX RDF |
verification, prototyping, formalization, mobile code |
| 1 | Paolo Ciancarini, Cecilia Mascolo |
Using Formal Methods for Teaching Software Engineering: A Tool-Based Approach. |
Ann. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali |
Visualizing Z Notation in HTML Documents. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo |
Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. |
Ann. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Cecilia Mascolo |
Analyzing and Refining an Architectural Style. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stelvio Cimato, Cecilia Mascolo |
Analyzing and Animating Declarative Specifications. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Cecilia Mascolo |
Analyzing the Dynamics of a Z Specification. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo |
Engineering Formal Requirements: Analysis and Testing. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")