C. Badica, G. Mangioni, V. Carchiolo, D. D. Burdescu (Eds.) Intelligent Distributed Computing, Systems and
Applications
Series: Studies in Computational Intelligence
Springer (Berlin / Heidelberg), Vol. 162
2008, XIV, 312 p. 92 illus, Hardcover, ISBN: 978-3-540-85256-8.
Journals and Conferences
(ordered by date of publication starting with the most recent)
Torreggiani, S., Mangioni, G., Puma, M.J., Fagiolo, G.
Identifying the community structure of the food-trade international multi-network
(2018). Environmental Research Letters, 13 (5).
Buzzanca, M., Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Black hole metric: Overcoming the pagerank normalization problem
(2018). Information Sciences, 438, pp. 58-72.
Mangioni, G., Jurman, G., DeDomenico, M.
Multilayer flows in molecular networks identify biological modules in the human proteome
(2018). IEEE Transactions on Network Science and Engineering.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G., Previti, M.
A trust-based news spreading model
(2018). Springer Proceedings in Complexity, (219279), pp. 303-310.
Carchiolo, V., Grassia, M., Longheu, A., Malgeri, M., Mangioni, G.
Long distance in-links for ranking enhancement
(2018.) Studies in Computational Intelligence, 798, pp. 3-10.
Carchiolo, V., Grassia, M., Longheu, A., Malgeri, M., Mangioni, G.
Exploiting Long Distance Connections to Strengthen Network Robustness
(2018). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics), 11226 LNCS, pp. 270-277.
Carchiolo, V., Grassia, M., Longheu, A., Malgeri, M., Mangioni, G.
Climbing Ranking Position via Long-Distance Backlinks
(2018). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics), 11226 LNCS, pp. 100-108.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G., Previti, M.
Terrorism and war: Twitter cascade analysis
(2018). Studies in Computational Intelligence, 798, pp. 309-318.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G., Previti, M.
Introducing credibility to model news spreading
(2018). Studies in Computational Intelligence, 689, pp. 980-988.
Buzzanca, M., Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Direct trust assignment using social reputation and aging
(2017). Journal of Ambient Intelligence and Humanized Computing, 8 (2), pp. 167-175.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Network size and topology impact on trust-based ranking
(2017). International Journal of Bio-Inspired Computation, 10 (2), pp. 119-126.
Buzzanca, M., Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Dealing with the best attachment problem via heuristics
(2017). Studies in Computational Intelligence, 678, pp. 205-214.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G., Previti, M.
Post sharing-based credibility network for social network
(2017). Studies in Computational Intelligence, 737, pp. 149-158.
Buzzanca, M., Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Evaluating the community partition quality of a network with a genetic programming approach
(2017). Studies in Computational Intelligence, 693, pp. 299-308.
Buzzanca, M., Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Social-based arcs weight assignment in trust networks
(2016). Studies in Computational Intelligence, 616, pp. 143-153.
Bonarrigo, S., Carchiolo, V., Longheu, A., Loria, M.P., Malgeri, M., Mangioni, G.
CORSA: An open solution for social oriented real-time ride sharing
(2015). MATEC Web of Conferences, 28, art. no. 06002.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Searching for experts in a context-aware recommendation network
(2015). Computers in Human Behavior, 51.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
The cost of trust in the dynamics of best attachment
(2015). Computing and Informatics, 34 (1), pp. 167-184.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
The effect of topology on the attachment process in trust networks
(2015). Studies in Computational Intelligence, 570, pp. 377-382.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Multisource agent-based healthcare data gathering
(2015). Proceedings of the 2015 Federated Conference on Computer Science and
Information Systems, FedCSIS 2015, art. no. 2015F302, pp. 1723-1729.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Virtualization for effective risk-free network security assessment
(2014.) International Journal of Online Engineering, 10 (5), pp. 21-28.
Ghoshal, G., Mangioni, G., Menezes, R., Poncela-Casanovas, J.
Social system as complex networks
(2014). Social Network Analysis and Mining, 4 (1), art. no. 238, pp. 1-2.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
A heuristic to explore trust networks dynamics
(2014). Studies in Computational Intelligence, 511, pp. 67-76.
Bonarrigo, S., Carchiolo, V., Longheu, A., Loria, M., Malgeri, M., Mangioni, G.
A carpooling open application with social oriented reward mechanism
(2014). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence
and Lecture Notes in Bioinformatics), 8729, pp. 447-456.
Carchiolo, V., Longheu, A., Di Martino, V., Malgeri, M., Mangioni, G.
Connecting relatives in virtual worlds: The kinship networks
(2013). Concurrent Engineering Research and Applications, 21 (3), pp. 217-226.
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
Users' attachment in trust networks: Reputation vs. Effort
(2013). International Journal of Bio-Inspired Computation, 5 (4), pp. 199-209.
G. Mangioni, A. Lima. A Growing Model for ScaleFree Networks Embedded in Hyperbolic Metric Spaces.
In: Complex Networks. STUDIES IN COMPUTATIONAL INTELLIGENCE, vol. 424, p. 9-17, Springer, 2013, ISSN: 1860-949X
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni.
The effects of pre-trusted peers misbehaviour on eigentrust.
In: Intelligent Distributed Computing VI. STUDIES IN COMPUTATIONAL INTELLIGENCE,
vol. 446, p. 187-197, Springer, 2013, ISSN: 1860-949X
Carchiolo, V., Longheu, A., Malgeri, M., Mangioni, G.
The relevance of context in trust networks
(2013). Communications in Computer and Information Science, 278, pp. 592-600.
V. Carchiolo, V. Di Martino, A. Longheu, M. Malgeri, G. Mangioni.
Crafting Kinship Networks by Exploring Acquaintances Relationships.
In: Intelligent Distributed Computing VI. STUDIES IN COMPUTATIONAL INTELLIGENCE,
vol. 446, p. 181-186, Springer, 2013, ISSN: 1860-949X
Carchiolo V., Longheu A., Malgeri M., Mangioni G.
Trust assessment: A personalized, distributed,
and secure approach.CONCURRENCY AND COMPUTATION,
vol. 24, p. 605-617, 2012, ISSN: 1532-0626
Carchiolo V., Longheu A., Malgeri M., Mangioni G.
An intelligent and pervasive surveillance system for home security.
INTERNATIONAL JOURNAL OF COMPUTERS, COMMUNICATIONS & CONTROL, vol. 7, p. 312-324, 2012, ISSN: 1841-9836.
M. Barigozzi, G. Fagiolo, G. Mangioni.
Community Structure in the Multi-Network of International Trade.
In: LUCIANO DA F. COSTA, GIUSEPPE MANGIONI, ALEXANDRE EVSUKOFF, RONALDO MENEZES.
Complex Networks. Results of the 2nd International Workshop on Complex Networks (CompleNet 2010),
CCIS (Communications in Computer and Information Science) series. Springer-Verlag. vol. 116
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni.
Communities unfolding in multislice networks.
In: LUCIANO DA F. COSTA, GIUSEPPE MANGIONI, ALEXANDRE EVSUKOFF, RONALDO MENEZES.
Complex Networks. Results of the 2nd International Workshop on Complex Networks (CompleNet 2010),
CCIS (Communications in Computer and Information Science) series. Springer-Verlag. vol. 116
M. Barigozzi, G. Fagiolo, G. Mangioni.
Identifying the community structure of the international-trade
multi-network
Physica A: Statistical Mechanics and its Applications, Elsevier,
Volume 390, Issue 11, 1 June 2011, Pages 2051-2066.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni.
Gain the best reputation in trust networks.
In: Intelligent Distributed Computing V. STUDIES IN COMPUTATIONAL INTELLIGENCE, vol. 382, p. 213-218,
BERLIN:Springer, ISBN: 978-364224012-6, ISSN: 1860-949X, doi: 10.1007/978-3-642-24013-3_21
C. Badica, G. Mangioni, S. Rahimi.
Intelligent distributed information systems.
INFORMATION SCIENCES, Elsevier, vol. 180; ISSN: 0020-0255
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni.
Context-based global expertise in recommendation systems.
INFORMATICA, vol. 34; p. 409-418, ISSN: 0350-5596
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni G., D. Torrisi.
A Distributed Algorithm for Personalized Trust Evaluation in Social
Networks.
Intelligent Distributed Computing IV Proceedings of the 4th International
Symposium on Intelligent Distributed Computing - IDC 2010, Tangier,
Morocco, September 2010, Studies in Computational Intelligence series.
Springer-Verlag. vol. 315, p. 155-164, Springer-Verlag,
doi: 10.1007/978-3-642-15211-5
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni G., D. Torrisi.
Pervasive Home Security: An Intelligent Domotics Application.
Intelligent Distributed Computing IV Proceedings of the 4th International
Symposium on Intelligent Distributed Computing - IDC 2010, Tangier,
Morocco, September 2010, Studies in Computational Intelligence series.
Springer-Verlag. vol. 315, p. 155-164, Springer-Verlag,
doi: 10.1007/978-3-642-15211-5
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
An adaptive overlay network inspired by social
behaviour,Journal of Parallel and Distributed Computing, Elsevier,
Available online 10 June 2009, doi:10.1016/j.jpdc.2009.05.004
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
Search for overlapped communities by parallel genetic
algorithms, International JOurnal of Computer Science and
Information Security, vol. 6; p. 113-118, ISSN: 1947-5500, 2009.
V. Carchiolo, D. Correnti, A. Longheu, M. Malgeri, G. Mangioni,
Exploiting trust into e-learning: adding reliability to learning
paths, International Journal of Technology Enhanced Learning,
vol. 1; p. 253-265, ISSN: 1753-5255, doi: 10.1504/IJTEL.2009.030777, 2009.
A. Longheu, V. Carchiolo, G. Mangioni, M. Malgeri, C. Caruso, S. Sau, G.
Saccullo, Effective classification of enterprise reports in production
assessment, in proceedings of 2009 International Conference on Future
Information Technology and Management Engineering (FITME 2009)IEEE Computer
Society's Conference Publishing Serv, p. 1-6.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
The effect of malicious peers in a gossip-based reputation
system, ACM International Conference Proceeding Series,
Proceedings of the
2nd International Conference on Interaction Sciences: Information
Technology, Culture and Human, IEEE Computer Society Publications,
vol. 403, p. 201-205, ISBN/ISSN: 978-1-60558-710-3, 2009.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
Struggling with misbehaviours in trust systems, in Proceedings
of 6th International Conference on Innovations in Information Technology
(Innovations 09),IEEE Computer Society, p. 1-6, 2009.
A. Longheu, V. Carchiolo, M. Malgeri, G. Mangioni,
The Assessment of Expertise in Social Networks, in Proceedings
of 3rd International Symposium on Intelligent Distributed Computing -
IDC 2009, October 13-14, 2009, Ayia Napa, Cyprus.
V. Nicosia, G. Mangioni, V. Carchiolo, M. Malgeri,
Extending the definition of modularity to directed graphs with
overlapping communities,Journal of Statistical Mechanics: Theory and
Experiment, An IOP and SISSA Journal, vol. 2009, p. P03024,
ISSN: 1742-5468, doi: 10.1088/1742-5468/2009/03/P03024
D. Fiumicello, A. Longheu, G. Mangioni,
Discovering Community Structure on Large Networks Using a Grid
Computing Environmentin Complex Networks, Results of the 1st
International Workshop on Complex Networks (CompleNet 2009),
Series: Studies in Computational Intelligence, Springer-Verlag
Publisher, Vol. 207, Berlin Heidelberg, Germany, 2009.
V. Carchiolo, A. Lima, G. Mangioni,
Resource advertising in PROSA P2P network, proceedings of the
Sixth International Workshop on Hot Topics in Peer-to-Peer Systems, IEEE
International Parallel & Distributed Processing Symposium (IPDPS),
May 25-29, 2009, Rome, Italy
A. Longheu, V. Carchiolo, M. Malgeri, G. Mangioni,
Advertising and discovering trusted resources within a P2P-based
architecture, in Proceedings of the 9th IEEE International
Conference on Advanced Learning Technologies, July 15-17, 2009,
Riga, Latvia.
Only in Italian.
S. Conti, A.E. Greco, N. Messina, G. Mangioni, A.M. Greco, C. Oriti.
Sistemi per il Monitoraggio e il Controllo Remoto di un Impianto di
Pubblica Illuminazione tramite Tecnologia Zig-Bee, in Atti del
convegno AEIT dal titolo Sostenibilita' energetica: Tecnologie e
Infrastrutture - La ricerca incontra l'industria. AEIT, p. 1-10, 2009.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
Trusting for the Lifelong Learning: a social inspired proposal within
P2P learning networks, in Proceedings of the 18th International Conference on Computer Theory and Applications (ICCTA 2008), Alexandria, Egypt, October 11-13, 2008.
V. Carchiolo, D. Correnti, A. Longheu, M. Malgeri, G. Mangioni,
Reliable personalized learning paths: the contribution of trust to
e-learning,
in The Open Knowledge Society: A Computer Science and Information Systems Manifesto, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008, Series: Communications in Computer and Information Science, Vol. 19, ISBN: 978-3-540-87782-0, Springer-Verlag Publisher, Berlin Heidelberg, Germany, 2008.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
Trusting evaluation by social reputation, in Advances in Intelligent and Distributed Computing, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing (IDC 2008), Series: Studies in Computational Intelligence, ISBN: 978-3-540-85256-8, Vol. 162, Springer-Verlag Publisher, Berlin Heidelberg, Germany, 2008.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
Using genetic algorithms to discover overlapping communities in
complex networks, 10th Experimental Chaos Conference, Catania, Italy, June 3-6, 2008.
V. Carchiolo, A. Longheu, G. Mangioni, V. Nicosia,
Adaptive E-learning: an Architecture based on PROSA P2P
Network,
in New Frontiers in Applied Artificial Intelligence (IEA/AIE), Lecture Notes in Computer Science, ISSN: 0302-9743, ISBN: 978-3-540-69045-0, Vol. 5027/2008, June 2008, Springer-Verlag Publisher, Berlin Heidelberg, Germany, 2008.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
PROSA: P2P Resource Organisation by Social Acquaintances,
in Agents and Peer-to-Peer Computing (AP2PC), Lecture Notes in Computer Science, ISSN: 0302-9743, ISBN: 978-3-540-79704-3, Vol. 4461/2008, June 2008, Springer-Verlag Publisher, Berlin Heidelberg, Germany, 2008.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni, V. Nicosia,
The Dilemma of Trust: a Social Network Based Approach, Scalable
Computing: Practice and Experience Journal, SWPS, Volume 9, No. 1, Poland, March 2008.
V. Nicosia, G. Mangioni, V. Carchiolo, M. Malgeri,
Extending modularity definition for directed graphs with overlapping communities,arXiv:0801.1647.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
Emerging structures of P2P networks induced by social relationships,
Journal of Computer Communications - Special issue on Foundations of Peer-to-Peer Computing,
Elsevier, Volume 31, Issue, February 2008, doi:10.1016/j.comcom.2007.08.016 (on-line August 2007).
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni, V. Nicosia,
An Approach to Trust Based on Social Networks,
8th International Conference on
Web Information Systems Engineering (WISE 2007),
Lecture Notes in Computer Science, ISSN: 0302-9743, ISBN: 978-3-540-71660-0,
Vol. 4831 /2007, November 2007, Springer-Verlag Publisher, Berlin Heidelberg,
Germany, 2007, doi: http://dx.doi.org/10.1007/10.1007/978-3-540-76993-4.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
On Robustness and Self-Adaptiveness of a Socially Inspired P2P Network,
Proceedings of 22nd International Symposium on Computer and Information Sciences (ISCIS07),
Ankara, Turkey, November 7-9, 2007.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni, V. Nicosia,
Applying Social Behaviours to Model Trusting,
Advances in Intelligent and Distributed Computing,
Proceedings of the 1st International Symposium on Intelligent and
Distributed Computing (IDC 2007), October 2007, Series: Studies in Computational Intelligence,
ISBN: 978-3-540-74929-5, Vol. 78, Springer-Verlag Publisher, Berlin Heidelberg,
Germany.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
Fast Information Retrieval in a Self-Organising P2P Network,
Journal of Computers (JCP), ISSN: 1796-203X, Academy Publisher,
Volume 2, Issue 5, July 2007.
G. Mangioni,
Hardware Implementation of Algebraic Specifications,
International Journal of Computational Science - IJCS,
ISSN 1992-6669 (Print) - ISSN 1992-6677 (Online), Volume 1, Number 1, March, 2007.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
An Architecture to Support Adpative E-Learning,
International Journal of Computer Science and Network Security - IJCSNS,
Volume 7, No. 2, February 2007.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
A model for a web-based learning system,
Information Systems Frontiers Journal, Springer Publisher,
USA, ISSN: 1387-3326 (Print) 1572-9419 (Online),
DOI: 10.1007/s10796-006-9014-3, December, 2006.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
Evaluating the Dynamic Behaviour of PROSA P2P Network,
4th International Symposium on Parallel and Distributed Processing and Applications
(ISPA 2006), Lecture Notes in Computer Science, ISSN: 0302-9743, ISBN: 978-3-540-68067-3,
Vol. 4330 /2006, December 2006, Springer-Verlag Publisher, Berlin Heidelberg, Germany, 2006.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
Exploiting Social Networks Dynamics for P2P Resource Organisation,
International Symposium on Computer and Information Sciences 2006 (ISCIS06),
Lecture Notes in Computer Science, ISSN: 0302-9743, ISBN: 978-3-540-47242-1,
Vol. 4263/2006, November 2006, Springer-Verlag Publisher, Berlin
Heidelberg, Germany, 2006,
arXiv:cs/0702127.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
Efficient Searching and Retrieval of Documents in PROSA,
Fourth International Workshop on Databases,
Information Systems and Peer-to-Peer Computing (DBISP2P 2006),
Lecture Notes in Computer Science, ISSN: 0302-9743, ISBN: 978-3-540-71660-0,
Vol. 4125 /2006, September 2006, Springer-Verlag Publisher, Berlin
Heidelberg, Germany, 2006,
arXiv:cs/0702126.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
Self-Organisation of Resources in PROSA P2P Network,
Self-Managed Networks, Systems and Services 2006 (SelfMan06),
Lecture Notes in Computer Science, ISSN: 0302-9743, ISBN: 978-3-540-34739-2,
Vol. 3996/2006, June 2006, Springer-Verlag Publisher, Berlin Heidelberg, Germany, 2006.
V. Carchiolo, M. Malgeri, G. Mangioni, V. Nicosia,
Social behaviours applied to P2P Systems: an efficient algorithm for resources organisation,
Proceedings of the 15th IEEE Workshop on Enabling Technologies:
Infrastructure for Collaborative Enterprises (WETICE06) - 2nd International Workshop on
Collaborative P2P Information Systems (COPS 2006),
Manchester, United Kingdom, 26-28 June 2006,
arXiv:cs/0702085.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
Using Web-Based Personalized Learning System in Academic Context,
Proceedings of the 4th International Conference on Computer and Information Technology
(CIT2004), Wuhan, China, 14-16 September 2004.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
Courses Modeling in E-Learning Context,
Lecture Notes in Computer Science, ISSN: 0302-9743,
Vol. 2869/2003, October 2003, Pages 19-26,
Springer-Verlag Publisher, Berlin Heidelberg, Germany, 2003.
V. Carchiolo, M. Malgeri, G. Mangioni,
From Specification to Hardware Device: a Synthesis Algorithm,
Lecture Notes in Computer Science, Title: Formal Methods and Software Engineering,
ISSN: 0302-9743, Vol. 2885/2003, November 2003, Pages 665 - 681,
Springer-Verlag Publisher, Berlin Heidelberg, Germany, 2003.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
Automatic Generation of Learning Paths,
Proceedings of 10th IEEE International Conference on Electronics, Circuits and Systems,
Sharjah, Emirati Arabi Uniti, 14-17 December, 2003.
V. Carchiolo, M. Malgeri, G. Mangioni,
A Tool for Performance Evaluation in a Formal Codesign Environment,
Simulation - Transactions of the Society for Modeling and Simulation International,
SAGE Publications, Volume 79, Issue 9, London, UK, September 2003.
V. Carchiolo, M. Malgeri, G. Mangioni,
A Compiler-Compiler for Codesign,
International Conference on Politics and Information Systems:
Technologies and Applications (PISTA '03), July 31, August 1-2, 2003 - Orlando, Florida, USA.
V. Carchiolo, A. Longheu, M. Malgeri, G. Mangioni,
Courses Personalization in an E-learning Environment,
3rd IEEE International Conference on Advanced Learning Technologies (ICALT2003),
July 9-11, 2003, Athens, Greece.
V. Carchiolo, M. Malgeri, G. Mangioni,
Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol,
14th IEEE International Workshop on Rapid System Prototyping,
San Diego, USA, 9-11 June, 2003.
V. Carchiolo, M. Malgeri, G. Mangioni,
TTL: A Modular Language for Hardware/Software Systems Design,
Journal of Computer and System Science, Elsevier Science - Academic Press,
Volume 66, Issue 2, Pages 293-427, USA, March 2003.
V. Carchiolo, M. Malgeri, G. Mangioni,
A Method to Implement Information Systems by Reusable Components,
Advances in Information Science and Soft Computing,
Electrical and Computer Engineering Series, A. Zemliak and N. E. Mastorakis Editors,
WSEAS Press, 2002 (also published in proc. of 2nd International
Conference on Information Science and Applications 2002).
V. Carchiolo, M. Malgeri, G. Mangioni,
A Method to Implement Information Systems by Reusable Components,
Proceedings of 2nd International Conference on Information Science and Applications,
Cancun, MEXICO, May 12-16, 2002.
V. Carchiolo, M. Malgeri, G. Mangioni,
Using a Formal Framework for Agent System Design,
Formal Approaches to Agent-Based Systems, Lecture Notes in Artificial Intelligence,
LNAI vol. 1871, Pages 308-317, Springer-Verlag, Berlin Heidelberg, Germany, 2001.
V. Carchiolo, N. De Francesco, A. Fantechi, G. Mangioni,
ESA: An Approach to Systems Design by Equation Solving,
6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001),
Paris, 16-17 July 2001.
V. Carchiolo, N. De Francesco, A. Fantechi, G. Mangioni,
Extending LOTOS Specifications by Equation Solving,
IFIP TC6/WG6.1 International Conference FORTE/PSTV 2000,
Pisa, Italy, October 10-13, 2000.
V. Carchiolo, M. Malgeri, G. Mangioni,
Hardware/Software Synthesis of Formal Specifications in Codesign of Embedded Systems,
ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM,
Volume 5, Number 3, New York, USA, July 2000.
V. Carchiolo, M. Malgeri, G. Mangioni,
Implementing a Distribuited Server Using Mobile Agent Technology,
Proceedings of 5th IEEE Symposium on Computers and Communications (ISCC'2000),
Antibes - Juan les Pins, France, 4-6 July, 2000.
V. Carchiolo, M. Malgeri, G. Mangioni,
Using a Formal Framework for Agent System Design,
Proceedings of International Workshop on Formal Approaches to Agent-Based Systems,
NASA Goddard Space Flight Center, Goddard, MD (USA), April 5-7, 2000.
V. Carchiolo, M. Malgeri, G. Mangioni,
Formal Methods in System Design: A Case Study,
International Book on Software and Hardware Engineering for the 21th Century,
Nikos E. Mastorakis (Editor), World Scientific and Engineering
Society Press, 1999 (also published in prof. of CSCC'99).
V. Carchiolo, M. Malgeri, G. Mangioni,
Formal Methods in System Design: A Case Study,
Proceedings of 3rd IMACS International Conference on Circuits, Systems, Communications and Computers (CSCC'99),
Athens (Greece), July 4-8, 1999.
V. Carchiolo, M. Malgeri, G. Mangioni,
An Experience Using a New Methodology for the Codesign of Embedded Hw/Sw Systems,
Proceedings of 8th International HDL Conference and Exhibition,
Santa Clara Convention Center, Santa Clara, CA (USA), April 6-9, 1999.
V. Carchiolo, M. Malgeri, G. Mangioni, Formal Codesign
Methodology with Multistep Partitioning,
VLSI Design Journal, Overseas Publishers Association N. V./Gordon and Breach Science Publishers,
Volume 7, Number 4, USA, 1998.
V. Carchiolo, M. Malgeri, G. Mangioni,
An Agent Based Platform for a Service Provider,
International book on Recent Advances in Information Science and Technology,
Nikos E. Mastorakis (Editor), World Scientific Publishing, 1998
(also published in proc. of CSC'98).
V. Carchiolo, M. Malgeri, G. Mangioni,
How to Evaluate the Performance of an Embedded System through its Formal Specification,
Proceedings of IEEE 3rd International High Level Design Validation and Test Workshop,
La Jolla, California, November 12-14, 1998.
V. Carchiolo, M. Malgeri, G. Mangioni,
An Agent Based Platform for a Service Provider,
Proceedings of 2nd IMACS International Conference on Circuits,
Systems and Computers (CSC'98),
Terma Hatzikyriakou - Piraeus (Greece), October 26-27-28, 1998
V. Carchiolo, M. Malgeri, G. Mangioni,
A Simulator for Embedded Systems Design,
Proceedings of IEEE 5th Asia Pacific Conference on Hardware Description Languages
(APCHDL'98), Seoul (Korea), July 8-10, 1998.
V. Carchiolo, M. Malgeri, G. Mangioni,
Synthesis of TTL Specification: A Case Study,
Proceedings of IEEE/IMACS Multiconference on
Computational Engineering in System Applications (CESA'98),
Nabeul-Hammamet (Tunisia), 1-4 April 1998.
V. Carchiolo, M. Malgeri, G. Mangioni,
An Algorithm for Direct Synthesis of Formal Specifications,
Proceedings of 8th IEEE Iternational Workshop on Rapid Systems Prototyping,
North-Carolina, 24-26 June 1997.
V. Carchiolo, M. Malgeri, G. Mangioni,
An Approach to the Synthesis of HW and SW in Codesign,
Proceedings of IEEE/IFIP/ACM 5th International Workshop on Hardware/Software Codesign,
Braunschweig (Germania), 24-26 March 1997.
V. Carchiolo, M. Malgeri, G. Mangioni,
A Modular Approach to Distribuited Control Systems Design,
Proceedings of the Conference on Agile and Intelligent Manufacturing Systems,
Troy - New York, 2-3 October 1996.
V. Carchiolo, M. Malgeri, G. Mangioni,
Decomposition and Partitioning in Hardware/Software Codesign,
Proceedings of IEEE International Conference on Computer-Aided Design (CADEX '96),
Hagenberg (Austria), 9-11 September 1996.
V. Carchiolo, M. Malgeri, G. Mangioni,
TTL: A LOTOS Extension for Systems Description,
Proceedings of the 2nd IEEE/ECLA/IFIP International Conference on Architectures and
Design Methods for Balanced Automation Systems (BASYS '96), Lisbona, June 1996.
V. Carchiolo, M. Malgeri, G. Mangioni,
Using Circal for real-time system specification,
Proceedings of 1995 ACM International Workshop on Timing Issues in the
Specification and Synthesis of Digital Systems (TAU'95), Seattle, 10-11 November 1995.
V. Carchiolo, M. Malgeri, G. Mangioni,
a Formal Approach to Step by Step Codesign Methodology,
Proceedings of IEEE 6th International Symposium on IC Technology,
Systems & Applications (ISIC 95), Singapore, 6-8 September 1995.